public class BinaryFormat extends Object
| Constructor and Description |
|---|
BinaryFormat(String packageName,
State start,
Collection<State> states,
Collection<Transition> transitions) |
| 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) |
public BinaryFormat(String packageName, State start, Collection<State> states, Collection<Transition> transitions)
public Iterable<Transition> getTransitions()
public String getPackageName()
public void setPackageName(String packageName)
public State getStart()
public Iterable<Transition> getUniqueTransitions()
public Set<PrimitiveType> getTypes()
Copyright © 2012. All Rights Reserved.