de.uka.ilkd.key.logic.label

Class SingletonLabelFactory<T extends TermLabel>

java.lang.Object

de.uka.ilkd.key.logic.label.SingletonLabelFactory<T>

Type Parameters:

T - the type of the wrapped term label can be narrowed.

All Implemented Interfaces:

TermLabelFactory<T>

public final class SingletonLabelFactory<T extends TermLabel>
extends java.lang.Object
implements TermLabelFactory<T>

A factory for creating singleton TermLabel.

The resulting factory does not accept arguments for the builder methods and always returns a fixed term level value.

Field Summary

Fields

Modifier and Type	Field and Description
private T	singletonLabel The label around which the factory is built.

Constructor Summary

Constructors

Constructor and Description
SingletonLabelFactory(T singletonLabel) Instantiates a new singleton label factory for a label.

Method Summary

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.

Methods inherited from class java.lang.Object

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

Field Detail

singletonLabel

private final T extends TermLabel singletonLabel

The label around which the factory is built.

Constructor Detail

SingletonLabelFactory

public SingletonLabelFactory(T singletonLabel)

Instantiates a new singleton label factory for a label.

Parameters:

singletonLabel - the label to be wrapped, not null.

Method Detail

parseInstance

public T parseInstance(java.util.List<java.lang.String> arguments,
                       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 implementation does not accept arguments and returns the stored label

Specified by:

parseInstance in interface TermLabelFactory<T extends TermLabel>

Parameters:

arguments - 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