de.uka.ilkd.key.logic.label

Class SymbolicExecutionTermLabelFactory

java.lang.Object

de.uka.ilkd.key.logic.label.SymbolicExecutionTermLabelFactory

All Implemented Interfaces:

TermLabelFactory<SymbolicExecutionTermLabel>

public class SymbolicExecutionTermLabelFactory
extends java.lang.Object
implements TermLabelFactory<SymbolicExecutionTermLabel>

A factory for creating SymbolicExecutionTermLabel objects.

Constructor Summary

Constructors

Constructor and Description
SymbolicExecutionTermLabelFactory()

Method Summary

Modifier and Type	Method and Description
SymbolicExecutionTermLabel	parseInstance(java.util.List<java.lang.String> parameters, TermServices services) Parses the arguments and produces a term label.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SymbolicExecutionTermLabelFactory

public SymbolicExecutionTermLabelFactory()

Method Detail

parseInstance

public SymbolicExecutionTermLabel parseInstance(java.util.List<java.lang.String> parameters,
                                                TermServices services)
                                         throws TermLabelException

Parses the arguments and produces a term label.

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.

Specified by:

parseInstance in interface TermLabelFactory<SymbolicExecutionTermLabel>

Parameters:

parameters - the arguments for parsing, not null, no entry null

services - a non-null services object to look up symbols.

Returns:

the according term label with the given arguments, not null

Throws:

TermLabelException - if the parameters were illegally formatted