checker

Value Members

1. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

2. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

5. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

6. def adaptAnnotations(tree: Tree, mode: Int, pt: Type): Tree

   Definition Classes

   checker → AnnotationChecker

7. def adaptBoundsToAnnotations(bounds: List[TypeBounds], tparams: List[Symbol], targs: List[Type]): List[TypeBounds]

   Refine the bounds on type parameters to the given type arguments.

   Refine the bounds on type parameters to the given type arguments.

   Definition Classes

   checker → AnnotationChecker

8. def adaptTypeOfReturn(tree: Tree, pt: Type, default: ⇒ Type): Type

   Returns an adapted type for a return expression if the method's result type (pt) is a CPS type.

   Returns an adapted type for a return expression if the method's result type (pt) is a CPS type. Otherwise, it returns the default type (typedReturn passes NothingClass.tpe).

   A return expression in a method that has a CPS result type is an error unless the return is in tail position. Therefore, we are making sure that only the types of return expressions are adapted which will either be removed, or lead to an error.

   Definition Classes

   checker → AnnotationChecker

9. def addAnnotations(tree: Tree, tpe: Type): Type

   Modify the type that has thus far been inferred for a tree.

   Modify the type that has thus far been inferred for a tree. All this should do is add annotations.

   Definition Classes

   checker → AnnotationChecker

10. def annotationsConform(tpe1: Type, tpe2: Type): Boolean

    Check annotations to decide whether tpe1 <:< tpe2

    Check annotations to decide whether tpe1 <:< tpe2

    Definition Classes

    checker → AnnotationChecker

11. def annotationsGlb(tp: Type, ts: List[Type]): Type

    Definition Classes

    AnnotationChecker

12. def annotationsLub(tpe: Type, ts: List[Type]): Type

    Refine the computed least upper bound of a list of types.

    Refine the computed least upper bound of a list of types. All this should do is add annotations.

    Definition Classes

    checker → AnnotationChecker

13. final def asInstanceOf[T0]: T0

    Definition Classes

    Any

14. def canAdaptAnnotations(tree: Tree, mode: Int, pt: Type): Boolean

    Definition Classes

    checker → AnnotationChecker

15. def clone(): AnyRef

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

16. def emptyOrSingleList(xs: List[AnnotationInfo]): List[AnnotationInfo]

17. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

18. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

19. def finalize(): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

20. final def getClass(): java.lang.Class[_]

    Definition Classes

    AnyRef → Any

21. def hashCode(): Int

    Definition Classes

    AnyRef → Any

22. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

23. def isPartialFunctionType(tp: Type): Boolean

24. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

25. final def notify(): Unit

    Definition Classes

    AnyRef

26. final def notifyAll(): Unit

    Definition Classes

    AnyRef

27. def single(xs: List[AnnotationInfo]): AnnotationInfo

28. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

29. def toString(): String

    Definition Classes

    AnyRef → Any

30. def transArgList(fun: Tree, args: List[Tree]): List[List[Tree]]

31. def transChildrenInOrder(tree: Tree, tpe: Type, childTrees: List[Tree], byName: List[Tree]): Type

32. def transStms(stms: List[Tree]): List[Tree]

33. def updateAttributesFromChildren(tpe: Type, childAnnots: List[AnnotationInfo], byName: List[Tree]): Type

34. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()

35. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()

36. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()