net.ericaro.neobin

Class BinaryFormat

java.lang.Object

net.ericaro.neobin.BinaryFormat

public class BinaryFormat
extends Object

Constructor Summary

Constructors

Constructor and Description
BinaryFormat(String packageName, State start, Collection<State> states, Collection<Transition> transitions)

Method Summary

Methods

Modifier and Type	Method and Description
String	getPackageName()
State	getStart()
Iterable<State>	getStates()
Iterable<Transition>	getTransitions()
Set<PrimitiveType>	getTypes()
Iterable<Transition>	getUniqueTransitions()
void	setPackageName(String packageName)

Methods inherited from class java.lang.Object

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

Constructor Detail

BinaryFormat

public BinaryFormat(String packageName,
            State start,
            Collection<State> states,
            Collection<Transition> transitions)

Method Detail

getStates

public Iterable<State> getStates()

getTransitions

public Iterable<Transition> getTransitions()

getPackageName

public String getPackageName()

setPackageName

public void setPackageName(String packageName)

getStart

public State getStart()

getUniqueTransitions

public Iterable<Transition> getUniqueTransitions()

getTypes

public Set<PrimitiveType> getTypes()