Package crypto.rules

Class StateMachineGraph

java.lang.Object

crypto.rules.StateMachineGraph

All Implemented Interfaces:

FiniteStateMachine<StateNode>

public final class StateMachineGraph
extends Object
implements FiniteStateMachine<StateNode>

Constructor Summary

Constructors

Constructor	Description
StateMachineGraph()

Method Summary

Modifier and Type	Method	Description
void	addAllOutgoingEdgesFromOneNodeToOtherNodes(StateNode node, Collection<StateNode> otherNodes)
Boolean	addNode(StateNode node)
StateNode	aggregateNodesToOneNode(Collection<StateNode> endNodes, StateNode newNode)
Collection<StateNode>	aggregateNodesToOtherNodes(Collection<StateNode> nodesToAggr, Collection<StateNode> startNodes)
boolean	createNewEdge(Collection<CrySLMethod> methods, StateNode left, StateNode right)
StateNode	createNewNode()
Collection<StateNode>	getAcceptingStates()
Collection<TransitionEdge>	getAllOutgoingEdges(StateNode node)
Collection<TransitionEdge>	getAllTransitions()
Collection<TransitionEdge>	getEdges()
TransitionEdge	getInitialTransition()
Collection<TransitionEdge>	getInitialTransitions()
Collection<StateNode>	getNodes()
StateNode	getStartNode()
String	toString()
void	wrapUpCreation()

Methods inherited from class java.lang.Object

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

Constructor Detail

StateMachineGraph

public StateMachineGraph()

Method Detail

createNewNode

public StateNode createNewNode()

createNewEdge

public boolean createNewEdge(Collection<CrySLMethod> methods,
                             StateNode left,
                             StateNode right)

wrapUpCreation

public void wrapUpCreation()

getAllOutgoingEdges

public Collection<TransitionEdge> getAllOutgoingEdges(StateNode node)

addAllOutgoingEdgesFromOneNodeToOtherNodes

public void addAllOutgoingEdgesFromOneNodeToOtherNodes(StateNode node,
                                                       Collection<StateNode> otherNodes)

aggregateNodesToOneNode

public StateNode aggregateNodesToOneNode(Collection<StateNode> endNodes,
                                         StateNode newNode)

aggregateNodesToOtherNodes

public Collection<StateNode> aggregateNodesToOtherNodes(Collection<StateNode> nodesToAggr,
                                                        Collection<StateNode> startNodes)

addNode

public Boolean addNode(StateNode node)

toString

public String toString()

Overrides:

toString in class Object

getNodes

public Collection<StateNode> getNodes()

getStartNode

public StateNode getStartNode()

getEdges

public Collection<TransitionEdge> getEdges()

getInitialTransition

public TransitionEdge getInitialTransition()

Specified by:

getInitialTransition in interface FiniteStateMachine<StateNode>

getInitialTransitions

public Collection<TransitionEdge> getInitialTransitions()

getAcceptingStates

public Collection<StateNode> getAcceptingStates()

Specified by:

getAcceptingStates in interface FiniteStateMachine<StateNode>

getAllTransitions

public Collection<TransitionEdge> getAllTransitions()

Specified by:

getAllTransitions in interface FiniteStateMachine<StateNode>