public final class SLAttributeResolver extends SLExpressionResolver
javaInfo, manager, services, specInClass
Constructor and Description |
---|
SLAttributeResolver(JavaInfo javaInfo,
SLResolverManager manager,
KeYJavaType specInClass) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
canHandleReceiver(SLExpression receiver) |
protected SLExpression |
doResolving(SLExpression receiver,
java.lang.String name,
SLParameters parameters)
Resolves property calls on explicit receivers.
|
private ProgramVariable |
lookupVisibleAttribute(java.lang.String name,
KeYJavaType containingType) |
isVisible, resolve
public SLAttributeResolver(JavaInfo javaInfo, SLResolverManager manager, KeYJavaType specInClass)
private ProgramVariable lookupVisibleAttribute(java.lang.String name, KeYJavaType containingType)
protected boolean canHandleReceiver(SLExpression receiver)
canHandleReceiver
in class SLExpressionResolver
protected SLExpression doResolving(SLExpression receiver, java.lang.String name, SLParameters parameters) throws SLTranslationException
SLExpressionResolver
doResolving
in class SLExpressionResolver
receiver
- receiver (may *not* be null)name
- name of the propertyparameters
- the actual parameters, or null if not applicableSLTranslationException