TyperState

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 clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

6. def commit()(implicit ctx: Context): Unit

   

   Commit state so that it gets propagated to enclosing context

7. def constraint: Constraint

   

   The current constraint set

8. def constraint_=(c: Constraint)(implicit ctx: Context): Unit

   

9. def ephemeral: Boolean

   

   The ephemeral flag is set as a side effect if an operation accesses the underlying type of a type variable.

   The ephemeral flag is set as a side effect if an operation accesses the underlying type of a type variable. The reason we need this flag is that any such operation is not referentially transparent; it might logically change its value at the moment the type variable is instantiated. Caching code needs to check the ephemeral flag; If the flag is set during an operation, the result of that operation should not be cached.

10. def ephemeral_=(x: Boolean): Unit

    

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

    

    Definition Classes

    AnyRef

12. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

13. def fallbackToText(printer: Printer): Text

    

    A fallback text representation, if the pattern matching in Printers does not have a case for this showable element

    A fallback text representation, if the pattern matching in Printers does not have a case for this showable element

    Definition Classes

    Showable

14. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

15. def fresh(isCommittable: Boolean): TyperState

    

    A fresh typer state with the same constraint as this one.

    A fresh typer state with the same constraint as this one.

    isCommittable

    The constraint can be committed to an enclosing context.

16. def gc()(implicit ctx: Context): Unit

    

    Make type variable instances permanent by assigning to inst field if type variable instantiation cannot be retracted anymore.

    Make type variable instances permanent by assigning to inst field if type variable instantiation cannot be retracted anymore. Then, remove no-longer needed constraint entries.

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

    

    Definition Classes

    AnyRef → Any

18. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

19. def instType(tvar: TypeVar)(implicit ctx: Context): Type

    

    Gives for each instantiated type var that does not yet have its inst field set, the instance value stored in the constraint.

    Gives for each instantiated type var that does not yet have its inst field set, the instance value stored in the constraint. Storing instances in constraints is done only in a temporary way for contexts that may be retracted without also retracting the type var as a whole.

20. def isCommittable: Boolean

    

    Is it allowed to commit this state?

21. def isGlobalCommittable: Boolean

    

    Can this state be transitively committed until the top-level?

22. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Definition Classes

    AnyRef

24. final def notify(): Unit

    

    Definition Classes

    AnyRef

25. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

26. def reporter: Reporter

    

    The current reporter

27. def show(implicit ctx: Context): String

    

    The string representation of this showable element.

    The string representation of this showable element.

    Definition Classes

    Showable

28. def showSummary(implicit ctx: Context): String

    

    Definition Classes

    Showable

29. def showSummary(depth: Int)(implicit ctx: Context): String

    

    The summarized string representation of this showable element.

    The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.

    Definition Classes

    Showable

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

    

    Definition Classes

    AnyRef

31. def toString(): String

    

    Definition Classes

    AnyRef → Any

32. def toText(printer: Printer): Text

    

    The text representation of this showable element.

    The text representation of this showable element. This normally dispatches to a pattern matching method in Printers.

    Definition Classes

    TyperState → Showable

33. def tryWithFallback[T](op: ⇒ T)(fallback: ⇒ T)(implicit ctx: Context): T

    

34. def uncommittedAncestor: TyperState

    

    The closest ancestor of this typer state (including possibly this typer state itself) which is not yet committed, or which does not have a parent.

35. def uninstVars: Seq[TypeVar]

    

    The uninstantiated variables

36. def unsupported(methodName: String): Nothing

    

    Throws an UnsupportedOperationException with the given method name.

    Throws an UnsupportedOperationException with the given method name.

    Definition Classes

    DotClass

37. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

40. def withReporter(reporter: Reporter): TyperState

    

    A fresh type state with the same constraint as this one and the given reporter