public class OriginTermLabelFactory extends java.lang.Object implements TermLabelFactory<OriginTermLabel>
OriginTermLabel
s.Constructor and Description |
---|
OriginTermLabelFactory() |
Modifier and Type | Method and Description |
---|---|
OriginTermLabel |
parseInstance(java.util.List<java.lang.String> arguments,
TermServices services)
Parses the arguments and produces a term label.
|
public OriginTermLabel parseInstance(java.util.List<java.lang.String> arguments, TermServices services) throws TermLabelException
TermLabelFactory
An implementation should throw a TermLabelException
if the
arguments cannot be parsed correctly for this type.
parseInstance
in interface TermLabelFactory<OriginTermLabel>
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.