Class

org.argus.jawa.alir.pta.suspark

PointsToMap

Related Doc: package suspark

Permalink

class PointsToMap extends PTAResult

Linear Supertypes
PTAResult, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PointsToMap
  2. PTAResult
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new PointsToMap()

    Permalink

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final val TITLE: String("PointsToMap")

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

    Permalink
    Definition Classes
    PTAResult
  6. def addEntryPoints(eps: ISet[Signature]): MSet[Signature]

    Permalink
    Definition Classes
    PTAResult
  7. def addInstance(s: PTASlot, context: Context, i: Instance): Unit

    Permalink
    Definition Classes
    PTAResult
  8. def addInstance(s: PTASlot, context: String, i: Instance): Unit

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

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

    Permalink
    Definition Classes
    PTAResult
  11. def addPointsToMap(ptMap: IMap[String, PTSMap]): Unit

    Permalink
    Definition Classes
    PTAResult
  12. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  13. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  14. def contained(n1: PtaNode, n2: PtaNode): Boolean

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

    Permalink
    Definition Classes
    AnyRef
  16. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  17. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  18. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  19. def getDiff(n1: PtaNode, n2: PtaNode): ISet[Instance]

    Permalink
  20. def getEntryPoints: ISet[Signature]

    Permalink
    Definition Classes
    PTAResult
  21. def getPTSMap(context: Context): PTSMap

    Permalink
    Definition Classes
    PTAResult
  22. def getPTSMap(context: String): PTSMap

    Permalink
    Definition Classes
    PTAResult
  23. def getRelatedHeapInstances(insts: ISet[Instance], context: String): ISet[Instance]

    Permalink
    Definition Classes
    PTAResult
  24. def getRelatedHeapInstances(insts: ISet[Instance], context: Context): ISet[Instance]

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

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

    Permalink
    Definition Classes
    PTAResult
  27. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  28. val heapContext: Context

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

    Permalink
  30. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  31. def merge(result: PTAResult): PTAResult

    Permalink
    Definition Classes
    PTAResult
  32. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  33. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  34. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  35. def pointsToMap: IMap[String, PTSMap]

    Permalink
    Definition Classes
    PTAResult
  36. def pointsToSet(n: PtaNode): ISet[Instance]

    Permalink

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

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

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

    Permalink
    Definition Classes
    PTAResult
  39. def propagatePointsToSet(n1: PtaNode, n2: PtaNode): Unit

    Permalink

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

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

    Permalink
    Definition Classes
    PTAResult
  41. def removeInstance(s: PTASlot, context: String, i: Instance): Unit

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

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

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

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

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

    Permalink
    Definition Classes
    PTAResult
  47. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  48. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  49. def transferPointsToSet(n: PtaNode, d: ISet[Instance]): Unit

    Permalink

    e.g.

    e.g. L0: p = q; L1: r = p; transfer means [email protected] -> [email protected]

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

    Permalink

    e.g.

    e.g. L0: p = q; L1: r = p; transfer means [email protected] -> [email protected]

  51. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  52. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  53. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from PTAResult

Inherited from AnyRef

Inherited from Any

Ungrouped