T
- type of the stored data.public abstract class SMTHandlerProperty<T>
extends java.lang.Object
SMTHandler
. The settings
dialog (etc.) probe the installed SMTHandlers for all available properties.
SMT handler properties have a limited system for type safety to
avoid nasty exceptions.Modifier and Type | Class and Description |
---|---|
static class |
SMTHandlerProperty.BooleanProperty
A property of type boolean.
|
static class |
SMTHandlerProperty.EnumProperty<E extends java.lang.Enum<E>>
A property for an enum type.
|
static class |
SMTHandlerProperty.IntegerProperty
A property of type int.
|
static class |
SMTHandlerProperty.StringProperty
A property of type String.
|
Constructor and Description |
---|
SMTHandlerProperty(java.lang.String identifier,
java.lang.String label,
java.lang.String description) |
Modifier and Type | Method and Description |
---|---|
abstract <A,R> R |
accept(SMTHandlerPropertyVisitor<A,R> visitor,
A arg) |
abstract T |
defaultValue()
The default value for the stored data type in case there
is no value stored
|
abstract T |
fromString(java.lang.String s)
Convert
|
T |
get(java.util.Map<java.lang.String,java.lang.Object> properties)
Extract a value of this property from a string property table.
|
T |
get(Services services)
Extract a value of this property from a Services object.
|
java.lang.String |
getDescription() |
java.lang.String |
getIdentifier() |
java.lang.String |
getLabel() |
abstract boolean |
verify(java.lang.String value)
Verify that the given string value can be converted to a value of the
stored data type
|
public SMTHandlerProperty(java.lang.String identifier, java.lang.String label, java.lang.String description)
public abstract boolean verify(java.lang.String value)
value
- potential string representation of a property, not null.public abstract T fromString(java.lang.String s)
Precondition: verify(s) == true
s
- String to parse into a valuepublic abstract T defaultValue()
public abstract <A,R> R accept(SMTHandlerPropertyVisitor<A,R> visitor, A arg)
public java.lang.String getIdentifier()
public java.lang.String getLabel()
public java.lang.String getDescription()
public T get(Services services)
services
- non-null services objectpublic T get(java.util.Map<java.lang.String,java.lang.Object> properties)
properties
- non-null map to look up the valueCopyright © 2003-2019 The KeY-Project.