public class AppNodeIntermediate extends NodeIntermediate
Constructor and Description |
---|
AppNodeIntermediate() |
Modifier and Type | Method and Description |
---|---|
AppIntermediate |
getIntermediateRuleApp() |
java.lang.String |
getNotes() |
boolean |
isInteractiveRuleApplication() |
boolean |
isScriptRuleApplication() |
void |
setInteractiveRuleApplication(boolean interactiveRuleApplication) |
void |
setIntermediateRuleApp(AppIntermediate ruleApp) |
void |
setNotes(java.lang.String notes) |
void |
setScriptRuleApplication(boolean scriptRuleApplication) |
addChild, getChildren, setChildren
public AppIntermediate getIntermediateRuleApp()
public void setIntermediateRuleApp(AppIntermediate ruleApp)
public boolean isInteractiveRuleApplication()
public boolean isScriptRuleApplication()
public void setInteractiveRuleApplication(boolean interactiveRuleApplication)
public void setScriptRuleApplication(boolean scriptRuleApplication)
public void setNotes(java.lang.String notes)
public java.lang.String getNotes()
Copyright © 2003-2019 The KeY-Project.