public class SymbolicExecutionTermLabelFactory extends Object implements TermLabelFactory<SymbolicExecutionTermLabel>
SymbolicExecutionTermLabel
objects.Constructor and Description |
---|
SymbolicExecutionTermLabelFactory() |
Modifier and Type | Method and Description |
---|---|
SymbolicExecutionTermLabel |
parseInstance(List<String> parameters)
Parses the arguments and produces a term label.
|
public SymbolicExecutionTermLabel parseInstance(List<String> parameters) throws TermLabelException
An implementation should throw a TermLabelException
if the
arguments cannot be parsed correctly for this type.
This method accepts single arguments which can be parsed as an integer.
parseInstance
in interface TermLabelFactory<SymbolicExecutionTermLabel>
parameters
- the arguments for parsing, not null
, no entry
null
null
TermLabelException
- if the parameters were illegally formatted