Class EarlyExitException

    • Field Detail

      • decisionNumber

        public int decisionNumber
    • Constructor Detail

      • EarlyExitException

        public EarlyExitException()
        Used for remote debugger deserialization
      • EarlyExitException

        public EarlyExitException​(int decisionNumber,
                                  IntStream input)