public final class MacroInteraction extends NodeInteraction
Interaction.InteractionGraphicStyle
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
info |
private ProofMacro |
macro |
private java.lang.String |
macroName |
private java.util.List<NodeIdentifier> |
openGoalNodeIds |
private java.util.List<java.lang.Integer> |
openGoalSerialNumbers |
private PosInOccurrence |
pos |
private static long |
serialVersionUID |
graphicalStyle
Constructor and Description |
---|
MacroInteraction() |
MacroInteraction(Node node,
ProofMacro macro,
PosInOccurrence posInOcc,
ProofMacroFinishedInfo info) |
Modifier and Type | Method and Description |
---|---|
<T> T |
accept(InteractionVisitor<T> visitor) |
java.lang.String |
getInfo() |
java.lang.String |
getMacro() |
java.util.List<NodeIdentifier> |
getOpenGoalNodeIds() |
java.util.List<java.lang.Integer> |
getOpenGoalSerialNumbers() |
PosInOccurrence |
getPos() |
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
private static final long serialVersionUID
private java.lang.String macroName
private ProofMacro macro
private PosInOccurrence pos
private java.lang.String info
private java.util.List<java.lang.Integer> openGoalSerialNumbers
private java.util.List<NodeIdentifier> openGoalNodeIds
public MacroInteraction()
public MacroInteraction(Node node, ProofMacro macro, PosInOccurrence posInOcc, ProofMacroFinishedInfo info)
public java.lang.String toString()
toString
in class java.lang.Object
public <T> T accept(InteractionVisitor<T> visitor)
accept
in class Interaction
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)