org.eclipse.xtext.xbase.typesystem
Interface IResolvedTypes

All Known Implementing Classes:
DelegatingResolvedTypes, DelegatingStackedResolvedTypes, ResolvedTypes, StackedResolvedTypes

public interface IResolvedTypes

A type resolution allows to query the types of given expressions. Furthermore it encapsulates the issues that occurred during type resolution. TODO JavaDoc, toString

Author:
Sebastian Zarnekow - Initial contribution and API

Field Summary
static IResolvedTypes NULL
           
 
Method Summary
 JvmTypeReference getActualType(JvmIdentifiableElement identifiable)
           
 JvmTypeReference getActualType(XExpression expression)
           
 java.util.List<JvmTypeReference> getActualTypeArguments(XExpression expression)
           
 JvmTypeReference getExpectedType(XExpression expression)
           
 java.util.List<org.eclipse.emf.common.util.Diagnostic> getQueuedDiagnostics()
           
 

Field Detail

NULL

static final IResolvedTypes NULL
Method Detail

getQueuedDiagnostics

java.util.List<org.eclipse.emf.common.util.Diagnostic> getQueuedDiagnostics()

getActualType

JvmTypeReference getActualType(XExpression expression)

getActualType

JvmTypeReference getActualType(JvmIdentifiableElement identifiable)

getExpectedType

JvmTypeReference getExpectedType(XExpression expression)

getActualTypeArguments

java.util.List<JvmTypeReference> getActualTypeArguments(XExpression expression)
Parameters:
expression - may either be an XAbstractFeatureCall or XConstructorCall. May not be null.