org.eclipse.xtext.xbase.typesystem.internal
Class ObservableTypeExpectation

java.lang.Object
  extended by org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeExpectation
      extended by org.eclipse.xtext.xbase.typesystem.internal.AbstractReturnAwareTypeExpectation
          extended by org.eclipse.xtext.xbase.typesystem.internal.ObservableTypeExpectation
All Implemented Interfaces:
ITypeExpectation

public class ObservableTypeExpectation
extends AbstractReturnAwareTypeExpectation

Author:
Sebastian Zarnekow - Initial contribution and API

Constructor Summary
ObservableTypeExpectation(IJvmTypeReferenceProvider expectedType, AbstractTypeComputationState state, boolean returnType, org.eclipse.xtext.xbase.typesystem.internal.ObservableTypeExpectation.Observer observer)
           
 
Method Summary
 void acceptActualType(JvmTypeReference type, ConformanceHint conformanceHint)
           
 JvmTypeReference getExpectedType()
          Returns the expected type.
 boolean isNoTypeExpectation()
          Returns true if anything is allowed and no constraints are expected.
 
Methods inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeExpectation
getState, isVoidTypeAllowed, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ObservableTypeExpectation

public ObservableTypeExpectation(IJvmTypeReferenceProvider expectedType,
                                 AbstractTypeComputationState state,
                                 boolean returnType,
                                 org.eclipse.xtext.xbase.typesystem.internal.ObservableTypeExpectation.Observer observer)
Method Detail

acceptActualType

public void acceptActualType(JvmTypeReference type,
                             ConformanceHint conformanceHint)
Specified by:
acceptActualType in interface ITypeExpectation
Overrides:
acceptActualType in class AbstractReturnAwareTypeExpectation

isNoTypeExpectation

public boolean isNoTypeExpectation()
Description copied from interface: ITypeExpectation
Returns true if anything is allowed and no constraints are expected.

Returns:
true if anything is allowed and no constraints are expected.

getExpectedType

public JvmTypeReference getExpectedType()
Description copied from interface: ITypeExpectation
Returns the expected type. The expected type may be not too concrete thus ITypeExpectation.getExpectedType() may return null or some sort of unresolved, specialized reference. If null is returned, clients may want to check ITypeExpectation.isNoTypeExpectation() or ITypeExpectation.isVoidTypeAllowed().

Returns:
the expected type. This may be null.