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