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

Class AutoModeInteraction

java.lang.Object

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

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

All Implemented Interfaces:

java.io.Serializable

public class AutoModeInteraction
extends Interaction

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 ApplyStrategyInfo	info
private java.util.List<NodeIdentifier>	initialNodeIds
private java.util.List<NodeIdentifier>	openGoalNodeIds
private static long	serialVersionUID

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

graphicalStyle

Constructor Summary

Constructors

Constructor and Description
AutoModeInteraction()
AutoModeInteraction(java.util.List<Node> initialNodes, ApplyStrategyInfo info)

Method Summary

Modifier and Type	Method and Description
<T> T	accept(InteractionVisitor<T> visitor)
ApplyStrategyInfo	getInfo()
java.util.List<NodeIdentifier>	getInitialNodeIds()
java.util.List<NodeIdentifier>	getOpenGoalNodeIds()
void	setInfo(ApplyStrategyInfo info)
void	setInitialNodeIds(java.util.List<NodeIdentifier> initialNodeIds)
void	setOpenGoalNodeIds(java.util.List<NodeIdentifier> openGoalNodeIds)
java.lang.String	toString()

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

info

private ApplyStrategyInfo info

initialNodeIds

private java.util.List<NodeIdentifier> initialNodeIds

openGoalNodeIds

private java.util.List<NodeIdentifier> openGoalNodeIds

Constructor Detail

AutoModeInteraction

public AutoModeInteraction()

AutoModeInteraction

public AutoModeInteraction(java.util.List<Node> initialNodes,
                           ApplyStrategyInfo info)

Method Detail

accept

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

Specified by:

accept in class Interaction

getInfo

public ApplyStrategyInfo getInfo()

setInfo

public void setInfo(ApplyStrategyInfo info)

getInitialNodeIds

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

setInitialNodeIds

public void setInitialNodeIds(java.util.List<NodeIdentifier> initialNodeIds)

getOpenGoalNodeIds

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

setOpenGoalNodeIds

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object