public final class Start extends Node
Modifier and Type | Method and Description |
---|---|
void |
apply(Switch sw) |
java.lang.Object |
clone() |
EOF |
getEOF() |
PLtl |
getPLtl() |
void |
setEOF(EOF node) |
void |
setPLtl(PLtl node) |
java.lang.String |
toString() |
cloneList, cloneNode, parent, replaceBy, toString, toString
getEndPos, getStartPos, setEndPos, setStartPos