Package | Description |
---|---|
de.uka.ilkd.key.logic.label |
Modifier and Type | Class and Description |
---|---|
class |
BlockContractValidityTermLabelFactory
A factory for creating
BlockContractValidityTermLabel objects. |
class |
FormulaTermLabelFactory
A factory for creating
FormulaTermLabel objects. |
class |
OriginTermLabelFactory
Factory for
OriginTermLabel s. |
class |
SingletonLabelFactory<T extends TermLabel>
A factory for creating singleton
TermLabel . |
class |
SymbolicExecutionTermLabelFactory
A factory for creating
SymbolicExecutionTermLabel objects. |
Modifier and Type | Method and Description |
---|---|
TermLabelFactory<?> |
TermLabelManager.TermLabelConfiguration.getFactory()
Returns the
TermLabelFactory to use. |
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.
|
Copyright © 2003-2019 The KeY-Project.