public class NFAStateTransition extends Object implements JsonConvertible
| Constructor and Description |
|---|
NFAStateTransition(short id,
NFAState source,
NFAState target,
GroupBoundaries groupBoundaries) |
| Modifier and Type | Method and Description |
|---|---|
GroupBoundaries |
getGroupBoundaries()
groups entered and exited by this transition.
|
short |
getId() |
NFAState |
getSource() |
NFAState |
getSource(boolean forward) |
NFAState |
getTarget() |
NFAState |
getTarget(boolean forward) |
void |
setSource(NFAState source) |
JsonValue |
toJson() |
JsonValue |
toJson(boolean forward) |
public NFAStateTransition(short id,
NFAState source,
NFAState target,
GroupBoundaries groupBoundaries)
public short getId()
public NFAState getSource()
public void setSource(NFAState source)
public NFAState getTarget()
public NFAState getTarget(boolean forward)
public NFAState getSource(boolean forward)
public GroupBoundaries getGroupBoundaries()
public JsonValue toJson()
toJson in interface JsonConvertiblepublic JsonValue toJson(boolean forward)