de.uka.ilkd.key.speclang.translation

Class SLAttributeResolver

java.lang.Object

de.uka.ilkd.key.speclang.translation.SLExpressionResolver

de.uka.ilkd.key.speclang.translation.SLAttributeResolver

public final class SLAttributeResolver
extends SLExpressionResolver

Resolver for attributes (i.e., fields).

Field Summary

Fields inherited from class de.uka.ilkd.key.speclang.translation.SLExpressionResolver

javaInfo, manager, services, specInClass

Constructor Summary

Constructors

Constructor and Description
SLAttributeResolver(JavaInfo javaInfo, SLResolverManager manager, KeYJavaType specInClass)

Method Summary

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)

Methods inherited from class de.uka.ilkd.key.speclang.translation.SLExpressionResolver

isVisible, resolve

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SLAttributeResolver

public SLAttributeResolver(JavaInfo javaInfo,
                           SLResolverManager manager,
                           KeYJavaType specInClass)

Method Detail

lookupVisibleAttribute

private ProgramVariable lookupVisibleAttribute(java.lang.String name,
                                               KeYJavaType containingType)

canHandleReceiver

protected boolean canHandleReceiver(SLExpression receiver)

Specified by:

canHandleReceiver in class SLExpressionResolver

doResolving

protected SLExpression doResolving(SLExpression receiver,
                                   java.lang.String name,
                                   SLParameters parameters)
                            throws SLTranslationException

Description copied from class: SLExpressionResolver

Resolves property calls on explicit receivers.

Specified by:

doResolving in class SLExpressionResolver

Parameters:

receiver - receiver (may *not* be null)

name - name of the property

parameters - the actual parameters, or null if not applicable

Returns:

a suitable term or collection if successful, null otherwise

Throws:

SLTranslationException