| de.uka.ilkd.key.rule.Rule
All known Subclasses: de.uka.ilkd.key.rule.Taclet,
| Rule | | public interface Rule (Code) | | |
| apply | | ListOfGoal apply(Goal goal, Services services, RuleApp ruleApp)(Code) | | the rule is applied on the given goal using the
information of rule application.
Parameters:
goal - the Goal on which to apply ruleApp
Parameters:
services - the Services with the necessary informationabout the java programs
Parameters:
ruleApp - the rule application to be executed all open goals below \old(goal.node()), i.e. the goalsresulting from the rule application |
| displayName | | String displayName()(Code) | | returns the display name of the rule
|
|
|