Class AfterEventStation.PasSwap

java.lang.Object
jline.lang.state.AfterEventStation.PasSwap
Enclosing class:
AfterEventStation

public static class AfterEventStation.PasSwap extends Object
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 Details

    • cnew

      public final int[] cnew
    • depClass

      public final int depClass