Package org.eclipse.xtext.xbase.typesystem.internal

Class ResolutionBasedComputationResult

java.lang.Object

org.eclipse.xtext.xbase.typesystem.internal.ResolutionBasedComputationResult

All Implemented Interfaces:

ITypeComputationResult

public class ResolutionBasedComputationResult
extends java.lang.Object
implements ITypeComputationResult

Constructor Summary

Constructors

Constructor	Description
ResolutionBasedComputationResult(XExpression expression, ResolvedTypes resolution)

Method Summary

Modifier and Type	Method	Description
LightweightTypeReference	getActualExpressionType()	Returns the type of the expression (if known).
int	getCheckedConformanceFlags()	Conformance information about the actual expression type and the expectation.
java.util.EnumSet<ConformanceHint>	getCheckedConformanceHints()	Conformance information about the actual expression type and the expectation.
int	getConformanceFlags()	Conformance information about the actual expression type and the expectation.
java.util.EnumSet<ConformanceHint>	getConformanceHints()	Conformance information about the actual expression type and the expectation.
LightweightTypeReference	getExpectedExpressionType()	Returns the type of the expectation (if any).
LightweightTypeReference	getExpectedReturnType()	Returns the type of the return expectation (if any).
XExpression	getExpression()	The expression that is associated with this result.
LightweightTypeReference	getReturnType()	Returns the return type of the expression (if known).
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ResolutionBasedComputationResult

public ResolutionBasedComputationResult(XExpression expression,
                                        ResolvedTypes resolution)

Method Detail

getActualExpressionType

public LightweightTypeReference getActualExpressionType()

Description copied from interface: ITypeComputationResult

Returns the type of the expression (if known). May return null.

Specified by:

getActualExpressionType in interface ITypeComputationResult

getReturnType

public LightweightTypeReference getReturnType()

Description copied from interface: ITypeComputationResult

Returns the return type of the expression (if known). May return null. The return type is different from the actual type since its value escapes the current context.

Specified by:

getReturnType in interface ITypeComputationResult

getExpression

public XExpression getExpression()

Description copied from interface: ITypeComputationResult

The expression that is associated with this result.

Specified by:

getExpression in interface ITypeComputationResult

getExpectedExpressionType

public LightweightTypeReference getExpectedExpressionType()

Description copied from interface: ITypeComputationResult

Returns the type of the expectation (if any). TODO expose the ITypeExpectation instead which carries more information.

Specified by:

getExpectedExpressionType in interface ITypeComputationResult

getExpectedReturnType

public LightweightTypeReference getExpectedReturnType()

Description copied from interface: ITypeComputationResult

Returns the type of the return expectation (if any). TODO expose the ITypeExpectation instead which carries more information.

Specified by:

getExpectedReturnType in interface ITypeComputationResult

getConformanceHints

public java.util.EnumSet<ConformanceHint> getConformanceHints()

Description copied from interface: ITypeComputationResult

Conformance information about the actual expression type and the expectation.

Specified by:

getConformanceHints in interface ITypeComputationResult

getConformanceFlags

public int getConformanceFlags()

Description copied from interface: ITypeComputationResult

Conformance information about the actual expression type and the expectation.

Specified by:

getConformanceFlags in interface ITypeComputationResult

getCheckedConformanceHints

public java.util.EnumSet<ConformanceHint> getCheckedConformanceHints()

Description copied from interface: ITypeComputationResult

Conformance information about the actual expression type and the expectation.

Specified by:

getCheckedConformanceHints in interface ITypeComputationResult

getCheckedConformanceFlags

public int getCheckedConformanceFlags()

Description copied from interface: ITypeComputationResult

Conformance information about the actual expression type and the expectation.

Specified by:

getCheckedConformanceFlags in interface ITypeComputationResult

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object