readDecisions method
Implementation
void readDecisions(ATN atn) {
final ndecisions = readInt();
for (var i = 1; i <= ndecisions; i++) {
final s = readInt();
final decState = atn.states[s] as DecisionState;
atn.decisionToState.add(decState);
decState.decision = i - 1;
}
}