Package ru.ispras.fortress.expression
Enum TypeRules
- java.lang.Object
-
- java.lang.Enum<TypeRules>
-
- ru.ispras.fortress.expression.TypeRules
-
-
Enum Constant Summary
Enum Constants Enum Constant Description BIT_BOOLEAN
BOOLEAN
BVCONCAT
BVEXTEND
BVEXTRACT
BVREPEAT
FIRST_KNOWN_BV_ARG
FIRST_KNOWN_NUM_ARG
FIRST_NUM_ARG
INT2BV
INTEGER
ITE
SECOND_BV_ARG
SELECT
STORE
UNKNOWN
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static TypeRules
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.static TypeRules[]
values()
Returns an array containing the constants of this enum type, in the order they are declared.-
Methods inherited from class java.lang.Enum
clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf
-
Methods inherited from interface ru.ispras.fortress.expression.TypeRule
getResultType
-
-
-
-
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
-
ITE
public static final TypeRules ITE
-
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
-
STORE
public static final TypeRules STORE
-
-
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 namejava.lang.NullPointerException
- if the argument is null
-
-