de.uka.ilkd.key.speclang.translation

Classes

• JavaIntegerSemanticsHelper
• SLAttributeResolver
• SLExpression
• SLExpressionResolver
• SLMethodResolver
• SLParameters
• SLResolverManager
• SLTranslationExceptionManager
• SLTypeResolver

Exceptions

• SLTranslationException
• SLWarningException