Package crypto.cryslhandler

Class StateMachineGraphBuilder

java.lang.Object

crypto.cryslhandler.StateMachineGraphBuilder

public class StateMachineGraphBuilder
extends Object

This class will build a FiniteStateMachine for a given ORDER expression from crysl rules.

Author:

marvinvogel

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	StateMachineGraphBuilder(de.darmstadt.tu.crossing.crySL.Order order, Collection<de.darmstadt.tu.crossing.crySL.Event> events)

Method Summary

Modifier and Type	Method	Description
protected StateMachineGraph	buildSMG()
static StateMachineGraph	buildSMG(de.darmstadt.tu.crossing.crySL.Order order, Collection<de.darmstadt.tu.crossing.crySL.Event> events)

Methods inherited from class java.lang.Object

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

Constructor Detail

StateMachineGraphBuilder

protected StateMachineGraphBuilder(de.darmstadt.tu.crossing.crySL.Order order,
                                   Collection<de.darmstadt.tu.crossing.crySL.Event> events)

Method Detail

buildSMG

public static StateMachineGraph buildSMG(de.darmstadt.tu.crossing.crySL.Order order,
                                         Collection<de.darmstadt.tu.crossing.crySL.Event> events)

buildSMG

protected StateMachineGraph buildSMG()