org.eclipse.xtext.xbase.typesystem.internal

Class NoTypeResult

java.lang.Object

org.eclipse.xtext.xbase.typesystem.internal.NoTypeResult

All Implemented Interfaces:

ITypeComputationResult

public class NoTypeResult
extends Object
implements ITypeComputationResult

Author:

Sebastian Zarnekow - Initial contribution and API TODO JavaDoc, toString

Constructor Summary

Constructors

Constructor and Description
NoTypeResult(org.eclipse.emf.ecore.EObject context, ITypeReferenceOwner owner)

Method Summary

Methods

Modifier and Type	Method and Description
LightweightTypeReference	getActualExpressionType() Returns the type of the expression (if known).
int	getCheckedConformanceFlags() Conformance information about the actual expression type and the expectation.
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.
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).
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

NoTypeResult

public NoTypeResult(org.eclipse.emf.ecore.EObject context,
            ITypeReferenceOwner owner)

Method Detail

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

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

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 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 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 String toString()

Overrides:

toString in class Object