Package org.eclipse.xtext.xbase.typesystem.override

Class BottomResolvedOperation

    • Constructor Detail

    • 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()

      • 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