Enum TypeRules

    • Enum Constant Detail

      • UNKNOWN

        public static final TypeRules UNKNOWN
      • BOOLEAN

        public static final TypeRules BOOLEAN
      • BIT_BOOLEAN

        public static final TypeRules BIT_BOOLEAN
      • INTEGER

        public static final TypeRules INTEGER
      • FIRST_KNOWN_BV_ARG

        public static final TypeRules FIRST_KNOWN_BV_ARG
      • SECOND_BV_ARG

        public static final TypeRules SECOND_BV_ARG
      • FIRST_NUM_ARG

        public static final TypeRules FIRST_NUM_ARG
      • FIRST_KNOWN_NUM_ARG

        public static final TypeRules FIRST_KNOWN_NUM_ARG
      • BVEXTRACT

        public static final TypeRules BVEXTRACT
      • BVCONCAT

        public static final TypeRules BVCONCAT
      • BVREPEAT

        public static final TypeRules BVREPEAT
      • INT2BV

        public static final TypeRules INT2BV
      • BVEXTEND

        public static final TypeRules BVEXTEND
      • SELECT

        public static final TypeRules SELECT
    • Method Detail

      • values

        public static TypeRules[] values()
        Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:
        for (TypeRules c : TypeRules.values())
            System.out.println(c);
        
        Returns:
        an array containing the constants of this enum type, in the order they are declared
      • valueOf

        public static TypeRules 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