Package | Description |
---|---|
org.key_project.ui.interactionlog.model | |
org.key_project.ui.interactionlog.model.builtin |
Modifier and Type | Method and Description |
---|---|
static OccurenceIdentifier |
OccurenceIdentifier.get(PosInOccurrence p) |
OccurenceIdentifier |
RuleInteraction.getPosInOccurence() |
Modifier and Type | Method and Description |
---|---|
void |
RuleInteraction.setPosInOccurence(OccurenceIdentifier posInOccurence) |
Modifier and Type | Method and Description |
---|---|
OccurenceIdentifier |
OSSBuiltInRuleInteraction.getOccurenceIdentifier() |
Modifier and Type | Method and Description |
---|---|
void |
OSSBuiltInRuleInteraction.setOccurenceIdentifier(OccurenceIdentifier occurenceIdentifier) |
Copyright © 2003-2019 The KeY-Project.