public final class JMLBuiltInPropertyResolver extends SLExpressionResolver
javaInfo, manager, services, specInClass
Constructor and Description |
---|
JMLBuiltInPropertyResolver(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.
|
isVisible, resolve
public JMLBuiltInPropertyResolver(JavaInfo javaInfo, SLResolverManager manager, KeYJavaType specInClass)
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
Copyright © 2003-2019 The KeY-Project.