Taclets.
See: Description
| Class | Description |
|---|---|
| ContextInstantiationEntry |
This class is used to store the information about a matched
context of a dl formula.
|
| ContextStatementBlockInstantiation |
this class is created if the scheme given by a context term has
matched to a java program.
|
| GenericSortCondition |
Abstract superclass for conditions controlling the instantiations
of generic sorts
|
| GenericSortCondition.GSCForceInstantiation | |
| GenericSortCondition.GSCIdentity | |
| GenericSortCondition.GSCSupersort | |
| GenericSortInstantiations |
This class handles the instantiation of generic sorts (used for
generic taclets), i.e. the class tries to find a solution for the
conditions on the generic sorts given by the type hierarchy and the
chosen SV instantiations
this class is immutable
|
| InstantiationEntry<E> |
This is an abstract class that encapsulates an instantiation of a SchemaVariable.
|
| ListInstantiation | |
| NameInstantiationEntry |
This class is used to store the instantiation of a schemavarible
if it is a name.
|
| OperatorInstantiation |
This class is used to store the instantiation of a schemavarible
if it is an operator.
|
| ProgramInstantiation |
This class is used to store the instantiation of a schemavarible
if it is a ProgramElement.
|
| ProgramList | |
| ProgramListInstantiation |
This class is used to store the instantiation of a schemavariable
if it is a ProgramElement.
|
| ProgramSVEntry |
this class encapsulates a SchemaVariable and its corresponding
instantiation if it is a JavaProgramElement.
|
| ProgramSVInstantiation |
this class wrapps a ImmMap
|
| SVInstantiations |
This class wraps a ImmMap |
| SVInstantiations.UpdateLabelPair | |
| TacletInstantiations |
this class contains a Taclet together with its suggested
instantiations.
|
| TermInstantiation |
This class is used to store the instantiation of a schemavarible
if it is a term.
|
| TermLabelInstantiationEntry |
| Exception | Description |
|---|---|
| GenericSortException |
This exception thrown if there is no appropriate instantiation of
the generic sorts occurring within an "SVInstantiations"-object
|
| GenericSortInstantiations.FailException | |
| IllegalInstantiationException |
this exception is thrown if an invalid instantiation for a schema
variable was given
|
| RigidnessException |
this exception is thrown if non-rigid instantiation has been given
for a schema variable only allowing rigid instantiations
|
| SortException |
this exception is thrown from an "SVInstantiations"-Object if the
sorts of a schema variable and its instantiation are not compatible
(and not generic)
|
Taclets.
Last modified: Tue Nov 26 08:54:55 MET 2002