| java.lang.Object
 de.uka.ilkd.key.rule.AbstractUpdateRule
All known Subclasses: de.uka.ilkd.key.rule.updatesimplifier.ApplyOnRigidTerm, de.uka.ilkd.key.rule.updatesimplifier.ApplyOnUpdate, de.uka.ilkd.key.rule.updatesimplifier.ApplyOnLocalVariableOrStaticField, de.uka.ilkd.key.rule.updatesimplifier.ApplyOnNonRigidWithExplicitDependencies, de.uka.ilkd.key.rule.updatesimplifier.ApplyOnAnonymousUpdate, de.uka.ilkd.key.rule.updatesimplifier.ApplyOnAccessTerm, de.uka.ilkd.key.rule.updatesimplifier.ApplyOnModality, de.uka.ilkd.key.rule.updatesimplifier.ApplyOnNonRigidTerm, de.uka.ilkd.key.rule.updatesimplifier.ApplyAnonymousUpdateOnNonRigid, de.uka.ilkd.key.rule.updatesimplifier.ApplyOnRigidOperatorTerm,
| AbstractUpdateRule | | abstract public class AbstractUpdateRule implements IUpdateRule(Code) | | abstract class that must be extended by rules designed to be used
by the update simplifier
|
| Inner Class :public static class PropagationResult | |
| AbstractUpdateRule | | public AbstractUpdateRule(UpdateSimplifier updateSimplifier)(Code) | | creates an instance of this rule used by the given update
simplifier
Parameters:
updateSimplifier - the UpdateSimplifier using this rule |
| isApplicable | | abstract public boolean isApplicable(Update update, Term target)(Code) | | determines whether this rule is applicable for the pair of
update and target (the term on which the update will be
applied) term
Parameters:
update - the Update to be applied on the given term
Parameters:
target - the Term on which the update is applied true if the rule can be applied on the update, targetpair |
| logEnter | | protected void logEnter(Update update, Term target)(Code) | |
Parameters:
update -
Parameters:
target - |
| logExit | | protected void logExit(Term result)(Code) | |
Parameters:
result - |
| propagateUpdateToSubterms | | protected PropagationResult propagateUpdateToSubterms(Update update, Term term, Services services)(Code) | | TODO: here we have to check for collisions!!! /PR
propagates the update to the subterm of the given term
Parameters:
update - the Update to be propagated
Parameters:
term - the Term whose subterms have to be simplified
Parameters:
services - the Services object the simplified subterm, an array of bound variables and a flag indicating if one of the subterms has changed |
| updateSimplifier | | public UpdateSimplifier updateSimplifier()(Code) | | returns the update simplifier for which this rule has been
registered
|
|
|