diff --git a/com.ensoftcorp.open.pointsto.feature/feature.xml b/com.ensoftcorp.open.pointsto.feature/feature.xml index 9568030..51cba35 100644 --- a/com.ensoftcorp.open.pointsto.feature/feature.xml +++ b/com.ensoftcorp.open.pointsto.feature/feature.xml @@ -42,6 +42,11 @@ SOFTWARE. + + + + + + + diff --git a/com.ensoftcorp.open.pointsto/META-INF/MANIFEST.MF b/com.ensoftcorp.open.pointsto/META-INF/MANIFEST.MF index a76eb6d..9b3ba1f 100755 --- a/com.ensoftcorp.open.pointsto/META-INF/MANIFEST.MF +++ b/com.ensoftcorp.open.pointsto/META-INF/MANIFEST.MF @@ -4,11 +4,10 @@ Bundle-Name: Points-to Toolbox Bundle-SymbolicName: com.ensoftcorp.open.pointsto;singleton:=true Bundle-Version: 3.3.7.qualifier Bundle-Vendor: EnSoft Corp. -Require-Bundle: net.ontopia.utils;bundle-version="5.2.2", - com.ensoftcorp.open.commons;bundle-version="3.3.7", - com.ensoftcorp.open.commons.ui;bundle-version="3.3.7", +Require-Bundle: com.ensoftcorp.open.commons;bundle-version="3.3.7", com.ensoftcorp.open.java.commons;bundle-version="3.3.7", - com.ensoftcorp.open.jimple.commons;bundle-version="3.3.7" + com.ensoftcorp.open.jimple.commons;bundle-version="3.3.7", + net.ontopia.utils;bundle-version="5.2.2" Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Bundle-ActivationPolicy: lazy Bundle-ClassPath: . diff --git a/com.ensoftcorp.open.pointsto/doc/allclasses-frame.html b/com.ensoftcorp.open.pointsto/doc/allclasses-frame.html index 11e43a8..32524b7 100644 --- a/com.ensoftcorp.open.pointsto/doc/allclasses-frame.html +++ b/com.ensoftcorp.open.pointsto/doc/allclasses-frame.html @@ -2,9 +2,9 @@ - + All Classes - + @@ -20,15 +20,13 @@

All Classes

  • GraphEnhancements
  • JavaPointsTo
  • JimplePointsTo
    • +
  • LIFOFrontier
  • Log
  • LRUFrontier
  • PointsTo
    • -
  • PointsToAliasesSmartView
  • PointsToAnalysis
    • -
  • PointsToArrayComponentAliasesSmartView
  • PointsToCodemapStage
  • PointsToPreferences
    • -
  • PointsToPreferencesPage
  • SubtypeCache
    • diff --git a/com.ensoftcorp.open.pointsto/doc/allclasses-noframe.html b/com.ensoftcorp.open.pointsto/doc/allclasses-noframe.html index 5a2d873..0693aca 100644 --- a/com.ensoftcorp.open.pointsto/doc/allclasses-noframe.html +++ b/com.ensoftcorp.open.pointsto/doc/allclasses-noframe.html @@ -2,9 +2,9 @@ - + All Classes - + @@ -20,15 +20,13 @@

    All Classes

  • GraphEnhancements
  • JavaPointsTo
  • JimplePointsTo
    • +
  • LIFOFrontier
  • Log
  • LRUFrontier
  • PointsTo
    • -
  • PointsToAliasesSmartView
  • PointsToAnalysis
    • -
  • PointsToArrayComponentAliasesSmartView
  • PointsToCodemapStage
  • PointsToPreferences
    • -
  • PointsToPreferencesPage
  • SubtypeCache
    • diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/Activator.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/Activator.html index 08898a8..d086ceb 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/Activator.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/Activator.html @@ -2,9 +2,9 @@ - + Activator - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/JavaPointsTo.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/JavaPointsTo.html index becf17f..3c5d27a 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/JavaPointsTo.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/JavaPointsTo.html @@ -2,9 +2,9 @@ - + JavaPointsTo - + @@ -18,7 +18,7 @@ catch(err) { } //--> -var methods = {"i0":10,"i1":10,"i2":10,"i3":10,"i4":10,"i5":10,"i6":10,"i7":10,"i8":10,"i9":10}; +var methods = {"i0":10,"i1":10,"i2":10,"i3":10,"i4":10,"i5":10,"i6":10,"i7":10,"i8":10,"i9":10,"i10":10}; var tabs = {65535:["t0","All Methods"],2:["t2","Instance Methods"],8:["t4","Concrete Methods"]}; var altColor = "altColor"; var rowColor = "rowColor"; @@ -75,7 +75,7 @@ @@ -127,6 +127,21 @@

    Class JavaPointsTo

    • + +
      • @@ -177,41 +192,47 @@

        Method Summary

        java.util.HashSet<java.lang.Integer> -        getAliasAddresses(com.ensoftcorp.atlas.core.db.graph.Node node) +getAliasAddresses()
        Returns a set of alias addresses
        java.util.HashSet<java.lang.Integer> +getAliasAddresses(com.ensoftcorp.atlas.core.db.graph.Node node) +
        Returns a set of alias addresses for the given node
        + + + +java.util.HashSet<java.lang.Integer> getArrayMemoryModelAliases(java.lang.Integer address)
        Returns the mapping of arrays to the array's components
        - + java.util.HashSet<java.lang.Integer> getArrayMemoryModels()
        Returns the array memory model addresses
        - + com.ensoftcorp.atlas.core.db.graph.Graph getInferredDataFlowGraph()
        Returns the inferred data flow graph as the results of the fixed point analysis
        - + com.ensoftcorp.atlas.core.db.graph.Node getInstantiation(java.lang.Integer address)
        Returns the mapping of an address to its corresponding instantiation
        - + com.ensoftcorp.atlas.core.db.graph.Node getType(java.lang.Integer address)
        Returns the mapping of an address to its corresponding static type
        - + void removeAliasAddress(com.ensoftcorp.atlas.core.db.graph.Node node, java.lang.Integer address) @@ -311,6 +332,22 @@

        removeAliasAddress

      + + + +
        +
      • +

        getAliasAddresses

        +
        public java.util.HashSet<java.lang.Integer> getAliasAddresses()
        +
        Description copied from class: PointsTo
        +
        Returns a set of alias addresses
        +
        +
        Specified by:
        +
        getAliasAddresses in class PointsTo
        +
        Returns:
        +
        +
        • +
      @@ -319,7 +356,7 @@

      removeAliasAddress

      getAliasAddresses

      public java.util.HashSet<java.lang.Integer> getAliasAddresses(com.ensoftcorp.atlas.core.db.graph.Node node)
      Description copied from class: PointsTo
      -
      Returns a set of alias addresses
      +
      Returns a set of alias addresses for the given node
      Specified by:
      getAliasAddresses in class PointsTo
      @@ -477,7 +514,7 @@

      getInferredDataFlowGraph

      diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/JimplePointsTo.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/JimplePointsTo.html index 590b559..7145588 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/JimplePointsTo.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/JimplePointsTo.html @@ -2,9 +2,9 @@ - + JimplePointsTo - + @@ -18,7 +18,7 @@ catch(err) { } //--> -var methods = {"i0":10,"i1":10,"i2":10,"i3":10,"i4":10,"i5":10,"i6":10,"i7":10,"i8":10,"i9":10}; +var methods = {"i0":10,"i1":10,"i2":10,"i3":10,"i4":10,"i5":10,"i6":10,"i7":10,"i8":10,"i9":10,"i10":10}; var tabs = {65535:["t0","All Methods"],2:["t2","Instance Methods"],8:["t4","Concrete Methods"]}; var altColor = "altColor"; var rowColor = "rowColor"; @@ -75,7 +75,7 @@ @@ -127,6 +127,21 @@

      Class JimplePointsTo

    + + + +
      +
    • +

      getAliasAddresses

      +
      public java.util.HashSet<java.lang.Integer> getAliasAddresses()
      +
      Description copied from class: PointsTo
      +
      Returns a set of alias addresses
      +
      +
      Specified by:
      +
      getAliasAddresses in class PointsTo
      +
      Returns:
      +
      +
      • +
    @@ -319,7 +356,7 @@

    removeAliasAddress

    getAliasAddresses

    public java.util.HashSet<java.lang.Integer> getAliasAddresses(com.ensoftcorp.atlas.core.db.graph.Node node)
    Description copied from class: PointsTo
    -
    Returns a set of alias addresses
    +
    Returns a set of alias addresses for the given node
    Specified by:
    getAliasAddresses in class PointsTo
    @@ -477,7 +514,7 @@

    getInferredDataFlowGraph

    diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/PointsTo.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/PointsTo.html index ccf2735..3c1c005 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/PointsTo.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/PointsTo.html @@ -2,9 +2,9 @@ - + PointsTo - + @@ -18,7 +18,7 @@ catch(err) { } //--> -var methods = {"i0":6,"i1":6,"i2":6,"i3":6,"i4":6,"i5":6,"i6":6,"i7":6,"i8":6,"i9":10,"i10":10,"i11":6,"i12":10}; +var methods = {"i0":6,"i1":6,"i2":6,"i3":6,"i4":6,"i5":6,"i6":6,"i7":6,"i8":6,"i9":6,"i10":10,"i11":10,"i12":6,"i13":10}; var tabs = {65535:["t0","All Methods"],2:["t2","Instance Methods"],4:["t3","Abstract Methods"],8:["t4","Concrete Methods"]}; var altColor = "altColor"; var rowColor = "rowColor"; @@ -75,13 +75,13 @@ @@ -127,6 +127,25 @@

    Class PointsTo

    • + +
        +
      • + + +

        Field Summary

        + + + + + + + + + + +
        Fields 
        Modifier and TypeField and Description
        static longUPDATE_INTERVAL 
        +
        • +
      • @@ -177,58 +196,64 @@

        Method Summary

        abstract java.util.HashSet<java.lang.Integer> -        getAliasAddresses(com.ensoftcorp.atlas.core.db.graph.Node node) +getAliasAddresses()
        Returns a set of alias addresses
        abstract java.util.HashSet<java.lang.Integer> +getAliasAddresses(com.ensoftcorp.atlas.core.db.graph.Node node) +
        Returns a set of alias addresses for the given node
        + + + +abstract java.util.HashSet<java.lang.Integer> getArrayMemoryModelAliases(java.lang.Integer address)
        Returns the mapping of arrays to the array's components
        - + abstract java.util.HashSet<java.lang.Integer> getArrayMemoryModels()
        Returns the array memory model addresses
        - + abstract com.ensoftcorp.atlas.core.db.graph.Graph getInferredDataFlowGraph()
        Returns the inferred data flow graph as the results of the fixed point analysis
        - + abstract com.ensoftcorp.atlas.core.db.graph.Node getInstantiation(java.lang.Integer address)
        Returns the mapping of an address to its corresponding instantiation
        - + abstract com.ensoftcorp.atlas.core.db.graph.Node getType(java.lang.Integer address)
        Returns the mapping of an address to its corresponding static type
        - + boolean hasRun()
        Returns true if the points-to analysis has completed
        - + boolean isDisposed()  - + abstract void removeAliasAddress(com.ensoftcorp.atlas.core.db.graph.Node node, java.lang.Integer address)
        Adds an alias address to the alias set
        - + double run()
        Runs the points to analysis (if it hasn't been run already) @@ -251,6 +276,27 @@

        Methods inherited from class java.lang.Object

    + + + +
      +
    • +

      getAliasAddresses

      +
      public abstract java.util.HashSet<java.lang.Integer> getAliasAddresses()
      +
      Returns a set of alias addresses
      +
      +
      Parameters:
      +
      node -
      +
      Returns:
      +
      +
      • +
    @@ -334,7 +395,7 @@

    getArrayMemoryModels

  • getAliasAddresses

    public abstract java.util.HashSet<java.lang.Integer> getAliasAddresses(com.ensoftcorp.atlas.core.db.graph.Node node)
    -
    Returns a set of alias addresses
    +
    Returns a set of alias addresses for the given node
    Parameters:
    node -
    @@ -497,13 +558,13 @@

    dispose

    diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/class-use/JavaPointsTo.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/class-use/JavaPointsTo.html index fc987ee..655e281 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/class-use/JavaPointsTo.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/class-use/JavaPointsTo.html @@ -2,9 +2,9 @@ - + Uses of Class com.ensoftcorp.open.pointsto.analysis.JavaPointsTo - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/class-use/JimplePointsTo.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/class-use/JimplePointsTo.html index 4185cda..030fd8f 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/class-use/JimplePointsTo.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/class-use/JimplePointsTo.html @@ -2,9 +2,9 @@ - + Uses of Class com.ensoftcorp.open.pointsto.analysis.JimplePointsTo - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/class-use/PointsTo.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/class-use/PointsTo.html index 79d8197..3b0cd51 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/class-use/PointsTo.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/class-use/PointsTo.html @@ -2,9 +2,9 @@ - + Uses of Class com.ensoftcorp.open.pointsto.analysis.PointsTo - + @@ -138,16 +138,6 @@

    Uses of static long -GraphEnhancements.serializeAliases(PointsTo pointsTo) -
    Converts temporary sets to tags and attributes
    - - - -static long -GraphEnhancements.serializeArrayMemoryModels(PointsTo pointsTo)  - - -static long GraphEnhancements.tagInferredDataFlowEdges(PointsTo pointsTo)  diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/package-frame.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/package-frame.html index a44020b..9484d61 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/package-frame.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/package-frame.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto.analysis - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/package-summary.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/package-summary.html index 7f6bdbc..9747292 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/package-summary.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/package-summary.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto.analysis - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/package-tree.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/package-tree.html index 0c68999..59d5446 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/package-tree.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/package-tree.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto.analysis Class Hierarchy - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/package-use.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/package-use.html index da1f67c..4b7bf03 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/package-use.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/package-use.html @@ -2,9 +2,9 @@ - + Uses of Package com.ensoftcorp.open.pointsto.analysis - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/class-use/Activator.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/class-use/Activator.html index fe4eab4..742aa9d 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/class-use/Activator.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/class-use/Activator.html @@ -2,9 +2,9 @@ - + Uses of Class com.ensoftcorp.open.pointsto.Activator - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/PointsToCodemapStage.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/PointsToCodemapStage.html index 1dd2c69..2f4beed 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/PointsToCodemapStage.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/PointsToCodemapStage.html @@ -2,9 +2,9 @@ - + PointsToCodemapStage - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/class-use/PointsToCodemapStage.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/class-use/PointsToCodemapStage.html index a76447a..23c6232 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/class-use/PointsToCodemapStage.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/class-use/PointsToCodemapStage.html @@ -2,9 +2,9 @@ - + Uses of Class com.ensoftcorp.open.pointsto.codemap.PointsToCodemapStage - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/package-frame.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/package-frame.html index 69ebc66..891121a 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/package-frame.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/package-frame.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto.codemap - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/package-summary.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/package-summary.html index 7dc543f..5f242cc 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/package-summary.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/package-summary.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto.codemap - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/package-tree.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/package-tree.html index 3f28bd3..63c9cc1 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/package-tree.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/package-tree.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto.codemap Class Hierarchy - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/package-use.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/package-use.html index 14c2e6c..9986e50 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/package-use.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/package-use.html @@ -2,9 +2,9 @@ - + Uses of Package com.ensoftcorp.open.pointsto.codemap - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/PointsToAnalysis.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/PointsToAnalysis.html index 49fea24..40d7c51 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/PointsToAnalysis.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/PointsToAnalysis.html @@ -2,9 +2,9 @@ - + PointsToAnalysis - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/class-use/PointsToAnalysis.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/class-use/PointsToAnalysis.html index b2fea44..68640fb 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/class-use/PointsToAnalysis.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/class-use/PointsToAnalysis.html @@ -2,9 +2,9 @@ - + Uses of Class com.ensoftcorp.open.pointsto.common.PointsToAnalysis - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-frame.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-frame.html index 9e073e8..ad921a0 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-frame.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-frame.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto.common - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-summary.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-summary.html index 4a8710a..8548705 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-summary.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-summary.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto.common - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-tree.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-tree.html index c410431..c8c77ec 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-tree.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-tree.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto.common Class Hierarchy - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-use.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-use.html index aa2b43a..95cef13 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-use.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-use.html @@ -2,9 +2,9 @@ - + Uses of Package com.ensoftcorp.open.pointsto.common - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/Log.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/Log.html index 49755d2..d722a58 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/Log.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/Log.html @@ -2,9 +2,9 @@ - + Log - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/class-use/Log.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/class-use/Log.html index 8009ad9..db781bd 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/class-use/Log.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/class-use/Log.html @@ -2,9 +2,9 @@ - + Uses of Class com.ensoftcorp.open.pointsto.log.Log - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/package-frame.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/package-frame.html index fa71475..c82111d 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/package-frame.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/package-frame.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto.log - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/package-summary.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/package-summary.html index 817a2b1..78887ae 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/package-summary.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/package-summary.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto.log - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/package-tree.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/package-tree.html index 5f2909b..4e67603 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/package-tree.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/package-tree.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto.log Class Hierarchy - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/package-use.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/package-use.html index 98a9fc8..6d0b20e 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/package-use.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/package-use.html @@ -2,9 +2,9 @@ - + Uses of Package com.ensoftcorp.open.pointsto.log - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/package-frame.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/package-frame.html index 946e5b3..60109a9 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/package-frame.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/package-frame.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/package-summary.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/package-summary.html index 594263e..3d89799 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/package-summary.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/package-summary.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/package-tree.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/package-tree.html index f960867..c85d25d 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/package-tree.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/package-tree.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto Class Hierarchy - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/package-use.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/package-use.html index 9483ff6..afe2984 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/package-use.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/package-use.html @@ -2,9 +2,9 @@ - + Uses of Package com.ensoftcorp.open.pointsto - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/PointsToPreferences.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/PointsToPreferences.html index 5ae94d1..0a5d2f7 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/PointsToPreferences.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/PointsToPreferences.html @@ -2,9 +2,9 @@ - + PointsToPreferences - + @@ -18,7 +18,7 @@ catch(err) { } //--> -var methods = {"i0":9,"i1":9,"i2":9,"i3":9,"i4":9,"i5":9,"i6":9,"i7":9,"i8":10,"i9":9,"i10":9,"i11":9,"i12":9,"i13":9,"i14":9,"i15":9,"i16":9,"i17":9,"i18":9,"i19":9,"i20":9,"i21":9,"i22":9}; +var methods = {"i0":9,"i1":9,"i2":9,"i3":9,"i4":9,"i5":9,"i6":9,"i7":9,"i8":9,"i9":9,"i10":10,"i11":9,"i12":9,"i13":9,"i14":9,"i15":9,"i16":9,"i17":9,"i18":9,"i19":9,"i20":9,"i21":9,"i22":9,"i23":9,"i24":9,"i25":9,"i26":9,"i27":9,"i28":9,"i29":9,"i30":9,"i31":9,"i32":9}; var tabs = {65535:["t0","All Methods"],1:["t1","Static Methods"],2:["t2","Instance Methods"],8:["t4","Concrete Methods"]}; var altColor = "altColor"; var rowColor = "rowColor"; @@ -136,6 +136,26 @@

    Field Summary

    static java.lang.String +ARRAY_COMPONENT_TRACKING +
    Enable/disable tracking array read/writes
    + + + +static java.lang.Boolean +ARRAY_COMPONENT_TRACKING_DEFAULT  + + +static java.lang.String +COLLAPSE_SCCS +
    Enable/disable collapsing SCCs
    + + + +static java.lang.Boolean +COLLAPSE_SCCS_DEFAULT  + + +static java.lang.String DISPOSE_RESOURCES
    Enable/disable disposal of points-to resources
    @@ -164,70 +184,90 @@

    Field Summary

    static java.lang.String -POINTS_TO_ANALYSIS_MODE  +POINTS_TO_ANALYSIS_FIFO_FRONTIER_MODE  static java.lang.String -POINTS_TO_ANALYSIS_MODE_DEFAULT  +POINTS_TO_ANALYSIS_FRONTIER_MODE  static java.lang.String +POINTS_TO_ANALYSIS_FRONTIER_MODE_DEFAULT  + + +static java.lang.String +POINTS_TO_ANALYSIS_LIFO_FRONTIER_MODE  + + +static java.lang.String +POINTS_TO_ANALYSIS_LRU_FRONTIER_MODE  + + +static java.lang.String +POINTS_TO_ANALYSIS_MODE  + + +static java.lang.String +POINTS_TO_ANALYSIS_MODE_DEFAULT  + + +static java.lang.String REWRITE_ARRAY_COMPONENTS
    Enable/disable rewriting array components
    - + static java.lang.Boolean REWRITE_ARRAY_COMPONENTS_DEFAULT  - + static java.lang.String RUN_POINTS_TO_ANALYSIS
    Enable/disable points-to analysis
    - + static java.lang.Boolean RUN_POINTS_TO_ANALYSIS_DEFAULT  - + static java.lang.String TAG_ALIASES
    Enable/disable tagging aliases
    - + static java.lang.Boolean TAG_ALIASES_DEFAULT  - + static java.lang.String TAG_INFERRED_DATAFLOWS
    Enable/disable tagging inferred dataflows
    - + static java.lang.Boolean TAG_INFERRED_DATAFLOWS_DEFAULT  - + static java.lang.String TAG_RUNTIME_TYPES
    Enable/disable tagging of runtime types
    - + static java.lang.Boolean TAG_RUNTIME_TYPES_DEFAULT  - + static java.lang.String TRACK_PRIMITIVES
    Enable/disable tracking of primitives (very expensive) Also enables modeling JDK data flows of primitive instantiations for bytecode
    - + static java.lang.Boolean TRACK_PRIMITIVES_DEFAULT  @@ -265,126 +305,186 @@

    Method Summary

    static void +enableArrayComponentTracking(boolean enabled) +
    Configures array read/write tracking
    + + + +static void +enableCollapsingSCCs(boolean enabled) +
    Configures collapsing SCCs
    + + + +static void enableDisposeResources(boolean enabled)
    Configures resource disposal
    - + static void enabledPointsToAnalysis(boolean enabled) -
    Configures whether or not immutability analysis should be run
    +
    Configures whether or not points-to analysis should be run
    - + static void enableGeneralLogging(boolean enabled)
    Configures general logging
    - + static void enableRewriteArrayComponents(boolean enabled)
    Configures array component rewritting
    - + static void enableTagAliases(boolean enabled)
    Configures alias tagging
    - + static void enableTagInferredDataflows(boolean enabled)
    Configures inferred data flow tagging
    - + static void enableTagRuntimeTypes(boolean enabled)
    Configures runtime type tagging
    - + static void enableTrackPrimitives(boolean enabled)
    Configures primitive tracking
    - + void initializeDefaultPreferences()  - + +static boolean +isArrayComponentTrackingEnabled()  + + +static boolean +isCollapsingSCCsEnabled() +
    Returns true if collapsing SCCs is enabled
    + + + static boolean isDisposeResourcesEnabled()  - + static boolean -isGeneralLoggingEnabled()  +isGeneralLoggingEnabled() +
    Returns true if general logging is enabled
    + - + static boolean isJavaPointsToAnalysisModeEnabled()
    Returns true if java points-to analysis is enabled
    - + static boolean isJimplePointsToAnalysisModeEnabled()
    Returns true if jimple points-to analysis is enabled
    - + static boolean isPointsToAnalysisEnabled()
    Returns true if points-to analysis is enabled
    - + +static boolean +isPointsToAnalysisFIFOFrontierMode() +
    Returns true if points-to analysis FIFO frontier is enabled
    + + + +static boolean +isPointsToAnalysisLIFOFrontierMode() +
    Returns true if points-to analysis LIFO frontier is enabled
    + + + +static boolean +isPointsToAnalysisLRUFrontierMode() +
    Returns true if points-to analysis LRU frontier is enabled
    + + + static boolean isRewriteArrayComponentsEnabled()  - + static boolean isTagAliasesEnabled()  - + static boolean isTagInferredDataflowsEnabled()  - + static boolean isTagRuntimeTypesEnabled()  - + static boolean isTrackPrimitivesEnabled()  - + static void loadPreferences()
    Loads or refreshes current preference values
    - + static void restoreDefaults()
    Restores the default preferences
    - + static void setJavaPointsToAnalysisMode()
    Configures points-to analysis mode to target Java source
    - + static void setJimplePointsToAnalysisMode()
    Configures points-to analysis mode to target Jimple
    + +static void +setPointsToAnalysisFIFOFrontierMode() +
    Configures points-to analysis frontier mode to use FIFO mode
    + + + +static void +setPointsToAnalysisLIFOFrontierMode() +
    Configures points-to analysis frontier mode to use LIFO mode
    + + + +static void +setPointsToAnalysisLRUFrontierMode() +
    Configures points-to analysis frontier mode to use LRU mode
    + + + + + +
      +
    • +

      COLLAPSE_SCCS

      +
      public static final java.lang.String COLLAPSE_SCCS
      +
      Enable/disable collapsing SCCs
      +
      +
      See Also:
      +
      Constant Field Values
      +
      +
      • +
    + + + +
      +
    • +

      COLLAPSE_SCCS_DEFAULT

      +
      public static final java.lang.Boolean COLLAPSE_SCCS_DEFAULT
      +
      • +
    + + + +
      +
    • +

      POINTS_TO_ANALYSIS_FRONTIER_MODE

      +
      public static final java.lang.String POINTS_TO_ANALYSIS_FRONTIER_MODE
      +
      +
      See Also:
      +
      Constant Field Values
      +
      +
      • +
    + + + +
      +
    • +

      POINTS_TO_ANALYSIS_FIFO_FRONTIER_MODE

      +
      public static final java.lang.String POINTS_TO_ANALYSIS_FIFO_FRONTIER_MODE
      +
      +
      See Also:
      +
      Constant Field Values
      +
      +
      • +
    + + + +
      +
    • +

      POINTS_TO_ANALYSIS_LIFO_FRONTIER_MODE

      +
      public static final java.lang.String POINTS_TO_ANALYSIS_LIFO_FRONTIER_MODE
      +
      +
      See Also:
      +
      Constant Field Values
      +
      +
      • +
    + + + +
      +
    • +

      POINTS_TO_ANALYSIS_LRU_FRONTIER_MODE

      +
      public static final java.lang.String POINTS_TO_ANALYSIS_LRU_FRONTIER_MODE
      +
      +
      See Also:
      +
      Constant Field Values
      +
      +
      • +
    + + + +
      +
    • +

      POINTS_TO_ANALYSIS_FRONTIER_MODE_DEFAULT

      +
      public static final java.lang.String POINTS_TO_ANALYSIS_FRONTIER_MODE_DEFAULT
      +
      +
      See Also:
      +
      Constant Field Values
      +
      +
      • +
    + + + +
      +
    • +

      ARRAY_COMPONENT_TRACKING

      +
      public static final java.lang.String ARRAY_COMPONENT_TRACKING
      +
      Enable/disable tracking array read/writes
      +
      +
      See Also:
      +
      Constant Field Values
      +
      +
      • +
    + + + +
      +
    • +

      ARRAY_COMPONENT_TRACKING_DEFAULT

      +
      public static final java.lang.Boolean ARRAY_COMPONENT_TRACKING_DEFAULT
      +
      • +
    @@ -676,7 +887,7 @@

    Method Detail

  • enabledPointsToAnalysis

    public static void enabledPointsToAnalysis(boolean enabled)
    -
    Configures whether or not immutability analysis should be run
    +
    Configures whether or not points-to analysis should be run
    • @@ -755,6 +966,121 @@

    enableGeneralLogging

  • isGeneralLoggingEnabled

    public static boolean isGeneralLoggingEnabled()
    +
    Returns true if general logging is enabled
    +
    +
    Returns:
    +
    +
    • + +     + + +
      +
    • +

      enableCollapsingSCCs

      +
      public static void enableCollapsingSCCs(boolean enabled)
      +
      Configures collapsing SCCs
      +
      • +
    + + + +
      +
    • +

      isCollapsingSCCsEnabled

      +
      public static boolean isCollapsingSCCsEnabled()
      +
      Returns true if collapsing SCCs is enabled
      +
      +
      Returns:
      +
      +
      • +
    + + + +
      +
    • +

      setPointsToAnalysisFIFOFrontierMode

      +
      public static void setPointsToAnalysisFIFOFrontierMode()
      +
      Configures points-to analysis frontier mode to use FIFO mode
      +
      • +
    + + + +
      +
    • +

      isPointsToAnalysisFIFOFrontierMode

      +
      public static boolean isPointsToAnalysisFIFOFrontierMode()
      +
      Returns true if points-to analysis FIFO frontier is enabled
      +
      +
      Returns:
      +
      +
      • +
    + + + +
      +
    • +

      setPointsToAnalysisLIFOFrontierMode

      +
      public static void setPointsToAnalysisLIFOFrontierMode()
      +
      Configures points-to analysis frontier mode to use LIFO mode
      +
      • +
    + + + +
      +
    • +

      isPointsToAnalysisLIFOFrontierMode

      +
      public static boolean isPointsToAnalysisLIFOFrontierMode()
      +
      Returns true if points-to analysis LIFO frontier is enabled
      +
      +
      Returns:
      +
      +
      • +
    + + + +
      +
    • +

      setPointsToAnalysisLRUFrontierMode

      +
      public static void setPointsToAnalysisLRUFrontierMode()
      +
      Configures points-to analysis frontier mode to use LRU mode
      +
      • +
    + + + +
      +
    • +

      isPointsToAnalysisLRUFrontierMode

      +
      public static boolean isPointsToAnalysisLRUFrontierMode()
      +
      Returns true if points-to analysis LRU frontier is enabled
      +
      +
      Returns:
      +
      +
      • +
    + + + +
      +
    • +

      enableArrayComponentTracking

      +
      public static void enableArrayComponentTracking(boolean enabled)
      +
      Configures array read/write tracking
      +
      • +
    + + + +
      +
    • +

      isArrayComponentTrackingEnabled

      +
      public static boolean isArrayComponentTrackingEnabled()
    diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/class-use/PointsToPreferences.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/class-use/PointsToPreferences.html index f6ed1d6..7d30a10 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/class-use/PointsToPreferences.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/class-use/PointsToPreferences.html @@ -2,9 +2,9 @@ - + Uses of Class com.ensoftcorp.open.pointsto.preferences.PointsToPreferences - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-frame.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-frame.html index 15fc1a3..6b2f6d8 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-frame.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-frame.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto.preferences - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-summary.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-summary.html index a3cc722..f639bdf 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-summary.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-summary.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto.preferences - + @@ -44,7 +44,7 @@
    • Frames
      • @@ -113,7 +113,7 @@

      Package com.ensoftcorp.open.pointsto.pref
      • Frames
        • diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-tree.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-tree.html index f00dfdf..0bb9298 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-tree.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-tree.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto.preferences Class Hierarchy - + @@ -44,7 +44,7 @@
        • Frames
          • @@ -112,7 +112,7 @@

          Class Hierarchy

          • Frames
            • diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-use.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-use.html index 0c2788e..7cb88a3 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-use.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-use.html @@ -2,9 +2,9 @@ - + Uses of Package com.ensoftcorp.open.pointsto.preferences - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/PointsToPreferencesPage.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/PointsToPreferencesPage.html deleted file mode 100644 index 90c500a..0000000 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/PointsToPreferencesPage.html +++ /dev/null @@ -1,357 +0,0 @@ - - - - - -PointsToPreferencesPage - - - - - - - - -
            - - -
            Skip navigation links
            - - - - -
            -
            -
              -
            • Prev Class
              • -
            • Next Class
              • -
            - - -
            - -
            -
            - - -
            - - -
            - - -
            -
            com.ensoftcorp.open.pointsto.ui
            -

            Class PointsToPreferencesPage

            -
            -
            -
              -
            • java.lang.Object
              • -
            • -
                -
              • org.eclipse.jface.dialogs.DialogPage
                • -
              • -
                  -
                • org.eclipse.jface.preference.PreferencePage
                  • -
                • -
                    -
                  • org.eclipse.jface.preference.FieldEditorPreferencePage
                    • -
                  • -
                      -
                    • com.ensoftcorp.open.pointsto.ui.PointsToPreferencesPage
                      • -
                    -
                    • -
                  -
                  • -
                -
                • -
              -
              • -
            -
            -
              -
            • -
              -
              All Implemented Interfaces:
              -
              java.util.EventListener, org.eclipse.jface.dialogs.IDialogPage, org.eclipse.jface.dialogs.IMessageProvider, org.eclipse.jface.preference.IPreferencePage, org.eclipse.jface.util.IPropertyChangeListener, org.eclipse.ui.IWorkbenchPreferencePage
              -
              -
              -
              -
              public class PointsToPreferencesPage
-extends org.eclipse.jface.preference.FieldEditorPreferencePage
-implements org.eclipse.ui.IWorkbenchPreferencePage
              -
              UI for setting points-to analysis preferences
              -
              -
              Author:
              -
              Ben Holland
              -
              -
              • -
            -
            -
            -
              -
            • - -
                -
              • - - -

                Field Summary

                -
                  -
                • - - -

                  Fields inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage

                  -FLAT, GRID
                  • -
                -
                  -
                • - - -

                  Fields inherited from interface org.eclipse.jface.dialogs.IMessageProvider

                  -ERROR, INFORMATION, NONE, WARNING
                  • -
                -
                • -
              - - - -
                -
              • - - -

                Method Summary

                - - - - - - - - - - -
                All Methods Instance Methods Concrete Methods 
                Modifier and TypeMethod and Description
                voidinit(org.eclipse.ui.IWorkbench workbench) 
                -
                  -
                • - - -

                  Methods inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage

                  -dispose, performOk, propertyChange, setVisible
                  • -
                -
                  -
                • - - -

                  Methods inherited from class org.eclipse.jface.preference.PreferencePage

                  -applyData, computeSize, createControl, getContainer, getPreferenceStore, isValid, okToLeave, performCancel, performHelp, setContainer, setErrorMessage, setMessage, setPreferenceStore, setSize, setTitle, setValid, toString
                  • -
                -
                  -
                • - - -

                  Methods inherited from class org.eclipse.jface.dialogs.DialogPage

                  -getControl, getDescription, getErrorMessage, getImage, getMessage, getMessageType, getShell, getTitle, setDescription, setImageDescriptor, setMessage
                  • -
                -
                  -
                • - - -

                  Methods inherited from class java.lang.Object

                  -equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
                  • -
                -
                  -
                • - - -

                  Methods inherited from interface org.eclipse.jface.preference.IPreferencePage

                  -computeSize, isValid, okToLeave, performCancel, performOk, setContainer, setSize
                  • -
                -
                  -
                • - - -

                  Methods inherited from interface org.eclipse.jface.dialogs.IDialogPage

                  -createControl, dispose, getControl, getDescription, getErrorMessage, getImage, getMessage, getTitle, performHelp, setDescription, setImageDescriptor, setTitle, setVisible
                  • -
                -
                • -
              -
              • -
            -
            -
            -
              -
            • - -
                -
              • - - -

                Constructor Detail

                - - - -
                  -
                • -

                  PointsToPreferencesPage

                  -
                  public PointsToPreferencesPage()
                  -
                  • -
                -
                • -
              - -
                -
              • - - -

                Method Detail

                - - - -
                  -
                • -

                  init

                  -
                  public void init(org.eclipse.ui.IWorkbench workbench)
                  -
                  -
                  Specified by:
                  -
                  init in interface org.eclipse.ui.IWorkbenchPreferencePage
                  -
                  -
                  • -
                -
                • -
              -
              • -
            -
            -
            - - -
            - - -
            Skip navigation links
            - - - - -
            -
            -
              -
            • Prev Class
              • -
            • Next Class
              • -
            - - -
            - -
            -
            - - -
            - - -
            - - - diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/class-use/PointsToPreferencesPage.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/class-use/PointsToPreferencesPage.html deleted file mode 100644 index b1c4941..0000000 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/class-use/PointsToPreferencesPage.html +++ /dev/null @@ -1,124 +0,0 @@ - - - - - -Uses of Class com.ensoftcorp.open.pointsto.ui.PointsToPreferencesPage - - - - - - - - -
            - - -
            Skip navigation links
            - - - - -
            -
            -
              -
            • Prev
              • -
            • Next
              • -
            - - -
            - -
            - - -
            - -
            -

            Uses of Class
            com.ensoftcorp.open.pointsto.ui.PointsToPreferencesPage

            -
            -
            No usage of com.ensoftcorp.open.pointsto.ui.PointsToPreferencesPage
            - -
            - - -
            Skip navigation links
            - - - - -
            -
            -
              -
            • Prev
              • -
            • Next
              • -
            - - -
            - -
            - - -
            - - - diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/package-frame.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/package-frame.html deleted file mode 100644 index cf7383e..0000000 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/package-frame.html +++ /dev/null @@ -1,20 +0,0 @@ - - - - - -com.ensoftcorp.open.pointsto.ui - - - - - -

            com.ensoftcorp.open.pointsto.ui

            -
            -

            Classes

            - -
            - - diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/package-summary.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/package-summary.html deleted file mode 100644 index 94bb086..0000000 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/package-summary.html +++ /dev/null @@ -1,144 +0,0 @@ - - - - - -com.ensoftcorp.open.pointsto.ui - - - - - - - - -
            - - -
            Skip navigation links
            - - - - -
            -
            - - - -
            - -
            - - -
            - -
            -

            Package com.ensoftcorp.open.pointsto.ui

            -
            -
            -
              -
            • - - - - - - - - - - - - -
              Class Summary 
              ClassDescription
              PointsToPreferencesPage -
              UI for setting points-to analysis preferences
              -
              -
              • -
            -
            - -
            - - -
            Skip navigation links
            - - - - -
            -
            - - - -
            - -
            - - -
            - - - diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/package-tree.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/package-tree.html deleted file mode 100644 index 17f4c6d..0000000 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/package-tree.html +++ /dev/null @@ -1,149 +0,0 @@ - - - - - -com.ensoftcorp.open.pointsto.ui Class Hierarchy - - - - - - - - -
            - - -
            Skip navigation links
            - - - - -
            -
            - - - -
            - -
            - - -
            - -
            -

            Hierarchy For Package com.ensoftcorp.open.pointsto.ui

            -Package Hierarchies: - -
            -
            -

            Class Hierarchy

            -
              -
            • java.lang.Object -
                -
              • org.eclipse.jface.dialogs.DialogPage (implements org.eclipse.jface.dialogs.IDialogPage, org.eclipse.jface.dialogs.IMessageProvider) -
                  -
                • org.eclipse.jface.preference.PreferencePage (implements org.eclipse.jface.preference.IPreferencePage) -
                    -
                  • org.eclipse.jface.preference.FieldEditorPreferencePage (implements org.eclipse.jface.util.IPropertyChangeListener) - -
                    • -
                  -
                  • -
                -
                • -
              -
              • -
            -
            - -
            - - -
            Skip navigation links
            - - - - -
            -
            - - - -
            - -
            - - -
            - - - diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/package-use.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/package-use.html deleted file mode 100644 index 63e1e1f..0000000 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/package-use.html +++ /dev/null @@ -1,124 +0,0 @@ - - - - - -Uses of Package com.ensoftcorp.open.pointsto.ui - - - - - - - - -
            - - -
            Skip navigation links
            - - - - -
            -
            -
              -
            • Prev
              • -
            • Next
              • -
            - - -
            - -
            - - -
            - -
            -

            Uses of Package
            com.ensoftcorp.open.pointsto.ui

            -
            -
            No usage of com.ensoftcorp.open.pointsto.ui
            - -
            - - -
            Skip navigation links
            - - - - -
            -
            -
              -
            • Prev
              • -
            • Next
              • -
            - - -
            - -
            - - -
            - - - diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/PointsToAliasesSmartView.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/PointsToAliasesSmartView.html deleted file mode 100644 index 04912ca..0000000 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/PointsToAliasesSmartView.html +++ /dev/null @@ -1,393 +0,0 @@ - - - - - -PointsToAliasesSmartView - - - - - - - - -
            - - -
            Skip navigation links
            - - - - -
            -
            - - - -
            - -
            -
            -
              -
            • Summary: 
              • -
            • Nested | 
              • -
            • Field | 
              • -
            • Constr | 
              • -
            • Method
              • -
            - -
            - - -
            - - -
            -
            com.ensoftcorp.open.pointsto.ui.smart
            -

            Class PointsToAliasesSmartView

            -
            -
            -
              -
            • java.lang.Object
              • -
            • -
                -
              • com.ensoftcorp.atlas.ui.scripts.selections.AbstractAtlasSmartViewScript
                • -
              • -
                  -
                • com.ensoftcorp.atlas.ui.scripts.selections.FilteringAtlasSmartViewScript
                  • -
                • -
                    -
                  • com.ensoftcorp.open.pointsto.ui.smart.PointsToAliasesSmartView
                    • -
                  -
                  • -
                -
                • -
              -
              • -
            -
            -
              -
            • -
              -
              All Implemented Interfaces:
              -
              com.ensoftcorp.atlas.ui.scripts.selections.AtlasSmartViewScript, com.ensoftcorp.atlas.ui.scripts.selections.IExplorableScript, com.ensoftcorp.atlas.ui.scripts.selections.IResizableScript
              -
              -
              -
              -
              public class PointsToAliasesSmartView
-extends com.ensoftcorp.atlas.ui.scripts.selections.FilteringAtlasSmartViewScript
-implements com.ensoftcorp.atlas.ui.scripts.selections.IResizableScript, com.ensoftcorp.atlas.ui.scripts.selections.IExplorableScript
              -
              • -
            -
            -
            -
              -
            • - -
                -
              • - - -

                Field Summary

                -
                  -
                • - - -

                  Fields inherited from interface com.ensoftcorp.atlas.ui.scripts.selections.IResizableScript

                  -MAX_STEP
                  • -
                -
                • -
              - - - -
                -
              • - - -

                Method Summary

                - - - - - - - - - - - - - - - - - - - - - - - - - - -
                All Methods Instance Methods Concrete Methods 
                Modifier and TypeMethod and Description
                com.ensoftcorp.atlas.core.script.FrontierStyledResultevaluate(com.ensoftcorp.atlas.ui.selection.event.IAtlasSelectionEvent event, - int reverse, - int forward) 
                com.ensoftcorp.atlas.core.script.FrontierStyledResultexplore(com.ensoftcorp.atlas.ui.selection.event.FrontierEdgeExploreEvent event, - com.ensoftcorp.atlas.core.script.FrontierStyledResult oldResult) 
                intgetDefaultStepBottom() 
                intgetDefaultStepTop() 
                java.lang.StringgetTitle() 
                -
                  -
                • - - -

                  Methods inherited from class com.ensoftcorp.atlas.ui.scripts.selections.FilteringAtlasSmartViewScript

                  -selectionChanged, selectionChanged
                  • -
                -
                  -
                • - - -

                  Methods inherited from class com.ensoftcorp.atlas.ui.scripts.selections.AbstractAtlasSmartViewScript

                  -indexChanged, indexCleared
                  • -
                -
                  -
                • - - -

                  Methods inherited from class java.lang.Object

                  -equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
                  • -
                -
                • -
              -
              • -
            -
            -
            -
              -
            • - -
                -
              • - - -

                Constructor Detail

                - - - -
                  -
                • -

                  PointsToAliasesSmartView

                  -
                  public PointsToAliasesSmartView()
                  -
                  • -
                -
                • -
              - -
                -
              • - - -

                Method Detail

                - - - -
                  -
                • -

                  getTitle

                  -
                  public java.lang.String getTitle()
                  -
                  -
                  Specified by:
                  -
                  getTitle in interface com.ensoftcorp.atlas.ui.scripts.selections.AtlasSmartViewScript
                  -
                  -
                  • -
                - - - -
                  -
                • -

                  explore

                  -
                  public com.ensoftcorp.atlas.core.script.FrontierStyledResult explore(com.ensoftcorp.atlas.ui.selection.event.FrontierEdgeExploreEvent event,
-                                                                     com.ensoftcorp.atlas.core.script.FrontierStyledResult oldResult)
                  -
                  -
                  Specified by:
                  -
                  explore in interface com.ensoftcorp.atlas.ui.scripts.selections.IExplorableScript
                  -
                  -
                  • -
                - - - -
                  -
                • -

                  evaluate

                  -
                  public com.ensoftcorp.atlas.core.script.FrontierStyledResult evaluate(com.ensoftcorp.atlas.ui.selection.event.IAtlasSelectionEvent event,
-                                                                      int reverse,
-                                                                      int forward)
                  -
                  -
                  Specified by:
                  -
                  evaluate in interface com.ensoftcorp.atlas.ui.scripts.selections.IResizableScript
                  -
                  -
                  • -
                - - - -
                  -
                • -

                  getDefaultStepBottom

                  -
                  public int getDefaultStepBottom()
                  -
                  -
                  Specified by:
                  -
                  getDefaultStepBottom in interface com.ensoftcorp.atlas.ui.scripts.selections.IResizableScript
                  -
                  -
                  • -
                - - - -
                  -
                • -

                  getDefaultStepTop

                  -
                  public int getDefaultStepTop()
                  -
                  -
                  Specified by:
                  -
                  getDefaultStepTop in interface com.ensoftcorp.atlas.ui.scripts.selections.IResizableScript
                  -
                  -
                  • -
                -
                • -
              -
              • -
            -
            -
            - - -
            - - -
            Skip navigation links
            - - - - -
            -
            - - - -
            - -
            -
            -
              -
            • Summary: 
              • -
            • Nested | 
              • -
            • Field | 
              • -
            • Constr | 
              • -
            • Method
              • -
            - -
            - - -
            - - - diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/PointsToArrayComponentAliasesSmartView.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/PointsToArrayComponentAliasesSmartView.html deleted file mode 100644 index 26f6939..0000000 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/PointsToArrayComponentAliasesSmartView.html +++ /dev/null @@ -1,393 +0,0 @@ - - - - - -PointsToArrayComponentAliasesSmartView - - - - - - - - -
            - - -
            Skip navigation links
            - - - - -
            -
            - - - -
            - -
            -
            -
              -
            • Summary: 
              • -
            • Nested | 
              • -
            • Field | 
              • -
            • Constr | 
              • -
            • Method
              • -
            - -
            - - -
            - - -
            -
            com.ensoftcorp.open.pointsto.ui.smart
            -

            Class PointsToArrayComponentAliasesSmartView

            -
            -
            -
              -
            • java.lang.Object
              • -
            • -
                -
              • com.ensoftcorp.atlas.ui.scripts.selections.AbstractAtlasSmartViewScript
                • -
              • -
                  -
                • com.ensoftcorp.atlas.ui.scripts.selections.FilteringAtlasSmartViewScript
                  • -
                • -
                    -
                  • com.ensoftcorp.open.pointsto.ui.smart.PointsToArrayComponentAliasesSmartView
                    • -
                  -
                  • -
                -
                • -
              -
              • -
            -
            -
              -
            • -
              -
              All Implemented Interfaces:
              -
              com.ensoftcorp.atlas.ui.scripts.selections.AtlasSmartViewScript, com.ensoftcorp.atlas.ui.scripts.selections.IExplorableScript, com.ensoftcorp.atlas.ui.scripts.selections.IResizableScript
              -
              -
              -
              -
              public class PointsToArrayComponentAliasesSmartView
-extends com.ensoftcorp.atlas.ui.scripts.selections.FilteringAtlasSmartViewScript
-implements com.ensoftcorp.atlas.ui.scripts.selections.IResizableScript, com.ensoftcorp.atlas.ui.scripts.selections.IExplorableScript
              -
              • -
            -
            -
            -
              -
            • - -
                -
              • - - -

                Field Summary

                -
                  -
                • - - -

                  Fields inherited from interface com.ensoftcorp.atlas.ui.scripts.selections.IResizableScript

                  -MAX_STEP
                  • -
                -
                • -
              - - - -
                -
              • - - -

                Method Summary

                - - - - - - - - - - - - - - - - - - - - - - - - - - -
                All Methods Instance Methods Concrete Methods 
                Modifier and TypeMethod and Description
                com.ensoftcorp.atlas.core.script.FrontierStyledResultevaluate(com.ensoftcorp.atlas.ui.selection.event.IAtlasSelectionEvent event, - int reverse, - int forward) 
                com.ensoftcorp.atlas.core.script.FrontierStyledResultexplore(com.ensoftcorp.atlas.ui.selection.event.FrontierEdgeExploreEvent event, - com.ensoftcorp.atlas.core.script.FrontierStyledResult oldResult) 
                intgetDefaultStepBottom() 
                intgetDefaultStepTop() 
                java.lang.StringgetTitle() 
                -
                  -
                • - - -

                  Methods inherited from class com.ensoftcorp.atlas.ui.scripts.selections.FilteringAtlasSmartViewScript

                  -selectionChanged, selectionChanged
                  • -
                -
                  -
                • - - -

                  Methods inherited from class com.ensoftcorp.atlas.ui.scripts.selections.AbstractAtlasSmartViewScript

                  -indexChanged, indexCleared
                  • -
                -
                  -
                • - - -

                  Methods inherited from class java.lang.Object

                  -equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
                  • -
                -
                • -
              -
              • -
            -
            -
            -
              -
            • - -
                -
              • - - -

                Constructor Detail

                - - - -
                  -
                • -

                  PointsToArrayComponentAliasesSmartView

                  -
                  public PointsToArrayComponentAliasesSmartView()
                  -
                  • -
                -
                • -
              - -
                -
              • - - -

                Method Detail

                - - - -
                  -
                • -

                  getTitle

                  -
                  public java.lang.String getTitle()
                  -
                  -
                  Specified by:
                  -
                  getTitle in interface com.ensoftcorp.atlas.ui.scripts.selections.AtlasSmartViewScript
                  -
                  -
                  • -
                - - - -
                  -
                • -

                  explore

                  -
                  public com.ensoftcorp.atlas.core.script.FrontierStyledResult explore(com.ensoftcorp.atlas.ui.selection.event.FrontierEdgeExploreEvent event,
-                                                                     com.ensoftcorp.atlas.core.script.FrontierStyledResult oldResult)
                  -
                  -
                  Specified by:
                  -
                  explore in interface com.ensoftcorp.atlas.ui.scripts.selections.IExplorableScript
                  -
                  -
                  • -
                - - - -
                  -
                • -

                  evaluate

                  -
                  public com.ensoftcorp.atlas.core.script.FrontierStyledResult evaluate(com.ensoftcorp.atlas.ui.selection.event.IAtlasSelectionEvent event,
-                                                                      int reverse,
-                                                                      int forward)
                  -
                  -
                  Specified by:
                  -
                  evaluate in interface com.ensoftcorp.atlas.ui.scripts.selections.IResizableScript
                  -
                  -
                  • -
                - - - -
                  -
                • -

                  getDefaultStepBottom

                  -
                  public int getDefaultStepBottom()
                  -
                  -
                  Specified by:
                  -
                  getDefaultStepBottom in interface com.ensoftcorp.atlas.ui.scripts.selections.IResizableScript
                  -
                  -
                  • -
                - - - -
                  -
                • -

                  getDefaultStepTop

                  -
                  public int getDefaultStepTop()
                  -
                  -
                  Specified by:
                  -
                  getDefaultStepTop in interface com.ensoftcorp.atlas.ui.scripts.selections.IResizableScript
                  -
                  -
                  • -
                -
                • -
              -
              • -
            -
            -
            - - -
            - - -
            Skip navigation links
            - - - - -
            -
            - - - -
            - -
            -
            -
              -
            • Summary: 
              • -
            • Nested | 
              • -
            • Field | 
              • -
            • Constr | 
              • -
            • Method
              • -
            - -
            - - -
            - - - diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/class-use/PointsToArrayComponentAliasesSmartView.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/class-use/PointsToArrayComponentAliasesSmartView.html deleted file mode 100644 index 65418cf..0000000 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/class-use/PointsToArrayComponentAliasesSmartView.html +++ /dev/null @@ -1,124 +0,0 @@ - - - - - -Uses of Class com.ensoftcorp.open.pointsto.ui.smart.PointsToArrayComponentAliasesSmartView - - - - - - - - -
            - - -
            Skip navigation links
            - - - - -
            -
            -
              -
            • Prev
              • -
            • Next
              • -
            - - -
            - -
            - - -
            - -
            -

            Uses of Class
            com.ensoftcorp.open.pointsto.ui.smart.PointsToArrayComponentAliasesSmartView

            -
            -
            No usage of com.ensoftcorp.open.pointsto.ui.smart.PointsToArrayComponentAliasesSmartView
            - -
            - - -
            Skip navigation links
            - - - - -
            -
            -
              -
            • Prev
              • -
            • Next
              • -
            - - -
            - -
            - - -
            - - - diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/package-frame.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/package-frame.html deleted file mode 100644 index 39db169..0000000 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/package-frame.html +++ /dev/null @@ -1,21 +0,0 @@ - - - - - -com.ensoftcorp.open.pointsto.ui.smart - - - - - -

            com.ensoftcorp.open.pointsto.ui.smart

            -
            -

            Classes

            - -
            - - diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/package-summary.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/package-summary.html deleted file mode 100644 index 336172e..0000000 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/package-summary.html +++ /dev/null @@ -1,146 +0,0 @@ - - - - - -com.ensoftcorp.open.pointsto.ui.smart - - - - - - - - -
            - - -
            Skip navigation links
            - - - - -
            -
            - - - -
            - -
            - - -
            - -
            -

            Package com.ensoftcorp.open.pointsto.ui.smart

            -
            -
            - -
            - -
            - - -
            Skip navigation links
            - - - - -
            -
            - - - -
            - -
            - - -
            - - - diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/package-tree.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/package-tree.html deleted file mode 100644 index 21c499f..0000000 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/package-tree.html +++ /dev/null @@ -1,146 +0,0 @@ - - - - - -com.ensoftcorp.open.pointsto.ui.smart Class Hierarchy - - - - - - - - -
            - - -
            Skip navigation links
            - - - - -
            -
            - - - -
            - -
            - - -
            - -
            -

            Hierarchy For Package com.ensoftcorp.open.pointsto.ui.smart

            -Package Hierarchies: - -
            -
            -

            Class Hierarchy

            -
              -
            • java.lang.Object -
                -
              • com.ensoftcorp.atlas.ui.scripts.selections.AbstractAtlasSmartViewScript (implements com.ensoftcorp.atlas.ui.scripts.selections.AtlasSmartViewScript) -
                  -
                • com.ensoftcorp.atlas.ui.scripts.selections.FilteringAtlasSmartViewScript -
                    -
                  • com.ensoftcorp.open.pointsto.ui.smart.PointsToAliasesSmartView (implements com.ensoftcorp.atlas.ui.scripts.selections.IExplorableScript, com.ensoftcorp.atlas.ui.scripts.selections.IResizableScript)
                    • -
                  • com.ensoftcorp.open.pointsto.ui.smart.PointsToArrayComponentAliasesSmartView (implements com.ensoftcorp.atlas.ui.scripts.selections.IExplorableScript, com.ensoftcorp.atlas.ui.scripts.selections.IResizableScript)
                    • -
                  -
                  • -
                -
                • -
              -
              • -
            -
            - -
            - - -
            Skip navigation links
            - - - - -
            -
            - - - -
            - -
            - - -
            - - - diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/package-use.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/package-use.html deleted file mode 100644 index c0fdab4..0000000 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/package-use.html +++ /dev/null @@ -1,124 +0,0 @@ - - - - - -Uses of Package com.ensoftcorp.open.pointsto.ui.smart - - - - - - - - -
            - - -
            Skip navigation links
            - - - - -
            -
            -
              -
            • Prev
              • -
            • Next
              • -
            - - -
            - -
            - - -
            - -
            -

            Uses of Package
            com.ensoftcorp.open.pointsto.ui.smart

            -
            -
            No usage of com.ensoftcorp.open.pointsto.ui.smart
            - -
            - - -
            Skip navigation links
            - - - - -
            -
            -
              -
            • Prev
              • -
            • Next
              • -
            - - -
            - -
            - - -
            - - - diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/AddressFactory.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/AddressFactory.html index 608b382..b28ab34 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/AddressFactory.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/AddressFactory.html @@ -2,9 +2,9 @@ - + AddressFactory - + @@ -18,7 +18,7 @@ catch(err) { } //--> -var methods = {"i0":10}; +var methods = {"i0":10,"i1":10}; var tabs = {65535:["t0","All Methods"],2:["t2","Instance Methods"],8:["t4","Concrete Methods"]}; var altColor = "altColor"; var rowColor = "rowColor"; @@ -158,6 +158,10 @@

            Method Summary

            int getNewAddress()  + +int +peekCurrentAddress()  +
            • @@ -200,12 +204,21 @@

              Method Detail

               -
                +

                • getNewAddress

                  public int getNewAddress()
                + + + +
                  +
                • +

                  peekCurrentAddress

                  +
                  public int peekCurrentAddress()
                  +
                  • +
              • diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/AnalysisUtilities.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/AnalysisUtilities.html index 84b71da..f24064c 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/AnalysisUtilities.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/AnalysisUtilities.html @@ -2,9 +2,9 @@ - + AnalysisUtilities - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/GraphEnhancements.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/GraphEnhancements.html index 600acb4..759cb42 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/GraphEnhancements.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/GraphEnhancements.html @@ -2,9 +2,9 @@ - + GraphEnhancements - + @@ -18,7 +18,7 @@ catch(err) { } //--> -var methods = {"i0":9,"i1":9,"i2":9,"i3":9,"i4":9}; +var methods = {"i0":9,"i1":9,"i2":9}; var tabs = {65535:["t0","All Methods"],1:["t1","Static Methods"],8:["t4","Concrete Methods"]}; var altColor = "altColor"; var rowColor = "rowColor"; @@ -157,19 +157,9 @@

              Method Summary

              static long -serializeAliases(PointsTo pointsTo) -
              Converts temporary sets to tags and attributes
              - - - -static long -serializeArrayMemoryModels(PointsTo pointsTo)  - - -static long tagInferredDataFlowEdges(PointsTo pointsTo)  - + static long tagInferredTypeOfEdges(PointsTo pointsTo)  @@ -230,37 +220,15 @@

              tagInferredTypeOfEdges

              public static long tagInferredTypeOfEdges(PointsTo pointsTo)
            - - - -
              -
            • -

              serializeArrayMemoryModels

              -
              public static long serializeArrayMemoryModels(PointsTo pointsTo)
              -
              • -
            -
              +

              • rewriteArrayComponents

                public static long rewriteArrayComponents(PointsTo pointsTo)
              - - - -
                -
              • -

                serializeAliases

                -
                public static long serializeAliases(PointsTo pointsTo)
                -
                Converts temporary sets to tags and attributes
                -
                -
                Returns:
                -
                -
                • -
            diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/SubtypeCache.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/SubtypeCache.html index 62686ea..e571c3c 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/SubtypeCache.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/SubtypeCache.html @@ -2,9 +2,9 @@ - + SubtypeCache - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/AddressFactory.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/AddressFactory.html index 5d870b8..2866587 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/AddressFactory.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/AddressFactory.html @@ -2,9 +2,9 @@ - + Uses of Class com.ensoftcorp.open.pointsto.utilities.AddressFactory - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/AnalysisUtilities.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/AnalysisUtilities.html index 4959071..1312d9d 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/AnalysisUtilities.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/AnalysisUtilities.html @@ -2,9 +2,9 @@ - + Uses of Class com.ensoftcorp.open.pointsto.utilities.AnalysisUtilities - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/GraphEnhancements.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/GraphEnhancements.html index 432fd74..a6595fb 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/GraphEnhancements.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/GraphEnhancements.html @@ -2,9 +2,9 @@ - + Uses of Class com.ensoftcorp.open.pointsto.utilities.GraphEnhancements - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/SubtypeCache.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/SubtypeCache.html index 251dbb4..c8f4cdf 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/SubtypeCache.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/SubtypeCache.html @@ -2,9 +2,9 @@ - + Uses of Class com.ensoftcorp.open.pointsto.utilities.SubtypeCache - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/FIFOFrontier.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/FIFOFrontier.html index 7208a70..651bb5b 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/FIFOFrontier.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/FIFOFrontier.html @@ -2,9 +2,9 @@ - + FIFOFrontier - + @@ -183,12 +183,12 @@

            Method Summary

            E next() -
            Returns (and removes) the next element from the frontier in Least - Recently Used (LRU) order
            +
            Returns (and removes) the next element from the frontier in First in First out + (FIFO) order
            -int +long size()
            Returns the number of elements in this frontier set (its cardinality).
            @@ -275,8 +275,8 @@

            hasNext

          • next

            public E next()
            -
            Returns (and removes) the next element from the frontier in Least - Recently Used (LRU) order
            +
            Returns (and removes) the next element from the frontier in First in First out + (FIFO) order
            Specified by:
            next in interface Frontier<E>
            @@ -311,9 +311,11 @@

            add

            • size

              -
              public int size()
              +
              public long size()
              Returns the number of elements in this frontier set (its cardinality).
              +
              Specified by:
              +
              size in interface Frontier<E>
              Returns:
              • diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/Frontier.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/Frontier.html index 036ba1e..210af3c 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/Frontier.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/Frontier.html @@ -2,9 +2,9 @@ - + Frontier - + @@ -18,7 +18,7 @@ catch(err) { } //--> -var methods = {"i0":6,"i1":6,"i2":6,"i3":6}; +var methods = {"i0":6,"i1":6,"i2":6,"i3":6,"i4":6}; var tabs = {65535:["t0","All Methods"],2:["t2","Instance Methods"],4:["t3","Abstract Methods"]}; var altColor = "altColor"; var rowColor = "rowColor"; @@ -50,7 +50,7 @@
              • Frames
                • @@ -105,7 +105,7 @@

                Interface Frontier<E>

            All Known Implementing Classes:
            -
            FIFOFrontier, LRUFrontier
            +
            FIFOFrontier, LIFOFrontier, LRUFrontier

            @@ -154,6 +154,12 @@

            Method Summary

            +long +size() +
            Returns the number of elements on the frontier
            + + + java.lang.String toString()
            Returns a string representation of this frontier collection.
            @@ -221,7 +227,7 @@

            add

            -
              +

              • toString

                java.lang.String toString()
                @@ -233,6 +239,19 @@

                toString

    • + + + +
      +
    • +

      size

      +
      long size()
      +
      Returns the number of elements on the frontier
      +
      +
      Returns:
      +
      +
      • +
    @@ -262,7 +281,7 @@

    toString

    • Frames
      • diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/LIFOFrontier.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/LIFOFrontier.html new file mode 100644 index 0000000..fc094c9 --- /dev/null +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/LIFOFrontier.html @@ -0,0 +1,412 @@ + + + + + +LIFOFrontier + + + + + + + + +
      + + +
      Skip navigation links
      + + + + +
      +
      + + + +
      + +
      +
      +
        +
      • Summary: 
        • +
      • Nested | 
        • +
      • Field | 
        • +
      • Constr | 
        • +
      • Method
        • +
      + +
      + + +
      + + +
      +
      com.ensoftcorp.open.pointsto.utilities.frontier
      +

      Class LIFOFrontier<E>

      +
      +
      +
        +
      • java.lang.Object
        • +
      • +
          +
        • com.ensoftcorp.open.pointsto.utilities.frontier.LIFOFrontier<E>
          • +
        +
        • +
      +
      +
        +
      • +
        +
        Type Parameters:
        +
        E -
        +
        +
        +
        All Implemented Interfaces:
        +
        Frontier<E>
        +
        +
        +
        +
        public class LIFOFrontier<E>
+extends java.lang.Object
+implements Frontier<E>
        +
        A Last In First Out based worklist
        +
        +
        Author:
        +
        Ben Holland
        +
        +
        • +
      +
      +
      +
        +
      • + +
          +
        • + + +

          Constructor Summary

          + + + + + + + + + + + +
          Constructors 
          Constructor and Description
          LIFOFrontier() +
          Creates a new frontier
          +
          LIFOFrontier(int initialCapacity) +
          Creates a new frontier with the given initial capacity
          +
          +
          • +
        + +
          +
        • + + +

          Method Summary

          + + + + + + + + + + + + + + + + + + + + + + + + + + +
          All Methods Instance Methods Concrete Methods 
          Modifier and TypeMethod and Description
          booleanadd(E e) +
          Adds the element to the end of frontier, if the element already exists + the frontier is left unchanged.
          +
          booleanhasNext() +
          Returns true if the frontier is not empty, false otherwise
          +
          Enext() +
          Returns (and removes) the next element from the frontier in Last in First out (LIFO) order
          +
          longsize() +
          Returns the number of elements in this frontier set (its cardinality).
          +
          java.lang.StringtoString() +
          Returns a string representation of this frontier collection.
          +
          +
            +
          • + + +

            Methods inherited from class java.lang.Object

            +equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
            • +
          +
          • +
        +
        • +
      +
      +
      +
        +
      • + +
          +
        • + + +

          Constructor Detail

          + + + +
            +
          • +

            LIFOFrontier

            +
            public LIFOFrontier()
            +
            Creates a new frontier
            +
            • +
          + + + +
            +
          • +

            LIFOFrontier

            +
            public LIFOFrontier(int initialCapacity)
            +
            Creates a new frontier with the given initial capacity
            +
            +
            Parameters:
            +
            initialCapacity -
            +
            +
            • +
          +
          • +
        + +
          +
        • + + +

          Method Detail

          + + + +
            +
          • +

            hasNext

            +
            public boolean hasNext()
            +
            Returns true if the frontier is not empty, false otherwise
            +
            +
            Specified by:
            +
            hasNext in interface Frontier<E>
            +
            Returns:
            +
            +
            • +
          + + + +
            +
          • +

            next

            +
            public E next()
            +
            Returns (and removes) the next element from the frontier in Last in First out (LIFO) order
            +
            +
            Specified by:
            +
            next in interface Frontier<E>
            +
            Returns:
            +
            +
            • +
          + + + + + +
            +
          • +

            add

            +
            public boolean add(E e)
            +
            Adds the element to the end of frontier, if the element already exists + the frontier is left unchanged. Returns true if the element was added, + false if the element already existed.
            +
            +
            Specified by:
            +
            add in interface Frontier<E>
            +
            Parameters:
            +
            e -
            +
            Returns:
            +
            +
            • +
          + + + +
            +
          • +

            size

            +
            public long size()
            +
            Returns the number of elements in this frontier set (its cardinality).
            +
            +
            Specified by:
            +
            size in interface Frontier<E>
            +
            Returns:
            +
            +
            • +
          + + + +
            +
          • +

            toString

            +
            public java.lang.String toString()
            +
            Returns a string representation of this frontier collection. The string + representation consists of a list of the collection's elements in the + order they are returned by its iterator, enclosed in square brackets + ("[]"). Adjacent elements are separated by the characters ", " (comma and + space). Elements are converted to strings as by String.valueOf(Object).
            +
            +
            Specified by:
            +
            toString in interface Frontier<E>
            +
            Overrides:
            +
            toString in class java.lang.Object
            +
            Returns:
            +
            +
            • +
          +
          • +
        +
        • +
      +
      +
      + + +
      + + +
      Skip navigation links
      + + + + +
      +
      + + + +
      + +
      +
      +
        +
      • Summary: 
        • +
      • Nested | 
        • +
      • Field | 
        • +
      • Constr | 
        • +
      • Method
        • +
      + +
      + + +
      + + + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/LRUFrontier.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/LRUFrontier.html index 65cce02..a24d92f 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/LRUFrontier.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/LRUFrontier.html @@ -2,9 +2,9 @@ - + LRUFrontier - + @@ -49,7 +49,7 @@
      @@ -188,7 +188,7 @@

      Method Summary

      -int +long size()
      Returns the number of elements in this frontier set (its cardinality).
      @@ -311,9 +311,11 @@

      add

      • size

        -
        public int size()
        +
        public long size()
        Returns the number of elements in this frontier set (its cardinality).
        +
        Specified by:
        +
        size in interface Frontier<E>
        Returns:
        • @@ -367,7 +369,7 @@

        toString

      diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/class-use/FIFOFrontier.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/class-use/FIFOFrontier.html index a1bc191..789c466 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/class-use/FIFOFrontier.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/class-use/FIFOFrontier.html @@ -2,9 +2,9 @@ - + Uses of Class com.ensoftcorp.open.pointsto.utilities.frontier.FIFOFrontier - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/class-use/Frontier.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/class-use/Frontier.html index c8a6a75..c870016 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/class-use/Frontier.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/class-use/Frontier.html @@ -2,9 +2,9 @@ - + Uses of Interface com.ensoftcorp.open.pointsto.utilities.frontier.Frontier - + @@ -110,6 +110,12 @@

      Uses of class  +LIFOFrontier<E> +
      A Last In First Out based worklist
      + + + +class  LRUFrontier<E>
      A Least Recently Used based worklist
      diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/class-use/PointsToAliasesSmartView.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/class-use/LIFOFrontier.html similarity index 77% rename from com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/class-use/PointsToAliasesSmartView.html rename to com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/class-use/LIFOFrontier.html index 868307e..0a5dfc8 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/class-use/PointsToAliasesSmartView.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/class-use/LIFOFrontier.html @@ -2,9 +2,9 @@ - -Uses of Class com.ensoftcorp.open.pointsto.ui.smart.PointsToAliasesSmartView - + +Uses of Class com.ensoftcorp.open.pointsto.utilities.frontier.LIFOFrontier + @@ -12,7 +12,7 @@ diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/package-frame.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/package-frame.html index 6293fbc..dfd09b5 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/package-frame.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/package-frame.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto.utilities.frontier - + @@ -18,6 +18,7 @@

      Interfaces

      Classes

    diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/package-summary.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/package-summary.html index 9bc870c..4156218 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/package-summary.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/package-summary.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto.utilities.frontier - + @@ -107,6 +107,12 @@

    Package com.ensoftcorp.open.pointsto.util +LIFOFrontier<E> + +
    A Last In First Out based worklist
    + + + LRUFrontier<E>
    A Least Recently Used based worklist
    diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/package-tree.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/package-tree.html index 9f66f70..b5bb8d9 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/package-tree.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/package-tree.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto.utilities.frontier Class Hierarchy - + @@ -82,6 +82,7 @@

    Class Hierarchy

  • java.lang.Object
    • com.ensoftcorp.open.pointsto.utilities.frontier.FIFOFrontier<E> (implements com.ensoftcorp.open.pointsto.utilities.frontier.Frontier<E>)
      • +
    • com.ensoftcorp.open.pointsto.utilities.frontier.LIFOFrontier<E> (implements com.ensoftcorp.open.pointsto.utilities.frontier.Frontier<E>)
    • com.ensoftcorp.open.pointsto.utilities.frontier.LRUFrontier<E> (implements com.ensoftcorp.open.pointsto.utilities.frontier.Frontier<E>)
    • diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/package-use.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/package-use.html index 72a8d6d..e2bb07d 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/package-use.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/package-use.html @@ -2,9 +2,9 @@ - + Uses of Package com.ensoftcorp.open.pointsto.utilities.frontier - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/package-frame.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/package-frame.html index 0b4c330..3ef4e53 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/package-frame.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/package-frame.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto.utilities - + diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/package-summary.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/package-summary.html index b5da9c5..606569a 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/package-summary.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/package-summary.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto.utilities - + @@ -43,7 +43,7 @@
      @@ -132,7 +132,7 @@

      Package com.ensoftcorp.open.pointsto.util

      diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/package-tree.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/package-tree.html index 74c0e11..05f3a0d 100644 --- a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/package-tree.html +++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/package-tree.html @@ -2,9 +2,9 @@ - + com.ensoftcorp.open.pointsto.utilities Class Hierarchy - + @@ -43,7 +43,7 @@
      @@ -110,7 +110,7 @@

      Class Hierarchy