Class ErrorManager.ErrorState

  • Enclosing class:
    ErrorManager

    public static class ErrorManager.ErrorState
    extends java.lang.Object
    • Field Summary

      Fields 
      Modifier and Type Field Description
      BitSet errorMsgIDs
      Track all msgIDs; we use to abort later if necessary also used in Message to find out what type of message it is via getMessageType()
      int errors  
      int infos  
      BitSet warningMsgIDs  
      int warnings  
    • Constructor Summary

      Constructors 
      Constructor Description
      ErrorState()  
    • Method Summary

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • errors

        public int errors
      • warnings

        public int warnings
      • infos

        public int infos
      • errorMsgIDs

        public BitSet errorMsgIDs
        Track all msgIDs; we use to abort later if necessary also used in Message to find out what type of message it is via getMessageType()
      • warningMsgIDs

        public BitSet warningMsgIDs
    • Constructor Detail

      • ErrorState

        public ErrorState()