State

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 allocArray(elemty: Type, count: Int)(implicit linked: Result): Addr

7. def allocBox(boxname: Global, value: Val)(implicit linked: Result): Addr

8. def allocClass(cls: Class): Addr

9. def allocString(value: String)(implicit linked: Result): Addr

10. final def asInstanceOf[T0]: T0

    Definition Classes

    Any

11. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

12. def delay(op: Op): Val

13. var delayed: Map[Op, Val]

14. def deref(addr: Addr): Instance

15. def derefDelayed(addr: Addr): DelayedInstance

16. def derefEscaped(addr: Addr): EscapedInstance

17. def derefVirtual(addr: Addr): VirtualInstance

18. def emit(op: Op, idempotent: Boolean = false): Val

19. var emit: Buffer

20. var emitted: Map[Op, Val]

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

    Definition Classes

    AnyRef

22. def equals(other: Any): Boolean

    Definition Classes

    State → AnyRef → Any

23. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

24. var fresh: Fresh

25. def fullClone(block: Local): State

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

    Definition Classes

    AnyRef → Any

27. def hasEscaped(value: Val): Boolean

28. def hasEscaped(addr: Addr): Boolean

29. def hashCode(): Int

    Definition Classes

    AnyRef → Any

30. var heap: Map[Addr, Instance]

31. def heapClosure(roots: Seq[Val]): Set[Addr]

32. def inherit(other: State, roots: Seq[Val]): Unit

33. def isDelayed(value: Val): Boolean

34. def isDelayed(addr: Addr): Boolean

35. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

36. def isVirtual(value: Val): Boolean

37. def isVirtual(addr: Addr): Boolean

38. def loadLocal(local: Local): Val

39. def loadVar(local: Local): Val

40. var locals: Map[Local, Val]

41. def materialize(rootValue: Val)(implicit linked: Result): Val

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

    Definition Classes

    AnyRef

43. def newVar(ty: Type): Local

44. final def notify(): Unit

    Definition Classes

    AnyRef

45. final def notifyAll(): Unit

    Definition Classes

    AnyRef

46. def storeLocal(local: Local, value: Val): Unit

47. def storeVar(local: Local, value: Val): Unit

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

    Definition Classes

    AnyRef

49. def toString(): String

    Definition Classes

    AnyRef → Any

50. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )