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

Class PruneInteraction

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.PruneInteraction

All Implemented Interfaces:

java.io.Serializable

public class PruneInteraction
extends NodeInteraction

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 static long	serialVersionUID

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

graphicalStyle

Constructor Summary

Constructors

Constructor and Description
PruneInteraction()
PruneInteraction(Node node)

Method Summary

Modifier and Type	Method and Description
<T> T	accept(InteractionVisitor<T> visitor)
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

Constructor Detail

PruneInteraction

public PruneInteraction()

PruneInteraction

public PruneInteraction(Node node)

Method Detail

accept

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

Specified by:

accept in class Interaction

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object