public enum PropertyType extends java.lang.Enum<PropertyType>
| Enum Constant and Description |
|---|
annotation |
assumption |
ensure |
generated |
guarantee |
oneModeActive |
| Modifier and Type | Method and Description |
|---|---|
static PropertyType |
getPropertyType(java.lang.String propertyType) |
java.lang.String |
toString() |
static PropertyType |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static PropertyType[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final PropertyType assumption
public static final PropertyType guarantee
public static final PropertyType ensure
public static final PropertyType annotation
public static final PropertyType oneModeActive
public static final PropertyType generated
public static PropertyType[] values()
for (PropertyType c : PropertyType.values()) System.out.println(c);
public static PropertyType valueOf(java.lang.String name)
name - the name of the enum constant to be returned.java.lang.IllegalArgumentException - if this enum type has no constant with the specified namejava.lang.NullPointerException - if the argument is nullpublic static PropertyType getPropertyType(java.lang.String propertyType)
public java.lang.String toString()
toString in class java.lang.Enum<PropertyType>