public static class SMTHandlerProperty.StringProperty extends SMTHandlerProperty<java.lang.String>
SMTHandlerProperty.BooleanProperty, SMTHandlerProperty.EnumProperty<E extends java.lang.Enum<E>>, SMTHandlerProperty.IntegerProperty, SMTHandlerProperty.StringProperty
Constructor and Description |
---|
StringProperty(java.lang.String identifier,
java.lang.String heading,
java.lang.String description) |
Modifier and Type | Method and Description |
---|---|
<A,R> R |
accept(SMTHandlerPropertyVisitor<A,R> visitor,
A arg) |
java.lang.String |
defaultValue()
The default value for the stored data type in case there
is no value stored
|
java.lang.String |
fromString(java.lang.String s)
Convert
|
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 StringProperty(java.lang.String identifier, java.lang.String heading, java.lang.String description)
public boolean verify(java.lang.String value)
SMTHandlerProperty
verify
in class SMTHandlerProperty<java.lang.String>
value
- potential string representation of a property, not null.public java.lang.String fromString(java.lang.String s)
SMTHandlerProperty
Precondition: verify(s) == true
fromString
in class SMTHandlerProperty<java.lang.String>
s
- String to parse into a valuepublic java.lang.String defaultValue()
SMTHandlerProperty
defaultValue
in class SMTHandlerProperty<java.lang.String>
public <A,R> R accept(SMTHandlerPropertyVisitor<A,R> visitor, A arg)
accept
in class SMTHandlerProperty<java.lang.String>
Copyright © 2003-2019 The KeY-Project.