public final class RuleInteraction extends NodeInteraction
Interaction.InteractionGraphicStyle
graphicalStyle
Constructor and Description |
---|
RuleInteraction() |
RuleInteraction(Node node,
RuleApp app) |
Modifier and Type | Method and Description |
---|---|
java.util.HashMap<java.lang.String,java.lang.String> |
getArguments() |
java.lang.String |
getMarkdown() |
OccurenceIdentifier |
getPosInOccurence() |
java.lang.String |
getProofScriptRepresentation() |
java.lang.String |
getRuleName() |
void |
reapply(WindowUserInterfaceControl uic,
Goal goal) |
void |
setArguments(java.util.HashMap<java.lang.String,java.lang.String> arguments) |
void |
setPosInOccurence(OccurenceIdentifier posInOccurence) |
void |
setRuleName(java.lang.String ruleName) |
java.lang.String |
toString() |
getNode, getNodeId, getSerialNr, setNodeId
getCreated, getGraphicalStyle, isFavoured, setCreated, setFavoured
public java.lang.String toString()
toString
in class java.lang.Object
public OccurenceIdentifier getPosInOccurence()
public void setPosInOccurence(OccurenceIdentifier posInOccurence)
public java.lang.String getRuleName()
public void setRuleName(java.lang.String ruleName)
public java.util.HashMap<java.lang.String,java.lang.String> getArguments()
public void setArguments(java.util.HashMap<java.lang.String,java.lang.String> arguments)
public java.lang.String getMarkdown()
public java.lang.String getProofScriptRepresentation()
public void reapply(WindowUserInterfaceControl uic, Goal goal) throws java.lang.Exception
java.lang.Exception
Copyright © 2003-2019 The KeY-Project.