Package | Description |
---|---|
de.uka.ilkd.key.proof.mgt |
This package contains classes for proof environments and proof management.
|
de.uka.ilkd.key.speclang |
This package contains the specification language frontends of KeY.
|
de.uka.ilkd.key.speclang.jml | |
de.uka.ilkd.key.speclang.jml.translation | |
de.uka.ilkd.key.speclang.njml |
This package provides the functionalities of parsing JML comments into KeY constructs.
|
de.uka.ilkd.key.speclang.translation | |
de.uka.ilkd.key.symbolic_execution.strategy.breakpoint |
Class and Description |
---|
SLTranslationException |
Class and Description |
---|
SLTranslationException |
Class and Description |
---|
SLTranslationException |
Class and Description |
---|
SLExceptionFactory
Factory for exception during parsing of specification languages.
|
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.
|
SLParameters
Wraps a list of expressions.
|
SLResolverManager
Resolves property calls of any kind.
|
SLTranslationException |
Class and Description |
---|
JavaIntegerSemanticsHelper
Helper class for sl-parsers dealing with Java's type promotion for integers.
|
SLExceptionFactory
Factory for exception during parsing of specification languages.
|
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.
|
Class and Description |
---|
SLExceptionFactory
Factory for exception during parsing of specification languages.
|
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.
|
SLParameters
Wraps a list of expressions.
|
SLResolverManager
Resolves property calls of any kind.
|
SLTranslationException |
Class and Description |
---|
SLTranslationException |
Copyright © 2003-2019 The KeY-Project.