Package | Description |
---|---|
org.key_project.ui.interactionlog.model | |
org.key_project.ui.interactionlog.model.builtin |
Modifier and Type | Method and Description |
---|---|
static NodeIdentifier |
NodeIdentifier.get(Goal g) |
static NodeIdentifier |
NodeIdentifier.get(Node node) |
NodeIdentifier |
NodeInteraction.getNodeId() |
Modifier and Type | Method and Description |
---|---|
java.util.List<NodeIdentifier> |
AutoModeInteraction.getInitialNodeIds() |
java.util.List<NodeIdentifier> |
AutoModeInteraction.getOpenGoalNodeIds() |
java.util.List<NodeIdentifier> |
MacroInteraction.getOpenGoalNodeIds() |
Modifier and Type | Method and Description |
---|---|
void |
NodeInteraction.setNodeId(NodeIdentifier nodeId) |
Modifier and Type | Method and Description |
---|---|
void |
AutoModeInteraction.setInitialNodeIds(java.util.List<NodeIdentifier> initialNodeIds) |
void |
AutoModeInteraction.setOpenGoalNodeIds(java.util.List<NodeIdentifier> openGoalNodeIds) |
void |
MacroInteraction.setOpenGoalNodeIds(java.util.List<NodeIdentifier> openGoalNodeIds) |
Modifier and Type | Method and Description |
---|---|
NodeIdentifier |
OSSBuiltInRuleInteraction.getNodeIdentifier() |
Modifier and Type | Method and Description |
---|---|
void |
OSSBuiltInRuleInteraction.setNodeIdentifier(NodeIdentifier nodeIdentifier) |
Copyright © 2003-2019 The KeY-Project.