de.uka.ilkd.key.logic.label

Class FormulaTermLabelFactory

java.lang.Object

de.uka.ilkd.key.logic.label.FormulaTermLabelFactory

All Implemented Interfaces:

TermLabelFactory<FormulaTermLabel>

public class FormulaTermLabelFactory
extends java.lang.Object
implements TermLabelFactory<FormulaTermLabel>

A factory for creating FormulaTermLabel objects.

Constructor Summary

Constructors

Constructor and Description
FormulaTermLabelFactory()

Method Summary

Modifier and Type	Method and Description
FormulaTermLabel	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

FormulaTermLabelFactory

public FormulaTermLabelFactory()

Method Detail

parseInstance

public FormulaTermLabel 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<FormulaTermLabel>

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