de.uka.ilkd.key.speclang.jml.translation

Class JMLResolverManager

java.lang.Object

de.uka.ilkd.key.speclang.translation.SLResolverManager

de.uka.ilkd.key.speclang.jml.translation.JMLResolverManager

final class JMLResolverManager
extends SLResolverManager

Resolver manager for JML.

Field Summary

Fields inherited from class de.uka.ilkd.key.speclang.translation.SLResolverManager

excManager

Constructor Summary

Constructors

Constructor and Description
JMLResolverManager(JavaInfo javaInfo, KeYJavaType specInClass, ParsableVariable selfVar, SLTranslationExceptionManager eManager)

Method Summary

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.

Methods inherited from class de.uka.ilkd.key.speclang.translation.SLResolverManager

addResolver, popLocalVariablesNamespace, pushLocalVariablesNamespace, putIntoTopLocalVariablesNamespace, putIntoTopLocalVariablesNamespace, putIntoTopLocalVariablesNamespace, putIntoTopLocalVariablesNamespace, resolve

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JMLResolverManager

public JMLResolverManager(JavaInfo javaInfo,
                          KeYJavaType specInClass,
                          ParsableVariable selfVar,
                          SLTranslationExceptionManager eManager)

Method Detail

getSpecVisibility

public VisibilityModifier getSpecVisibility(MemberDeclaration md)

Description copied from class: SLResolverManager

Returns a specification-language based visibility level for the passed member that should take precedence over Java's ordinary visibility, or null.

Overrides:

getSpecVisibility in class SLResolverManager