public abstract class SLResolverManager
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
SLExceptionFactory |
excManager |
Modifier | Constructor and Description |
---|---|
protected |
SLResolverManager(SLExceptionFactory excManager,
KeYJavaType specInClass,
ParsableVariable selfVar,
boolean useLocalVarsAsImplicitReceivers,
TermBuilder tb) |
Modifier and Type | Method and Description |
---|---|
protected void |
addResolver(SLExpressionResolver resolver) |
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.
|
void |
popLocalVariablesNamespace()
Throws away the topmost namespace on the stack.
|
void |
pushLocalVariablesNamespace()
Pushes a new, empty namespace onto the stack.
|
void |
putIntoTopLocalVariablesNamespace(ImmutableList<? extends ProgramVariable> pvs)
Puts a list of local variables into the topmost namespace on the stack.
|
void |
putIntoTopLocalVariablesNamespace(ImmutableList<LogicVariable> pvs,
KeYJavaType kjt)
Puts a list of local variables into the topmost namespace on the stack.
|
void |
putIntoTopLocalVariablesNamespace(ParsableVariable pv,
KeYJavaType kjt)
Puts a local variable into the topmost namespace on the stack
|
void |
putIntoTopLocalVariablesNamespace(ProgramVariable pv)
Puts a local variable into the topmost namespace on the stack
|
SLExpression |
resolve(SLExpression receiver,
java.lang.String name,
SLParameters parameters)
Resolves arbitrary property calls.
|
public final SLExceptionFactory excManager
protected SLResolverManager(SLExceptionFactory excManager, KeYJavaType specInClass, ParsableVariable selfVar, boolean useLocalVarsAsImplicitReceivers, TermBuilder tb)
protected void addResolver(SLExpressionResolver resolver)
public SLExpression resolve(SLExpression receiver, java.lang.String name, SLParameters parameters) throws SLTranslationException
receiver
- the specified explicit receiver, or nullname
- name of the propertyparameters
- actual parameters of the property call, or nullSLTranslationException
public void pushLocalVariablesNamespace()
public void putIntoTopLocalVariablesNamespace(ParsableVariable pv, KeYJavaType kjt)
public void putIntoTopLocalVariablesNamespace(ProgramVariable pv)
public void putIntoTopLocalVariablesNamespace(ImmutableList<LogicVariable> pvs, KeYJavaType kjt)
public void putIntoTopLocalVariablesNamespace(ImmutableList<? extends ProgramVariable> pvs)
public void popLocalVariablesNamespace()
public VisibilityModifier getSpecVisibility(MemberDeclaration md)
Copyright © 2003-2019 The KeY-Project.