Package | Description |
---|---|
de.uka.ilkd.key.rule.label |
Modifier and Type | Interface and Description |
---|---|
interface |
ChildTermLabelPolicy
A
ChildTermLabelPolicy is used by
TermLabelManager#instantiateLabels(
TermLabelState, Services, PosInOccurrence, Term, Term, Rule, Goal,
Object, Term, Operator, ImmutableArray, ImmutableArray, JavaBlock)
to decide for each TermLabel on a child or grandchild of the
application Term if it should be re-added to the new Term
or not. |
interface |
TermLabelRefactoring
A
TermLabelRefactoring is used by
TermLabelManager#refactorGoal(TermLabelState, Services, PosInOccurrence,
Term, Rule, Goal, Term)
to refactor the labels of each visited Term . |
interface |
TermLabelUpdate
A
TermLabelUpdate is used by
TermLabelManager#instantiateLabels(
TermLabelState, Services, PosInOccurrence, Term, Term, Rule, Goal,
Object, Term, Operator, ImmutableArray, ImmutableArray, JavaBlock)
to add or remove maintained TermLabel s which will be added to the new Term . |
Copyright © 2003-2019 The KeY-Project.