E
- an enum class that is wrapped here. Must contain at least one
constant.public static class SMTHandlerProperty.EnumProperty<E extends java.lang.Enum<E>> extends SMTHandlerProperty<E>
SMTHandlerProperty.BooleanProperty, SMTHandlerProperty.EnumProperty<E extends java.lang.Enum<E>>, SMTHandlerProperty.IntegerProperty, SMTHandlerProperty.StringProperty
Constructor and Description |
---|
EnumProperty(java.lang.String identifier,
java.lang.String heading,
java.lang.String description,
java.lang.Class<E> enumType) |
Modifier and Type | Method and Description |
---|---|
<A,R> R |
accept(SMTHandlerPropertyVisitor<A,R> visitor,
A arg) |
E |
defaultValue()
The default value for the stored data type in case there
is no value stored
|
E |
fromString(java.lang.String value)
Convert
|
java.lang.Class<E> |
getEnumType() |
boolean |
verify(java.lang.String value)
Verify that the given string value can be converted to a value of the
stored data type
|
get, get, getDescription, getIdentifier, getLabel
public EnumProperty(java.lang.String identifier, java.lang.String heading, java.lang.String description, java.lang.Class<E> enumType)
public E fromString(java.lang.String value)
SMTHandlerProperty
Precondition: verify(s) == true
fromString
in class SMTHandlerProperty<E extends java.lang.Enum<E>>
value
- String to parse into a valuepublic boolean verify(java.lang.String value)
SMTHandlerProperty
verify
in class SMTHandlerProperty<E extends java.lang.Enum<E>>
value
- potential string representation of a property, not null.public E defaultValue()
SMTHandlerProperty
defaultValue
in class SMTHandlerProperty<E extends java.lang.Enum<E>>
public java.lang.Class<E> getEnumType()
public <A,R> R accept(SMTHandlerPropertyVisitor<A,R> visitor, A arg)
accept
in class SMTHandlerProperty<E extends java.lang.Enum<E>>
Copyright © 2003-2019 The KeY-Project.