de.uka.ilkd.key.logic.label

Class TermLabelManager.TermLabelConfiguration

java.lang.Object

de.uka.ilkd.key.logic.label.TermLabelManager.TermLabelConfiguration

Enclosing class:

TermLabelManager

public static final class TermLabelManager.TermLabelConfiguration
extends java.lang.Object

Instances of this class are used to group everything which is required to support one specific TermLabel.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private ImmutableList<TermLabelPolicy>	applicationTermPolicies The TermLabelPolicy instances applied on the application term.
private ImmutableList<ChildTermLabelPolicy>	childAndGrandchildTermLabelPolicies The child and grandchild ChildTermLabelPolicy instances to use.
private ImmutableList<ChildTermLabelPolicy>	directChildTermLabelPolicies The direct ChildTermLabelPolicy instances to use.
private TermLabelFactory<?>	factory The TermLabelFactory to use.
private ImmutableList<TermLabelPolicy>	modalityTermPolicies The TermLabelPolicy instances applied on the modality term.
private TermLabelMerger	termLabelMerger The TermLabelMerger instance.
private Name	termLabelName The Name of the supported TermLabel.
private ImmutableList<TermLabelRefactoring>	termLabelRefactorings The TermLabelRefactoring instances.
private ImmutableList<TermLabelUpdate>	termLabelUpdates The TermLabelUpdate instances.

Constructor Summary

Constructors

Constructor and Description
TermLabelConfiguration(Name termLabelName, TermLabelFactory<?> factory) Constructor.
TermLabelConfiguration(Name termLabelName, TermLabelFactory<?> factory, ImmutableList<TermLabelPolicy> applicationTermPolicies, ImmutableList<TermLabelPolicy> modalityTermPolicies, ImmutableList<ChildTermLabelPolicy> directChildTermLabelPolicies, ImmutableList<ChildTermLabelPolicy> childAndGrandchildTermLabelPolicies, ImmutableList<TermLabelUpdate> termLabelUpdates, ImmutableList<TermLabelRefactoring> termLabelRefactorings, TermLabelMerger termLabelMerger) Constructor.

Method Summary

Modifier and Type	Method and Description
ImmutableList<TermLabelPolicy>	getApplicationTermPolicies() Returns the TermLabelPolicy instances applied on the application term.
ImmutableList<ChildTermLabelPolicy>	getChildAndGrandchildTermLabelPolicies() Returns the child and grandchild ChildTermLabelPolicy instances to use.
ImmutableList<ChildTermLabelPolicy>	getDirectChildTermLabelPolicies() Returns the direct ChildTermLabelPolicy instances to use.
TermLabelFactory<?>	getFactory() Returns the TermLabelFactory to use.
ImmutableList<TermLabelPolicy>	getModalityTermPolicies() Returns the TermLabelPolicy instances applied on the modality term.
TermLabelMerger	getTermLabelMerger() Returns the TermLabelMerger instance.
Name	getTermLabelName() Returns the Name of the supported TermLabel.
ImmutableList<TermLabelRefactoring>	getTermLabelRefactorings() Returns the TermLabelRefactoring instances.
ImmutableList<TermLabelUpdate>	getTermLabelUpdates() Returns the TermLabelUpdate instances.

Methods inherited from class java.lang.Object

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

Field Detail

termLabelName

private final Name termLabelName

The Name of the supported TermLabel.

factory

private final TermLabelFactory<?> factory

The TermLabelFactory to use.

applicationTermPolicies

private final ImmutableList<TermLabelPolicy> applicationTermPolicies

The TermLabelPolicy instances applied on the application term.

modalityTermPolicies

private final ImmutableList<TermLabelPolicy> modalityTermPolicies

The TermLabelPolicy instances applied on the modality term.

directChildTermLabelPolicies

private final ImmutableList<ChildTermLabelPolicy> directChildTermLabelPolicies

The direct ChildTermLabelPolicy instances to use.

childAndGrandchildTermLabelPolicies

private final ImmutableList<ChildTermLabelPolicy> childAndGrandchildTermLabelPolicies

The child and grandchild ChildTermLabelPolicy instances to use.

termLabelUpdates

private final ImmutableList<TermLabelUpdate> termLabelUpdates

The TermLabelUpdate instances.

termLabelRefactorings

private final ImmutableList<TermLabelRefactoring> termLabelRefactorings

The TermLabelRefactoring instances.

termLabelMerger

private final TermLabelMerger termLabelMerger

The TermLabelMerger instance.

Constructor Detail

TermLabelConfiguration

public TermLabelConfiguration(Name termLabelName,
                              TermLabelFactory<?> factory)

Constructor.

Parameters:

termLabelName - The Name of the supported TermLabel.

factory - The TermLabelFactory to use.

TermLabelConfiguration

public TermLabelConfiguration(Name termLabelName,
                              TermLabelFactory<?> factory,
                              ImmutableList<TermLabelPolicy> applicationTermPolicies,
                              ImmutableList<TermLabelPolicy> modalityTermPolicies,
                              ImmutableList<ChildTermLabelPolicy> directChildTermLabelPolicies,
                              ImmutableList<ChildTermLabelPolicy> childAndGrandchildTermLabelPolicies,
                              ImmutableList<TermLabelUpdate> termLabelUpdates,
                              ImmutableList<TermLabelRefactoring> termLabelRefactorings,
                              TermLabelMerger termLabelMerger)

Constructor.

Parameters:

termLabelName - The Name of the supported TermLabel.

factory - The TermLabelFactory to use.

applicationTermPolicies - The TermLabelPolicy instances applied on the application term.

modalityTermPolicies - The TermLabelPolicy instances applied on the modality term.

directChildTermLabelPolicies - The direct ChildTermLabelPolicy instances to use.

childAndGrandchildTermLabelPolicies - The child and grandchild ChildTermLabelPolicy instances to use.

termLabelUpdates - The TermLabelUpdate instances.

termLabelRefactorings - The TermLabelRefactoring instances.

termLabelMerger - The TermLabelMerger instance.

Method Detail

getTermLabelName

public Name getTermLabelName()

Returns the Name of the supported TermLabel.

Returns:

The Name of the supported TermLabel.

getFactory

public TermLabelFactory<?> getFactory()

Returns the TermLabelFactory to use.

Returns:

The TermLabelFactory to use.

getApplicationTermPolicies

public ImmutableList<TermLabelPolicy> getApplicationTermPolicies()

Returns the TermLabelPolicy instances applied on the application term.

Returns:

The TermLabelPolicy instances applied on the application term.

getModalityTermPolicies

public ImmutableList<TermLabelPolicy> getModalityTermPolicies()

Returns the TermLabelPolicy instances applied on the modality term.

Returns:

The TermLabelPolicy instances applied on the modality term.

getDirectChildTermLabelPolicies

public ImmutableList<ChildTermLabelPolicy> getDirectChildTermLabelPolicies()

Returns the direct ChildTermLabelPolicy instances to use.

Returns:

The direct ChildTermLabelPolicy instances to use.

getChildAndGrandchildTermLabelPolicies

public ImmutableList<ChildTermLabelPolicy> getChildAndGrandchildTermLabelPolicies()

Returns the child and grandchild ChildTermLabelPolicy instances to use.

Returns:

The child and grandchild ChildTermLabelPolicy instances to use.

getTermLabelUpdates

public ImmutableList<TermLabelUpdate> getTermLabelUpdates()

Returns the TermLabelUpdate instances.

Returns:

The TermLabelUpdate instances.

getTermLabelRefactorings

public ImmutableList<TermLabelRefactoring> getTermLabelRefactorings()

Returns the TermLabelRefactoring instances.

Returns:

The TermLabelRefactoring instances.

getTermLabelMerger

public TermLabelMerger getTermLabelMerger()

Returns the TermLabelMerger instance.

Returns:

The TermLabelMerger instance.