public final class SLMethodResolver extends SLExpressionResolver
javaInfo, manager, services, specInClass
Constructor and Description |
---|
SLMethodResolver(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 methodName,
SLParameters parameters)
Resolves property calls on explicit receivers.
|
isVisible, resolve
public SLMethodResolver(JavaInfo javaInfo, SLResolverManager manager, KeYJavaType specInClass)
protected boolean canHandleReceiver(SLExpression receiver)
canHandleReceiver
in class SLExpressionResolver
protected SLExpression doResolving(SLExpression receiver, java.lang.String methodName, SLParameters parameters) throws SLTranslationException
SLExpressionResolver
doResolving
in class SLExpressionResolver
receiver
- receiver (may *not* be null)methodName
- name of the propertyparameters
- the actual parameters, or null if not applicableSLTranslationException