joeq.Compiler.Quad
Class AndersenPointerAnalysis.AccessPath

java.lang.Object
  extended by joeq.Compiler.Quad.AndersenPointerAnalysis.AccessPath
Enclosing class:
AndersenPointerAnalysis

public static class AndersenPointerAnalysis.AccessPath
extends Object


Constructor Summary
AndersenPointerAnalysis.AccessPath()
           
 
Method Summary
static AndersenPointerAnalysis.AccessPath create(jq_Field f, MethodSummary.Node node, AndersenPointerAnalysis.AccessPath n)
           
 boolean equals(AndersenPointerAnalysis.AccessPath that)
           
 boolean equals(Object o)
           
 AndersenPointerAnalysis.AccessPath findNode(MethodSummary.Node node)
           
 jq_Field first()
           
 int hashCode()
           
 int length()
           
 AndersenPointerAnalysis.AccessPath next()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

AndersenPointerAnalysis.AccessPath

public AndersenPointerAnalysis.AccessPath()
Method Detail

length

public int length()

first

public jq_Field first()

next

public AndersenPointerAnalysis.AccessPath next()

toString

public String toString()
Overrides:
toString in class Object

equals

public boolean equals(Object o)
Overrides:
equals in class Object

equals

public boolean equals(AndersenPointerAnalysis.AccessPath that)

hashCode

public int hashCode()
Overrides:
hashCode in class Object

findNode

public AndersenPointerAnalysis.AccessPath findNode(MethodSummary.Node node)

create

public static AndersenPointerAnalysis.AccessPath create(jq_Field f,
                                                        MethodSummary.Node node,
                                                        AndersenPointerAnalysis.AccessPath n)


Copyright © 2001-2008 John Whaley. All Rights Reserved.