Package jline.lang.state
Class AfterEventStation.PasSwap
java.lang.Object
jline.lang.state.AfterEventStation.PasSwap
- Enclosing class:
AfterEventStation
Result of a pass-and-swap transition: the new ordered list and the departing class.
Public because the NRM engine (Solver_ssa_nrm) drives the same rewrite off its own
ordered list rather than off a state row, and the mechanism must not be duplicated:
a second copy could silently drift from the generator this solver is validated against.
-
Field Summary
Fields -
Method Summary
-
Field Details
-
cnew
public final int[] cnew -
depClass
public final int depClass
-