de.uka.ilkd.key.gui.interactionlog.model

Class MacroInteraction

java.lang.Object

de.uka.ilkd.key.gui.interactionlog.model.Interaction

de.uka.ilkd.key.gui.interactionlog.model.NodeInteraction

de.uka.ilkd.key.gui.interactionlog.model.MacroInteraction

All Implemented Interfaces:

java.io.Serializable

public final class MacroInteraction
extends NodeInteraction

Author:

Alexander Weigl

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class de.uka.ilkd.key.gui.interactionlog.model.Interaction

Interaction.InteractionGraphicStyle

Field Summary

Fields

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

Fields inherited from class de.uka.ilkd.key.gui.interactionlog.model.Interaction

graphicalStyle

Constructor Summary

Constructors

Constructor and Description
MacroInteraction()
MacroInteraction(Node node, ProofMacro macro, PosInOccurrence posInOcc, ProofMacroFinishedInfo info)

Method Summary

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()

Methods inherited from class de.uka.ilkd.key.gui.interactionlog.model.NodeInteraction

getNode, getNodeId, getSerialNr, setNodeId

Methods inherited from class de.uka.ilkd.key.gui.interactionlog.model.Interaction

getCreated, getGraphicalStyle, isFavoured, setCreated, setFavoured

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

macroName

private java.lang.String macroName

macro

private ProofMacro macro

pos

private PosInOccurrence pos

info

private java.lang.String info

openGoalSerialNumbers

private java.util.List<java.lang.Integer> openGoalSerialNumbers

openGoalNodeIds

private java.util.List<NodeIdentifier> openGoalNodeIds

Constructor Detail

MacroInteraction

public MacroInteraction()

MacroInteraction

public MacroInteraction(Node node,
                        ProofMacro macro,
                        PosInOccurrence posInOcc,
                        ProofMacroFinishedInfo info)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

accept

public <T> T accept(InteractionVisitor<T> visitor)

Specified by:

accept in class Interaction

getMacro

public java.lang.String getMacro()

setMacro

public void setMacro(ProofMacro macro)

getPos

public PosInOccurrence getPos()

setPos

public void setPos(PosInOccurrence pos)

getInfo

public java.lang.String getInfo()

setInfo

public void setInfo(java.lang.String info)

getOpenGoalSerialNumbers

public java.util.List<java.lang.Integer> getOpenGoalSerialNumbers()

setOpenGoalSerialNumbers

public void setOpenGoalSerialNumbers(java.util.List<java.lang.Integer> openGoalSerialNumbers)

getOpenGoalNodeIds

public java.util.List<NodeIdentifier> getOpenGoalNodeIds()

setOpenGoalNodeIds

public void setOpenGoalNodeIds(java.util.List<NodeIdentifier> openGoalNodeIds)