T
- the type of the wrapped term label can be narrowed.public final class SingletonLabelFactory<T extends TermLabel> extends java.lang.Object implements TermLabelFactory<T>
TermLabel
.
The resulting factory does not accept arguments for the builder methods and always returns a fixed term level value.
Constructor and Description |
---|
SingletonLabelFactory(T singletonLabel)
Instantiates a new singleton label factory for a label.
|
Modifier and Type | Method and Description |
---|---|
T |
parseInstance(java.util.List<java.lang.String> arguments,
TermServices services)
Parses the arguments and produces a term label.
|
public SingletonLabelFactory(T singletonLabel)
singletonLabel
- the label to be wrapped, not null
.public T parseInstance(java.util.List<java.lang.String> arguments, TermServices services) throws TermLabelException
An implementation should throw a TermLabelException
if the
arguments cannot be parsed correctly for this type.
This implementation does not accept arguments and returns the stored label
parseInstance
in interface TermLabelFactory<T extends TermLabel>
arguments
- the arguments for parsing, not null
, no entry
null
services
- a non-null
services object to look up symbols.null
TermLabelException
- if the parameters were illegally formattedCopyright © 2003-2019 The KeY-Project.