final class JMLResolverManager extends SLResolverManager
excManager
Constructor and Description |
---|
JMLResolverManager(JavaInfo javaInfo,
KeYJavaType specInClass,
ParsableVariable selfVar,
SLTranslationExceptionManager eManager) |
Modifier and Type | Method and Description |
---|---|
VisibilityModifier |
getSpecVisibility(MemberDeclaration md)
Returns a specification-language based visibility level for the
passed member that should take precedence over Java's ordinary
visibility, or null.
|
addResolver, popLocalVariablesNamespace, pushLocalVariablesNamespace, putIntoTopLocalVariablesNamespace, putIntoTopLocalVariablesNamespace, putIntoTopLocalVariablesNamespace, putIntoTopLocalVariablesNamespace, resolve
public JMLResolverManager(JavaInfo javaInfo, KeYJavaType specInClass, ParsableVariable selfVar, SLTranslationExceptionManager eManager)
public VisibilityModifier getSpecVisibility(MemberDeclaration md)
SLResolverManager
getSpecVisibility
in class SLResolverManager