public final class JMLBuiltInPropertyResolver extends SLExpressionResolver
Modifier and Type | Field and Description |
---|---|
private SeqLDT |
seqLDT |
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
private final SeqLDT seqLDT
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