Class MessageType


  • public class MessageType
    extends java.lang.Object
    • Field Detail

      • NOT_SPECIFIED

        public static final MessageType NOT_SPECIFIED
      • RANGE_CHECK

        public static final MessageType RANGE_CHECK
      • MISSING_EQUALITY

        public static final MessageType MISSING_EQUALITY
      • REDUNDANCY

        public static final MessageType REDUNDANCY
      • SUBSUMPTION

        public static final MessageType SUBSUMPTION
      • MISSING_COMPONENT

        public static final MessageType MISSING_COMPONENT
      • OPTIMISATION

        public static final MessageType OPTIMISATION
      • INCOHERENCE

        public static final MessageType INCOHERENCE
      • ALWAYS_FALSE

        public static final MessageType ALWAYS_FALSE
      • ALWAYS_TRUE

        public static final MessageType ALWAYS_TRUE
      • EQUIVALANCE

        public static final MessageType EQUIVALANCE
      • type

        public final java.lang.String type
    • Constructor Detail

      • MessageType

        public MessageType​(java.lang.String type)
    • Method Detail

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object