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

Class BuiltInRuleInteraction

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.builtin.BuiltInRuleInteraction

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

ContractBuiltInRuleInteraction, LoopContractInternalBuiltInRuleInteraction, LoopInvariantBuiltInRuleInteraction, MergeRuleBuiltInRuleInteraction, OSSBuiltInRuleInteraction, SMTBuiltInRuleInteraction, UseDependencyContractBuiltInRuleInteraction

public abstract class BuiltInRuleInteraction
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 java.lang.String	ruleName
private static long	serialVersionUID

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

graphicalStyle

Constructor Summary

Constructors

Constructor and Description
BuiltInRuleInteraction()

Method Summary

Modifier and Type	Method and Description
java.lang.String	getRuleName()
void	setRuleName(java.lang.String ruleName)

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

accept, getCreated, getGraphicalStyle, isFavoured, setCreated, setFavoured

Methods inherited from class java.lang.Object

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

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

ruleName

private java.lang.String ruleName

Constructor Detail

BuiltInRuleInteraction

public BuiltInRuleInteraction()

Method Detail

getRuleName

public java.lang.String getRuleName()

setRuleName

public void setRuleName(java.lang.String ruleName)