de.uka.ilkd.key.logic.label

Class BlockContractValidityTermLabelFactory

java.lang.Object

de.uka.ilkd.key.logic.label.BlockContractValidityTermLabelFactory

All Implemented Interfaces:

TermLabelFactory<BlockContractValidityTermLabel>

public class BlockContractValidityTermLabelFactory
extends java.lang.Object
implements TermLabelFactory<BlockContractValidityTermLabel>

A factory for creating BlockContractValidityTermLabel objects.

Constructor Summary

Constructors

Constructor and Description
BlockContractValidityTermLabelFactory()

Method Summary

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

BlockContractValidityTermLabelFactory

public BlockContractValidityTermLabelFactory()

Method Detail

parseInstance

public BlockContractValidityTermLabel 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 a String.

Specified by:

parseInstance in interface TermLabelFactory<BlockContractValidityTermLabel>

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