NoChecking

Value Members

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

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

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

   

   Definition Classes

   AnyRef → Any

4. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

5. def checkClassType(tp: Type, pos: Position, traitReq: Boolean, stablePrefixReq: Boolean)(implicit ctx: Context): Type

   

   Check that tp is a class type.

   Check that tp is a class type. Also, if traitReq is true, check that tp is a trait. Also, if stablePrefixReq is true and phase is not after RefChecks, check that class prefix is stable.

   returns

   tp itself if it is a class or trait ref, ObjectType if not.

   Definition Classes

   NoChecking → Checking

6. def checkFeasible(tp: Type, pos: Position, where: ⇒ String = "")(implicit ctx: Context): Type

   

   Check that any top-level type arguments in this type are feasible, i.e.

   Check that any top-level type arguments in this type are feasible, i.e. that their lower bound conforms to their upper bound. If a type argument is infeasible, issue and error and continue with upper bound.

   Definition Classes

   NoChecking → Checking

7. def checkImplicitParamsNotSingletons(vparamss: List[List[ast.tpd.ValDef]])(implicit ctx: Context): Unit

   

   Check that a non-implicit parameter making up the first parameter section of an implicit conversion is not a singleton type.

   Check that a non-implicit parameter making up the first parameter section of an implicit conversion is not a singleton type.

   Definition Classes

   NoChecking → Checking

8. def checkInlineConformant(tree: ast.tpd.Tree, what: ⇒ String)(implicit ctx: Context): Unit

   

   Check that tree is a pure expression of constant type

   Check that tree is a pure expression of constant type

   Definition Classes

   NoChecking → Checking

9. def checkNoDoubleDefs(cls: Symbol)(implicit ctx: Context): Unit

   

   Check that class does not define same symbol twice

   Check that class does not define same symbol twice

   Definition Classes

   NoChecking → Checking

10. def checkNonCyclic(sym: Symbol, info: TypeBounds, reportErrors: Boolean)(implicit ctx: Context): Type

    

    Definition Classes

    NoChecking → Checking

11. def checkNotSingleton(tpt: ast.tpd.Tree, where: String)(implicit ctx: Context): ast.tpd.Tree

    

    Check that tpt does not refer to a singleton type

    Check that tpt does not refer to a singleton type

    Definition Classes

    NoChecking → Checking

12. def checkParentCall(call: ast.tpd.Tree, caller: ClassSymbol)(implicit ctx: Context): Unit

    

    Definition Classes

    NoChecking → Checking

13. def checkRealizableBounds(tp: Type, pos: Position)(implicit ctx: Context): Unit

    

    Check that all type members of tp have realizable bounds

    Check that all type members of tp have realizable bounds

    Definition Classes

    Checking

14. def checkSimpleKinded(tpt: ast.tpd.Tree)(implicit ctx: Context): ast.tpd.Tree

    

    Check that tpt does not define a higher-kinded type

    Check that tpt does not define a higher-kinded type

    Definition Classes

    NoChecking → Checking

15. def checkStable(tp: Type, pos: Position)(implicit ctx: Context): Unit

    

    Check that type tp is stable.

    Check that type tp is stable.

    Definition Classes

    NoChecking → Checking

16. def checkValue(tree: ast.tpd.Tree, proto: Type)(implicit ctx: Context): tree.type

    

    Check that Java statics and packages can only be used in selections.

    Check that Java statics and packages can only be used in selections.

    Definition Classes

    NoChecking → Checking

17. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

19. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

20. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

21. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

22. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

23. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

28. def toString(): String

    

    Definition Classes

    AnyRef → Any

29. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )