Class | Description |
---|---|
JavaIntegerSemanticsHelper |
Helper class for sl-parsers dealing with Java's type promotion for integers.
|
SLAttributeResolver |
Resolver for attributes (i.e., fields).
|
SLExpression |
This class represents the translation of an expression of an arbitrary
specification language, which in the KeY world is either a term or a type.
|
SLExpressionResolver |
Expression resolvers are used by specification parsers (e.g. for JML
or OCL) to translate complex expressions to terms.
|
SLMethodResolver |
Resolver for method calls in specifications.
|
SLParameters |
Wraps a list of expressions.
|
SLResolverManager |
Resolves property calls of any kind.
|
SLTranslationExceptionManager |
Some common exception / position management functionality used
by SL translation parsers.
|
SLTypeResolver |
Resolves types occurring explicitly in specification expressions
(e.g. as part of a static method call MyClass.m()).
|
Exception | Description |
---|---|
SLTranslationException | |
SLWarningException |