PointsToMap

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 val TITLE: String("PointsToMap")

   

5. def addEntryPoint(ep: Signature): MSet[Signature]

   

   Definition Classes

   PTAResult

6. def addEntryPoints(eps: ISet[Signature]): MSet[Signature]

   

   Definition Classes

   PTAResult

7. def addInstance(s: PTASlot, context: Context, i: Instance): Unit

   

   Definition Classes

   PTAResult

8. def addInstance(s: PTASlot, context: String, i: Instance): Unit

   

   Definition Classes

   PTAResult

9. def addInstances(s: PTASlot, context: Context, is: ISet[Instance]): Unit

   

   Definition Classes

   PTAResult

10. def addInstances(s: PTASlot, context: String, is: ISet[Instance]): Unit

    

    Definition Classes

    PTAResult

11. def addPointsToMap(ptMap: IMap[String, PTSMap]): Unit

    

    Definition Classes

    PTAResult

12. final def asInstanceOf[T0]: T0

    

    Definition Classes

    Any

13. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

14. def contained(n1: PtaNode, n2: PtaNode): Boolean

    

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

    

    Definition Classes

    AnyRef

16. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

17. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

19. def getDiff(n1: PtaNode, n2: PtaNode): ISet[Instance]

    

20. def getEntryPoints: ISet[Signature]

    

    Definition Classes

    PTAResult

21. def getPTSMap(context: Context): PTSMap

    

    Definition Classes

    PTAResult

22. def getPTSMap(context: String): PTSMap

    

    Definition Classes

    PTAResult

23. def getRelatedHeapInstances(insts: ISet[Instance], context: String): ISet[Instance]

    

    Definition Classes

    PTAResult

24. def getRelatedHeapInstances(insts: ISet[Instance], context: Context): ISet[Instance]

    

    Definition Classes

    PTAResult

25. def getRelatedInstances(s: PTASlot, context: String): ISet[Instance]

    

    Definition Classes

    PTAResult

26. def getRelatedInstances(s: PTASlot, context: Context): ISet[Instance]

    

    Definition Classes

    PTAResult

27. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

28. val heapContext: Context

    

29. def isDiff(n1: PtaNode, n2: PtaNode): Boolean

    

30. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

31. def merge(result: PTAResult): PTAResult

    

    Definition Classes

    PTAResult

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

    

    Definition Classes

    AnyRef

33. final def notify(): Unit

    

    Definition Classes

    AnyRef

34. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

35. def pointsToMap: IMap[String, PTSMap]

    

    Definition Classes

    PTAResult

36. def pointsToSet(n: PtaNode): ISet[Instance]

    

    n or n.f or n[] or @@n

37. def pointsToSet(s: PTASlot, context: Context): ISet[Instance]

    

    Definition Classes

    PTAResult

38. def pointsToSet(s: PTASlot, context: String): ISet[Instance]

    

    Definition Classes

    PTAResult

39. def propagatePointsToSet(n1: PtaNode, n2: PtaNode): Unit

    

    n1 -> n2 or n1.f -> n2 or n1[] -> n2, n1 -> n2.f, n1 -> n2[]

40. def removeInstance(s: PTASlot, context: Context, i: Instance): Unit

    

    Definition Classes

    PTAResult

41. def removeInstance(s: PTASlot, context: String, i: Instance): Unit

    

    Definition Classes

    PTAResult

42. def removeInstances(s: PTASlot, context: Context, is: ISet[Instance]): Unit

    

    Definition Classes

    PTAResult

43. def removeInstances(s: PTASlot, context: String, is: ISet[Instance]): Unit

    

    Definition Classes

    PTAResult

44. def setInstance(s: PTASlot, context: String, i: Instance): Set[Instance]

    

    Definition Classes

    PTAResult

45. def setInstances(s: PTASlot, context: Context, is: ISet[Instance]): Unit

    

    Definition Classes

    PTAResult

46. def setInstances(s: PTASlot, context: String, is: ISet[Instance]): Unit

    

    Definition Classes

    PTAResult

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

    

    Definition Classes

    AnyRef

48. def toString(): String

    

    Definition Classes

    AnyRef → Any

49. def transferPointsToSet(n: PtaNode, d: ISet[Instance]): Unit

    

    e.g.

    e.g. L0: p = q; L1: r = p; transfer means p@L0 -> p@L1

50. def transferPointsToSet(n1: PtaNode, n2: PtaNode): Unit

    

    e.g.

    e.g. L0: p = q; L1: r = p; transfer means p@L0 -> p@L1

51. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )