public static final class TermLabelManager.TermLabelConfiguration
extends java.lang.Object
TermLabel
.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.
|
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()
|
ImmutableList<TermLabelRefactoring> |
getTermLabelRefactorings()
Returns the
TermLabelRefactoring instances. |
ImmutableList<TermLabelUpdate> |
getTermLabelUpdates()
Returns the
TermLabelUpdate instances. |
public TermLabelConfiguration(Name termLabelName, TermLabelFactory<?> factory)
termLabelName
- The Name
of the supported TermLabel
.factory
- The TermLabelFactory
to use.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)
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.public TermLabelFactory<?> getFactory()
TermLabelFactory
to use.TermLabelFactory
to use.public ImmutableList<TermLabelPolicy> getApplicationTermPolicies()
TermLabelPolicy
instances applied on the application term.TermLabelPolicy
instances applied on the application term.public ImmutableList<TermLabelPolicy> getModalityTermPolicies()
TermLabelPolicy
instances applied on the modality term.TermLabelPolicy
instances applied on the modality term.public ImmutableList<ChildTermLabelPolicy> getDirectChildTermLabelPolicies()
ChildTermLabelPolicy
instances to use.ChildTermLabelPolicy
instances to use.public ImmutableList<ChildTermLabelPolicy> getChildAndGrandchildTermLabelPolicies()
ChildTermLabelPolicy
instances to use.ChildTermLabelPolicy
instances to use.public ImmutableList<TermLabelUpdate> getTermLabelUpdates()
TermLabelUpdate
instances.TermLabelUpdate
instances.public ImmutableList<TermLabelRefactoring> getTermLabelRefactorings()
TermLabelRefactoring
instances.TermLabelRefactoring
instances.public TermLabelMerger getTermLabelMerger()
TermLabelMerger
instance.TermLabelMerger
instance.Copyright © 2003-2019 The KeY-Project.