public final class MacroInteraction extends NodeInteraction
Interaction.InteractionGraphicStyle
graphicalStyle
Constructor and Description |
---|
MacroInteraction() |
MacroInteraction(Node node,
ProofMacro macro,
PosInOccurrence posInOcc,
ProofMacroFinishedInfo info) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getInfo() |
java.lang.String |
getMacro() |
java.lang.String |
getMarkdown() |
java.util.List<NodeIdentifier> |
getOpenGoalNodeIds() |
java.util.List<java.lang.Integer> |
getOpenGoalSerialNumbers() |
PosInOccurrence |
getPos() |
java.lang.String |
getProofScriptRepresentation() |
void |
reapply(WindowUserInterfaceControl uic,
Goal goal) |
void |
setInfo(java.lang.String info) |
void |
setMacro(ProofMacro macro) |
void |
setOpenGoalNodeIds(java.util.List<NodeIdentifier> openGoalNodeIds) |
void |
setOpenGoalSerialNumbers(java.util.List<java.lang.Integer> openGoalSerialNumbers) |
void |
setPos(PosInOccurrence pos) |
java.lang.String |
toString() |
getNode, getNodeId, getSerialNr, setNodeId
getCreated, getGraphicalStyle, isFavoured, setCreated, setFavoured
public MacroInteraction()
public MacroInteraction(Node node, ProofMacro macro, PosInOccurrence posInOcc, ProofMacroFinishedInfo info)
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String getMacro()
public void setMacro(ProofMacro macro)
public PosInOccurrence getPos()
public void setPos(PosInOccurrence pos)
public java.lang.String getInfo()
public void setInfo(java.lang.String info)
public java.util.List<java.lang.Integer> getOpenGoalSerialNumbers()
public void setOpenGoalSerialNumbers(java.util.List<java.lang.Integer> openGoalSerialNumbers)
public java.util.List<NodeIdentifier> getOpenGoalNodeIds()
public void setOpenGoalNodeIds(java.util.List<NodeIdentifier> openGoalNodeIds)
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.