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