public class DFAStateTransitionBuilder extends TransitionBuilder<NFATransitionSet> implements JsonConvertible
| Modifier and Type | Method and Description |
|---|---|
DFAStateTransitionBuilder |
createMerged(TransitionBuilder<NFATransitionSet> other,
CharSet mergedMatcher)
|
DFAStateTransitionBuilder |
createNodeSplitCopy() |
int |
getId() |
DFAStateNodeBuilder |
getSource() |
DFAStateNodeBuilder |
getTarget() |
void |
setId(int id) |
void |
setSource(DFAStateNodeBuilder source) |
void |
setTarget(DFAStateNodeBuilder target) |
JsonValue |
toJson() |
String |
toString() |
getMatcherBuilder, getNext, getTransitionSet, setMatcherBuilder, setNextpublic DFAStateTransitionBuilder createNodeSplitCopy()
public DFAStateTransitionBuilder createMerged(TransitionBuilder<NFATransitionSet> other, CharSet mergedMatcher)
TransitionBuilderthis and other into a newly created TransitionBuilder . The new
transitionSet is created by calling TransitionSet.createMerged(TransitionSet)
on this.transitionSet with other.transitionSet as parameter. The
matcherBuilder of the new TransitionBuilder will be set to
mergedMatcher directly.createMerged in class TransitionBuilder<NFATransitionSet>TransitionBuilder. Overriding classes are expected to
return an instance of their own type!public int getId()
public void setId(int id)
public DFAStateNodeBuilder getSource()
public void setSource(DFAStateNodeBuilder source)
public DFAStateNodeBuilder getTarget()
public void setTarget(DFAStateNodeBuilder target)
public JsonValue toJson()
toJson in interface JsonConvertibletoJson in class TransitionBuilder<NFATransitionSet>