State

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

   

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

   

6. def allocClass(cls: Class): Addr

   

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

   

8. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

9. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

10. def delay(op: Op): Val

    

11. var delayed: AnyRefMap[Op, Val]

    

12. def deref(addr: Addr): Instance

    

13. def derefDelayed(addr: Addr): DelayedInstance

    

14. def derefEscaped(addr: Addr): EscapedInstance

    

15. def derefVirtual(addr: Addr): VirtualInstance

    

16. def emit(op: Op, idempotent: Boolean = false)(implicit position: Position): Val

    

17. var emit: Buffer

    

18. var emitted: AnyRefMap[Op, Val]

    

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

    

    Definition Classes

    AnyRef

20. def equals(other: Any): Boolean

    

    Definition Classes

    State → AnyRef → Any

21. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

22. var fresh: Fresh

    

23. def fullClone(block: Local): State

    

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

    

    Definition Classes

    AnyRef → Any

25. def hasEscaped(value: Val): Boolean

    

26. def hasEscaped(addr: Addr): Boolean

    

27. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

28. var heap: LongMap[Instance]

    

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

    

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

    

31. def isDelayed(value: Val): Boolean

    

32. def isDelayed(addr: Addr): Boolean

    

33. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

34. def isVirtual(value: Val): Boolean

    

35. def isVirtual(addr: Addr): Boolean

    

36. def loadLocal(local: Local): Val

    

37. def loadVar(local: Local): Val

    

38. var locals: OpenHashMap[Local, Val]

    

39. def materialize(rootValue: Val)(implicit linked: Result, origPos: Position): Val

    

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

    

    Definition Classes

    AnyRef

41. def newVar(ty: Type): Local

    

42. final def notify(): Unit

    

    Definition Classes

    AnyRef

43. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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

    

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

    

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

    

    Definition Classes

    AnyRef

47. def toString(): String

    

    Definition Classes

    AnyRef → Any

48. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )