org.eclipse.xtext.xbase.scoping.batch

Class BucketedEObjectDescription

java.lang.Object

org.eclipse.xtext.resource.AbstractEObjectDescription

org.eclipse.xtext.resource.EObjectDescription

org.eclipse.xtext.xbase.scoping.batch.BucketedEObjectDescription

All Implemented Interfaces:

IEObjectDescription, IIdentifiableElementDescription

Direct Known Subclasses:

ConstructorDescription, InstanceFeatureDescription, InstanceFeatureDescriptionWithoutReceiver, QualifiedThisOrSuperDescription, StaticExtensionFeatureDescription, StaticFeatureDescription

public abstract class BucketedEObjectDescription
extends EObjectDescription
implements IIdentifiableElementDescription

A description that contains some more information, e.g. on the bound type parameters, the receiver or its type. The bucket concept allows to properly identify ambiguous descriptions, e.g. if two descriptions from the very same bucket are matching with equal confidence, the link is ambiguous and should be indicated as such. A possible scenario is a conflict in the static imports where two imported types have the very same static method signature, e.g. main(String[]). If the client tries to invoke that method without an explicitly declared receiver, it should be flagged as ambiguous.

Author:

Sebastian Zarnekow - Initial contribution and API

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	BucketedEObjectDescription(QualifiedName qualifiedName, JvmIdentifiableElement feature, int bucketId, boolean visible)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	computeShadowingKey(JvmIdentifiableElement identifiable, StringBuilder result)
int	getBucketId()
JvmIdentifiableElement	getElementOrProxy()
XExpression	getImplicitFirstArgument()
LightweightTypeReference	getImplicitFirstArgumentType()
XExpression	getImplicitReceiver() Returns the actual receiver of this (potential) feature call.
int	getImplicitReceiverConformanceFlags()
EnumSet<ConformanceHint>	getImplicitReceiverConformanceHints()
LightweightTypeReference	getImplicitReceiverType()
Map<JvmTypeParameter,LightweightMergedBoundTypeArgument>	getImplicitReceiverTypeParameterMapping()
int	getNumberOfIrrelevantParameters()
int	getNumberOfParameters()
String	getShadowingKey()
XExpression	getSyntacticReceiver()
int	getSyntacticReceiverConformanceFlags()
EnumSet<ConformanceHint>	getSyntacticReceiverConformanceHints()
LightweightTypeReference	getSyntacticReceiverType()
Map<JvmTypeParameter,LightweightMergedBoundTypeArgument>	getSyntacticReceiverTypeParameterMapping()
boolean	isAnonymousClassConstructorCall()
boolean	isSyntacticReceiverPossibleArgument()
boolean	isTypeLiteral()
boolean	isValidStaticState()
boolean	isVisible()
String	toString()

Methods inherited from class org.eclipse.xtext.resource.EObjectDescription

create, create, create, create, getEClass, getEObjectOrProxy, getEObjectURI, getName, getQualifiedName, getUserData, getUserDataKeys, normalize

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.xtext.xbase.scoping.batch.IIdentifiableElementDescription

isExtension, isStatic

Methods inherited from interface org.eclipse.xtext.resource.IEObjectDescription

getEClass, getEObjectOrProxy, getEObjectURI, getName, getQualifiedName, getUserData, getUserDataKeys

Constructor Detail

BucketedEObjectDescription

protected BucketedEObjectDescription(QualifiedName qualifiedName,
                          JvmIdentifiableElement feature,
                          int bucketId,
                          boolean visible)

Method Detail

getShadowingKey

public String getShadowingKey()

Specified by:

getShadowingKey in interface IIdentifiableElementDescription

computeShadowingKey

protected void computeShadowingKey(JvmIdentifiableElement identifiable,
                       StringBuilder result)

getBucketId

public int getBucketId()

Specified by:

getBucketId in interface IIdentifiableElementDescription

getImplicitReceiverType

public LightweightTypeReference getImplicitReceiverType()

Specified by:

getImplicitReceiverType in interface IIdentifiableElementDescription

getImplicitReceiver

public XExpression getImplicitReceiver()

Returns the actual receiver of this (potential) feature call. It may be null even though there is a syntactic receiver available (in case of static features).

Specified by:

getImplicitReceiver in interface IIdentifiableElementDescription

getImplicitReceiverTypeParameterMapping

public Map<JvmTypeParameter,LightweightMergedBoundTypeArgument> getImplicitReceiverTypeParameterMapping()

Specified by:

getImplicitReceiverTypeParameterMapping in interface IIdentifiableElementDescription

getImplicitReceiverConformanceHints

public EnumSet<ConformanceHint> getImplicitReceiverConformanceHints()

Specified by:

getImplicitReceiverConformanceHints in interface IIdentifiableElementDescription

getImplicitReceiverConformanceFlags

public int getImplicitReceiverConformanceFlags()

Specified by:

getImplicitReceiverConformanceFlags in interface IIdentifiableElementDescription

getSyntacticReceiverType

public LightweightTypeReference getSyntacticReceiverType()

Specified by:

getSyntacticReceiverType in interface IIdentifiableElementDescription

getSyntacticReceiver

public XExpression getSyntacticReceiver()

Specified by:

getSyntacticReceiver in interface IIdentifiableElementDescription

isSyntacticReceiverPossibleArgument

public boolean isSyntacticReceiverPossibleArgument()

Specified by:

isSyntacticReceiverPossibleArgument in interface IIdentifiableElementDescription

getSyntacticReceiverTypeParameterMapping

public Map<JvmTypeParameter,LightweightMergedBoundTypeArgument> getSyntacticReceiverTypeParameterMapping()

Specified by:

getSyntacticReceiverTypeParameterMapping in interface IIdentifiableElementDescription

getSyntacticReceiverConformanceHints

public EnumSet<ConformanceHint> getSyntacticReceiverConformanceHints()

Specified by:

getSyntacticReceiverConformanceHints in interface IIdentifiableElementDescription

getSyntacticReceiverConformanceFlags

public int getSyntacticReceiverConformanceFlags()

Specified by:

getSyntacticReceiverConformanceFlags in interface IIdentifiableElementDescription

isVisible

public boolean isVisible()

Specified by:

isVisible in interface IIdentifiableElementDescription

toString

public String toString()

Overrides:

toString in class AbstractEObjectDescription

getElementOrProxy

public JvmIdentifiableElement getElementOrProxy()

Specified by:

getElementOrProxy in interface IIdentifiableElementDescription

getImplicitFirstArgument

public XExpression getImplicitFirstArgument()

Specified by:

getImplicitFirstArgument in interface IIdentifiableElementDescription

getImplicitFirstArgumentType

public LightweightTypeReference getImplicitFirstArgumentType()

Specified by:

getImplicitFirstArgumentType in interface IIdentifiableElementDescription

isTypeLiteral

public boolean isTypeLiteral()

Specified by:

isTypeLiteral in interface IIdentifiableElementDescription

isAnonymousClassConstructorCall

public boolean isAnonymousClassConstructorCall()

Specified by:

isAnonymousClassConstructorCall in interface IIdentifiableElementDescription

getNumberOfIrrelevantParameters

public int getNumberOfIrrelevantParameters()

Specified by:

getNumberOfIrrelevantParameters in interface IIdentifiableElementDescription

getNumberOfParameters

public int getNumberOfParameters()

Specified by:

getNumberOfParameters in interface IIdentifiableElementDescription

isValidStaticState

public boolean isValidStaticState()

Specified by:

isValidStaticState in interface IIdentifiableElementDescription