joeq.Compiler.Quad
Class AndersenPointerAnalysis.AccessPath

java.lang.Object
  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)