Enum Semantics

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Comparable<Semantics>, java.lang.constant.Constable

    public enum Semantics
    extends java.lang.Enum<Semantics>
    This enum lists all semantics.
    Author:
    Matthias Thimm
    • Field Detail

      • GROUNDED_SEMANTICS

        public static final Semantics GROUNDED_SEMANTICS
      • STABLE_SEMANTICS

        public static final Semantics STABLE_SEMANTICS
      • PREFERRED_SEMANTICS

        public static final Semantics PREFERRED_SEMANTICS
      • COMPLETE_SEMANTICS

        public static final Semantics COMPLETE_SEMANTICS
      • ADMISSIBLE_SEMANTICS

        public static final Semantics ADMISSIBLE_SEMANTICS
      • CONFLICTFREE_SEMANTICS

        public static final Semantics CONFLICTFREE_SEMANTICS
      • SEMISTABLE_SEMANTICS

        public static final Semantics SEMISTABLE_SEMANTICS
      • IDEAL_SEMANTICS

        public static final Semantics IDEAL_SEMANTICS
      • STAGE_SEMANTICS

        public static final Semantics STAGE_SEMANTICS
      • CF2_SEMANTICS

        public static final Semantics CF2_SEMANTICS
    • Method Detail

      • values

        public static Semantics[] values()
        Returns an array containing the constants of this enum type, in the order they are declared.
        Returns:
        an array containing the constants of this enum type, in the order they are declared
      • valueOf

        public static Semantics valueOf​(java.lang.String name)
        Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
        Parameters:
        name - the name of the enum constant to be returned.
        Returns:
        the enum constant with the specified name
        Throws:
        java.lang.IllegalArgumentException - if this enum type has no constant with the specified name
        java.lang.NullPointerException - if the argument is null
      • description

        public java.lang.String description()
        Returns the description of the semantics.
        Returns:
        the description of the semantics.
      • abbreviation

        public java.lang.String abbreviation()
        Returns the abbreviation of the semantics.
        Returns:
        the abbreviation of the semantics.