org.eclipse.xtext.xbase.typesystem.override

Class BottomResolvedOperation

java.lang.Object

org.eclipse.xtext.xbase.typesystem.override.AbstractResolvedFeature<T>

org.eclipse.xtext.xbase.typesystem.override.AbstractResolvedExecutable<org.eclipse.xtext.common.types.JvmOperation>

org.eclipse.xtext.xbase.typesystem.override.AbstractResolvedOperation

org.eclipse.xtext.xbase.typesystem.override.BottomResolvedOperation

All Implemented Interfaces:

IResolvedExecutable, IResolvedFeature, IResolvedOperation

Direct Known Subclasses:

ConflictingDefaultOperation, InvokedResolvedOperation

public class BottomResolvedOperation
extends AbstractResolvedOperation

Resolved bottom representation of a JvmOperation.

Constructor Summary

Constructors

Constructor and Description
BottomResolvedOperation(org.eclipse.xtext.common.types.JvmOperation declaration, LightweightTypeReference contextType, OverrideTester overrideTester)

Method Summary

Modifier and Type	Method and Description
IResolvedOperation	getAsBottom() Returns the current method as a bottom method.
protected BottomResolvedOperation	getBottom()
IOverrideCheckResult	getOverrideCheckResult() The override check result that is associated with this operation.
protected OverrideTester	getOverrideTester()
boolean	isBottomInContext() Returns true if the bottom of this resolved method hierachy, which that there is no specialization of this method in the current context.

Methods inherited from class org.eclipse.xtext.xbase.typesystem.override.AbstractResolvedOperation

createResolvedOperationInHierarchy, getIllegallyDeclaredExceptions, getOverriddenAndImplementedMethodCandidates, getOverriddenAndImplementedMethods, getOverriddenMethod, getResolvedReturnType, getResolvedTypeParameterConstraints, getResolvedTypeParameters, isIllegallyDeclaredException, isOverridingOrImplementing, isRawTypeInheritance, isResolvedTypeParameter

Methods inherited from class org.eclipse.xtext.xbase.typesystem.override.AbstractResolvedExecutable

getResolvedErasureSignature, getResolvedExceptions, getResolvedParameterTypes, getResolvedSignature, getSimpleSignature, getTypeParameters, toString

Methods inherited from class org.eclipse.xtext.xbase.typesystem.override.AbstractResolvedFeature

computeContextTypeParameterMapping, getContextType, getContextTypeParameterMapping, getDeclaration, getResolvedDeclarator, getResolvedReference, getResolvedReferences, getSubstitutor, isResolvedTypeParameter

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.typesystem.override.IResolvedOperation

getDeclaration

Methods inherited from interface org.eclipse.xtext.xbase.typesystem.override.IResolvedExecutable

getResolvedExceptions, getResolvedParameterTypes, getTypeParameters

Methods inherited from interface org.eclipse.xtext.xbase.typesystem.override.IResolvedFeature

getContextType, getResolvedDeclarator, getResolvedErasureSignature, getResolvedSignature, getSimpleSignature

Constructor Detail

BottomResolvedOperation

public BottomResolvedOperation(org.eclipse.xtext.common.types.JvmOperation declaration,
                               LightweightTypeReference contextType,
                               OverrideTester overrideTester)

Method Detail

isBottomInContext

public boolean isBottomInContext()

Description copied from interface: IResolvedOperation

Returns true if the bottom of this resolved method hierachy, which that there is no specialization of this method in the current context.

 interface I1 {
   void m()
 }
 interface I2 {
   void m()
 }
 abstract class C implements I1, I2 {
 }
 

If you get hold on the abstract method I1#m or I2#m both will return true.

See Also:

IResolvedOperation.getAsBottom()

getAsBottom

public IResolvedOperation getAsBottom()

Description copied from interface: IResolvedOperation

Returns the current method as a bottom method. That implies, that the context type of the result is the resolved declarator of the current declaration.

 interface I<T> {
   <K> T m(K k);
 }
 class C implements I<V< {
   <U> V m(U u);
 }
 

If this resolved method represents I#m in the context of class C (thus the return type will be V and the resolved type parameters include U, IResolvedOperation.getAsBottom() will yield I#m in the context of I<V<. That is, the return type is still resolved to V. Nevertheless, the local type parameter of I#m is now resolved to its declaration K. This implies that the parameter type is no longer resolved to U but K instead. The bottom representation can be used to create descriptive error messages. If the current resolved method is already a bottom type, it is returned itself.

Returns:

the current operation as bottom type.

See Also:

IResolvedOperation.isBottomInContext()

getBottom

protected BottomResolvedOperation getBottom()

Specified by:

getBottom in class AbstractResolvedOperation

getOverrideTester

protected OverrideTester getOverrideTester()

Overrides:

getOverrideTester in class AbstractResolvedOperation

getOverrideCheckResult

public IOverrideCheckResult getOverrideCheckResult()

Description copied from interface: IResolvedOperation

The override check result that is associated with this operation. If this is a bottom, the details will only include the current detail. In other cases, the actual information about the relationship of the hierarchy function to its specialization in the context is returned.

Returns:

the computed check result