joeq.Compiler.Analysis.IPA
Class PAProxy

java.lang.Object
  extended by joeq.Compiler.Analysis.IPA.PAProxy

public class PAProxy
extends Object


Field Summary
 net.sf.javabdd.BDD A
           
 net.sf.javabdd.BDD actual
           
 boolean ADD_CLINIT
           
 boolean ADD_FINALIZERS
           
 boolean ADD_THREADS
           
 net.sf.javabdd.BDD aT
           
 net.sf.javabdd.BDDFactory bdd
           
 int bddcache
           
 int bddnodes
           
static String callgraphFileName
           
 boolean CARTESIAN_PRODUCT
           
 CallGraph cg
           
 net.sf.javabdd.BDD cha
           
 jq_Class cloneable_class
           
 boolean CONTEXT_SENSITIVE
           
 boolean CS_CALLGRAPH
           
 boolean DISCOVER_CALL_GRAPH
           
 boolean DUMP_DOTGRAPH
           
 net.sf.javabdd.BDDDomain F
           
 int F_BITS
           
 net.sf.javabdd.BDD fC
           
 boolean FILTER_HP
           
 boolean FILTER_NULL
           
 boolean FILTER_VP
           
 jq_NameAndDesc finalizer_method
           
 jwutil.collections.IndexMap Fmap
           
 net.sf.javabdd.BDD formal
           
 net.sf.javabdd.BDDVarSet Fset
           
 net.sf.javabdd.BDD fT
           
 int H_BITS
           
 net.sf.javabdd.BDDDomain H1
           
 net.sf.javabdd.BDDDomain[] H1c
           
 net.sf.javabdd.BDD H1cdomain
           
 net.sf.javabdd.BDDVarSet H1cH2cset
           
 net.sf.javabdd.BDDVarSet H1cset
           
 net.sf.javabdd.BDDVarSet H1FH2set
           
 net.sf.javabdd.BDDVarSet H1Fset
           
 net.sf.javabdd.BDDVarSet H1H2set
           
 net.sf.javabdd.BDDVarSet H1set
           
 net.sf.javabdd.BDDPairing H1toH2
           
 net.sf.javabdd.BDDPairing[] H1toV1c
           
 net.sf.javabdd.BDDDomain H2
           
 net.sf.javabdd.BDDDomain[] H2c
           
 net.sf.javabdd.BDD H2cdomain
           
 net.sf.javabdd.BDDVarSet H2cset
           
 net.sf.javabdd.BDDVarSet H2Fset
           
 net.sf.javabdd.BDDVarSet H2set
           
 net.sf.javabdd.BDDPairing H2toH1
           
 int HC_BITS
           
 jwutil.graphs.PathNumbering hCnumbering
           
 PA.HeapPathSelector heapPathSelector
           
 jwutil.collections.IndexedMap Hmap
           
 net.sf.javabdd.BDD hP
           
 net.sf.javabdd.BDD hPfilter
           
 net.sf.javabdd.BDD hT
           
 net.sf.javabdd.BDDDomain I
           
 int I_BITS
           
 net.sf.javabdd.BDD IE
           
 net.sf.javabdd.BDD IEcs
           
 net.sf.javabdd.BDD IEfilter
           
 boolean IGNORE_EXCEPTIONS
           
 jwutil.collections.IndexMap Imap
           
 net.sf.javabdd.BDDVarSet IMset
           
 boolean INCLUDE_ALL_UNKNOWN_TYPES
           
 boolean INCLUDE_UNKNOWN_TYPES
           
 boolean INCREMENTAL1
           
 boolean INCREMENTAL2
           
 boolean INCREMENTAL3
           
 net.sf.javabdd.BDDVarSet INH1set
           
static String initialCallgraphFileName
           
 net.sf.javabdd.BDDVarSet INset
           
 net.sf.javabdd.BDDVarSet INT2set
           
 net.sf.javabdd.BDD Iret
           
 net.sf.javabdd.BDDVarSet Iset
           
 net.sf.javabdd.BDD Ithr
           
 jq_Method javaLangObject_clone
           
 jq_Method javaLangObject_fakeclone
           
 net.sf.javabdd.BDD L
           
 int last_F
           
 int last_H
           
 int last_N
           
 int last_T
           
 int last_V
           
 boolean LONG_LOCATIONS
           
 net.sf.javabdd.BDDDomain M
           
 int M_BITS
           
static jq_NameAndDesc main_method
           
static boolean MATCH_FACTORY
           
 int MAX_HC_BITS
           
 int MAX_PARAMS
           
 int MAX_VC_BITS
           
 net.sf.javabdd.BDD mI
           
 jwutil.collections.IndexMap Mmap
           
 net.sf.javabdd.BDD Mret
           
 net.sf.javabdd.BDDVarSet Mset
           
 net.sf.javabdd.BDD Mthr
           
 net.sf.javabdd.BDD mV
           
 net.sf.javabdd.BDDVarSet MZset
           
 net.sf.javabdd.BDDDomain N
           
 int N_BITS
           
 Map newMethodSummaries
           
 jwutil.collections.IndexMap Nmap
           
 net.sf.javabdd.BDD NNfilter
           
 net.sf.javabdd.BDDVarSet Nset
           
 jq_Class object_class
           
 boolean OBJECT_SENSITIVE
           
 PA.ObjectPathSelector objectPathSelector
           
 ObjectCreationGraph ocg
           
 jwutil.graphs.PathNumbering oCnumbering
           
 net.sf.javabdd.BDD old1_A
           
 net.sf.javabdd.BDD old1_hP
           
 net.sf.javabdd.BDD old1_L
           
 net.sf.javabdd.BDD old1_S
           
 net.sf.javabdd.BDD old1_vP
           
 net.sf.javabdd.BDD old2_myIE
           
 net.sf.javabdd.BDD old2_visited
           
 net.sf.javabdd.BDD old3_hT
           
 net.sf.javabdd.BDD old3_t3
           
 net.sf.javabdd.BDD old3_t4
           
 net.sf.javabdd.BDD old3_t6
           
 net.sf.javabdd.BDD[] old3_t9
           
 net.sf.javabdd.BDD old3_vP
           
 PrintStream out
           
static Set polyClasses
           
 Map rangeMap
           
static String resultsFileName
           
 boolean reverseLocal
           
 Set rootMethods
           
static jq_NameAndDesc run_method
           
 net.sf.javabdd.BDD S
           
 net.sf.javabdd.BDD staticCalls
           
 net.sf.javabdd.BDD sync
           
 int T_BITS
           
 net.sf.javabdd.BDDDomain T1
           
 net.sf.javabdd.BDDVarSet T1set
           
 net.sf.javabdd.BDDPairing T1toT2
           
 net.sf.javabdd.BDDDomain T2
           
 net.sf.javabdd.BDDVarSet T2Nset
           
 net.sf.javabdd.BDDVarSet T2set
           
 net.sf.javabdd.BDDPairing T2toT1
           
static Map thread_runs
           
 boolean THREAD_SENSITIVE
           
static boolean THREADS_ONLY
           
 jq_Class throwable_class
           
 jwutil.collections.IndexMap Tmap
           
 boolean TRACE
           
 boolean TRACE_BIND
           
 boolean TRACE_CONTEXT
           
 boolean TRACE_OBJECT
           
 boolean TRACE_RELATIONS
           
 boolean TRACE_SOLVER
           
 PA.ToString TS
           
 boolean USE_HCONTEXT
           
static boolean USE_JOEQ_CLASSLIBS
           
 boolean USE_VCONTEXT
           
 int V_BITS
           
 net.sf.javabdd.BDDDomain V1
           
 net.sf.javabdd.BDDDomain[] V1c
           
 net.sf.javabdd.BDD V1cdomain
           
 net.sf.javabdd.BDDVarSet V1cH1cset
           
 net.sf.javabdd.BDDPairing V1cH1ctoV2cV1c
           
 net.sf.javabdd.BDD[] V1cH1equals
           
 net.sf.javabdd.BDDVarSet V1cset
           
 net.sf.javabdd.BDDVarSet[] V1csets
           
 net.sf.javabdd.BDDPairing[] V1ctoH1
           
 net.sf.javabdd.BDDPairing V1ctoV2c
           
 net.sf.javabdd.BDDVarSet V1cV2cset
           
 net.sf.javabdd.BDDPairing V1cV2ctoV2cV1c
           
 net.sf.javabdd.BDDVarSet V1Fset
           
 net.sf.javabdd.BDDVarSet V1FV2set
           
 Map V1H1correspondence
           
 net.sf.javabdd.BDDVarSet V1H1set
           
 net.sf.javabdd.BDDPairing V1H1toV2H2
           
 net.sf.javabdd.BDDVarSet V1set
           
 net.sf.javabdd.BDDPairing V1toV2
           
 net.sf.javabdd.BDDVarSet V1V2set
           
 net.sf.javabdd.BDDDomain V2
           
 net.sf.javabdd.BDDDomain[] V2c
           
 net.sf.javabdd.BDD V2cdomain
           
 net.sf.javabdd.BDDVarSet V2cset
           
 net.sf.javabdd.BDDVarSet V2Fset
           
 net.sf.javabdd.BDDPairing V2H2toV1H1
           
 net.sf.javabdd.BDDVarSet V2set
           
 net.sf.javabdd.BDDPairing V2toV1
           
 String varorder
           
 PA.VarPathSelector varPathSelector
           
 int VC_BITS
           
 jwutil.graphs.PathNumbering vCnumbering
           
static boolean VerifyAssertions
           
 net.sf.javabdd.BDD visited
           
 jwutil.collections.IndexMap Vmap
           
 net.sf.javabdd.BDD vP
           
 net.sf.javabdd.BDD vPfilter
           
 net.sf.javabdd.BDD vT
           
static boolean WRITE_PARESULTS_BATCHFILE
           
 net.sf.javabdd.BDDDomain Z
           
 int Z_BITS
           
 net.sf.javabdd.BDDVarSet Zset
           
 
Constructor Summary
PAProxy(PA that)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

VerifyAssertions

public static boolean VerifyAssertions

WRITE_PARESULTS_BATCHFILE

public static boolean WRITE_PARESULTS_BATCHFILE

TRACE

public boolean TRACE

TRACE_SOLVER

public boolean TRACE_SOLVER

TRACE_BIND

public boolean TRACE_BIND

TRACE_RELATIONS

public boolean TRACE_RELATIONS

TRACE_OBJECT

public boolean TRACE_OBJECT

TRACE_CONTEXT

public boolean TRACE_CONTEXT

out

public PrintStream out

USE_JOEQ_CLASSLIBS

public static boolean USE_JOEQ_CLASSLIBS

INCREMENTAL1

public boolean INCREMENTAL1

INCREMENTAL2

public boolean INCREMENTAL2

INCREMENTAL3

public boolean INCREMENTAL3

ADD_CLINIT

public boolean ADD_CLINIT

ADD_THREADS

public boolean ADD_THREADS

ADD_FINALIZERS

public boolean ADD_FINALIZERS

IGNORE_EXCEPTIONS

public boolean IGNORE_EXCEPTIONS

FILTER_VP

public boolean FILTER_VP

FILTER_HP

public boolean FILTER_HP

CARTESIAN_PRODUCT

public boolean CARTESIAN_PRODUCT

THREAD_SENSITIVE

public boolean THREAD_SENSITIVE

OBJECT_SENSITIVE

public boolean OBJECT_SENSITIVE

CONTEXT_SENSITIVE

public boolean CONTEXT_SENSITIVE

CS_CALLGRAPH

public boolean CS_CALLGRAPH

DISCOVER_CALL_GRAPH

public boolean DISCOVER_CALL_GRAPH

DUMP_DOTGRAPH

public boolean DUMP_DOTGRAPH

FILTER_NULL

public boolean FILTER_NULL

LONG_LOCATIONS

public boolean LONG_LOCATIONS

INCLUDE_UNKNOWN_TYPES

public boolean INCLUDE_UNKNOWN_TYPES

INCLUDE_ALL_UNKNOWN_TYPES

public boolean INCLUDE_ALL_UNKNOWN_TYPES

MAX_PARAMS

public int MAX_PARAMS

bddnodes

public int bddnodes

bddcache

public int bddcache

resultsFileName

public static String resultsFileName

callgraphFileName

public static String callgraphFileName

initialCallgraphFileName

public static String initialCallgraphFileName

USE_VCONTEXT

public boolean USE_VCONTEXT

USE_HCONTEXT

public boolean USE_HCONTEXT

newMethodSummaries

public Map newMethodSummaries

rootMethods

public Set rootMethods

cg

public CallGraph cg

ocg

public ObjectCreationGraph ocg

bdd

public net.sf.javabdd.BDDFactory bdd

V1

public net.sf.javabdd.BDDDomain V1

V2

public net.sf.javabdd.BDDDomain V2

I

public net.sf.javabdd.BDDDomain I

H1

public net.sf.javabdd.BDDDomain H1

H2

public net.sf.javabdd.BDDDomain H2

Z

public net.sf.javabdd.BDDDomain Z

F

public net.sf.javabdd.BDDDomain F

T1

public net.sf.javabdd.BDDDomain T1

T2

public net.sf.javabdd.BDDDomain T2

N

public net.sf.javabdd.BDDDomain N

M

public net.sf.javabdd.BDDDomain M

V1c

public net.sf.javabdd.BDDDomain[] V1c

V2c

public net.sf.javabdd.BDDDomain[] V2c

H1c

public net.sf.javabdd.BDDDomain[] H1c

H2c

public net.sf.javabdd.BDDDomain[] H2c

V_BITS

public int V_BITS

I_BITS

public int I_BITS

H_BITS

public int H_BITS

Z_BITS

public int Z_BITS

F_BITS

public int F_BITS

T_BITS

public int T_BITS

N_BITS

public int N_BITS

M_BITS

public int M_BITS

VC_BITS

public int VC_BITS

HC_BITS

public int HC_BITS

MAX_VC_BITS

public int MAX_VC_BITS

MAX_HC_BITS

public int MAX_HC_BITS

Vmap

public jwutil.collections.IndexMap Vmap

Imap

public jwutil.collections.IndexMap Imap

Hmap

public jwutil.collections.IndexedMap Hmap

Fmap

public jwutil.collections.IndexMap Fmap

Tmap

public jwutil.collections.IndexMap Tmap

Nmap

public jwutil.collections.IndexMap Nmap

Mmap

public jwutil.collections.IndexMap Mmap

vCnumbering

public jwutil.graphs.PathNumbering vCnumbering

hCnumbering

public jwutil.graphs.PathNumbering hCnumbering

oCnumbering

public jwutil.graphs.PathNumbering oCnumbering

A

public net.sf.javabdd.BDD A

vP

public net.sf.javabdd.BDD vP

S

public net.sf.javabdd.BDD S

L

public net.sf.javabdd.BDD L

vT

public net.sf.javabdd.BDD vT

hT

public net.sf.javabdd.BDD hT

aT

public net.sf.javabdd.BDD aT

cha

public net.sf.javabdd.BDD cha

actual

public net.sf.javabdd.BDD actual

formal

public net.sf.javabdd.BDD formal

Iret

public net.sf.javabdd.BDD Iret

Mret

public net.sf.javabdd.BDD Mret

Ithr

public net.sf.javabdd.BDD Ithr

Mthr

public net.sf.javabdd.BDD Mthr

mI

public net.sf.javabdd.BDD mI

mV

public net.sf.javabdd.BDD mV

sync

public net.sf.javabdd.BDD sync

fT

public net.sf.javabdd.BDD fT

fC

public net.sf.javabdd.BDD fC

hP

public net.sf.javabdd.BDD hP

IE

public net.sf.javabdd.BDD IE

IEcs

public net.sf.javabdd.BDD IEcs

vPfilter

public net.sf.javabdd.BDD vPfilter

hPfilter

public net.sf.javabdd.BDD hPfilter

NNfilter

public net.sf.javabdd.BDD NNfilter

IEfilter

public net.sf.javabdd.BDD IEfilter

visited

public net.sf.javabdd.BDD visited

staticCalls

public net.sf.javabdd.BDD staticCalls

reverseLocal

public boolean reverseLocal

varorder

public String varorder

V1toV2

public net.sf.javabdd.BDDPairing V1toV2

V2toV1

public net.sf.javabdd.BDDPairing V2toV1

H1toH2

public net.sf.javabdd.BDDPairing H1toH2

H2toH1

public net.sf.javabdd.BDDPairing H2toH1

V1H1toV2H2

public net.sf.javabdd.BDDPairing V1H1toV2H2

V2H2toV1H1

public net.sf.javabdd.BDDPairing V2H2toV1H1

V1ctoV2c

public net.sf.javabdd.BDDPairing V1ctoV2c

V1cV2ctoV2cV1c

public net.sf.javabdd.BDDPairing V1cV2ctoV2cV1c

V1cH1ctoV2cV1c

public net.sf.javabdd.BDDPairing V1cH1ctoV2cV1c

T2toT1

public net.sf.javabdd.BDDPairing T2toT1

T1toT2

public net.sf.javabdd.BDDPairing T1toT2

H1toV1c

public net.sf.javabdd.BDDPairing[] H1toV1c

V1ctoH1

public net.sf.javabdd.BDDPairing[] V1ctoH1

V1csets

public net.sf.javabdd.BDDVarSet[] V1csets

V1cH1equals

public net.sf.javabdd.BDD[] V1cH1equals

V1set

public net.sf.javabdd.BDDVarSet V1set

V2set

public net.sf.javabdd.BDDVarSet V2set

H1set

public net.sf.javabdd.BDDVarSet H1set

H2set

public net.sf.javabdd.BDDVarSet H2set

T1set

public net.sf.javabdd.BDDVarSet T1set

T2set

public net.sf.javabdd.BDDVarSet T2set

Fset

public net.sf.javabdd.BDDVarSet Fset

Mset

public net.sf.javabdd.BDDVarSet Mset

Nset

public net.sf.javabdd.BDDVarSet Nset

Iset

public net.sf.javabdd.BDDVarSet Iset

Zset

public net.sf.javabdd.BDDVarSet Zset

V1V2set

public net.sf.javabdd.BDDVarSet V1V2set

V1Fset

public net.sf.javabdd.BDDVarSet V1Fset

V2Fset

public net.sf.javabdd.BDDVarSet V2Fset

V1FV2set

public net.sf.javabdd.BDDVarSet V1FV2set

V1H1set

public net.sf.javabdd.BDDVarSet V1H1set

H1Fset

public net.sf.javabdd.BDDVarSet H1Fset

H2Fset

public net.sf.javabdd.BDDVarSet H2Fset

H1H2set

public net.sf.javabdd.BDDVarSet H1H2set

H1FH2set

public net.sf.javabdd.BDDVarSet H1FH2set

IMset

public net.sf.javabdd.BDDVarSet IMset

INset

public net.sf.javabdd.BDDVarSet INset

INH1set

public net.sf.javabdd.BDDVarSet INH1set

INT2set

public net.sf.javabdd.BDDVarSet INT2set

T2Nset

public net.sf.javabdd.BDDVarSet T2Nset

MZset

public net.sf.javabdd.BDDVarSet MZset

V1cset

public net.sf.javabdd.BDDVarSet V1cset

V2cset

public net.sf.javabdd.BDDVarSet V2cset

H1cset

public net.sf.javabdd.BDDVarSet H1cset

H2cset

public net.sf.javabdd.BDDVarSet H2cset

V1cV2cset

public net.sf.javabdd.BDDVarSet V1cV2cset

V1cH1cset

public net.sf.javabdd.BDDVarSet V1cH1cset

H1cH2cset

public net.sf.javabdd.BDDVarSet H1cH2cset

V1cdomain

public net.sf.javabdd.BDD V1cdomain

V2cdomain

public net.sf.javabdd.BDD V2cdomain

H1cdomain

public net.sf.javabdd.BDD H1cdomain

H2cdomain

public net.sf.javabdd.BDD H2cdomain

rangeMap

public Map rangeMap

object_class

public jq_Class object_class

javaLangObject_clone

public jq_Method javaLangObject_clone

cloneable_class

public jq_Class cloneable_class

throwable_class

public jq_Class throwable_class

javaLangObject_fakeclone

public jq_Method javaLangObject_fakeclone

last_V

public int last_V

last_H

public int last_H

last_T

public int last_T

last_N

public int last_N

last_F

public int last_F

finalizer_method

public jq_NameAndDesc finalizer_method

main_method

public static jq_NameAndDesc main_method

run_method

public static jq_NameAndDesc run_method

old1_A

public net.sf.javabdd.BDD old1_A

old1_S

public net.sf.javabdd.BDD old1_S

old1_L

public net.sf.javabdd.BDD old1_L

old1_vP

public net.sf.javabdd.BDD old1_vP

old1_hP

public net.sf.javabdd.BDD old1_hP

old3_t3

public net.sf.javabdd.BDD old3_t3

old3_vP

public net.sf.javabdd.BDD old3_vP

old3_t4

public net.sf.javabdd.BDD old3_t4

old3_hT

public net.sf.javabdd.BDD old3_hT

old3_t6

public net.sf.javabdd.BDD old3_t6

old3_t9

public net.sf.javabdd.BDD[] old3_t9

old2_myIE

public net.sf.javabdd.BDD old2_myIE

old2_visited

public net.sf.javabdd.BDD old2_visited

TS

public PA.ToString TS

thread_runs

public static Map thread_runs

varPathSelector

public PA.VarPathSelector varPathSelector

THREADS_ONLY

public static boolean THREADS_ONLY

heapPathSelector

public PA.HeapPathSelector heapPathSelector

polyClasses

public static Set polyClasses

MATCH_FACTORY

public static boolean MATCH_FACTORY

objectPathSelector

public PA.ObjectPathSelector objectPathSelector

V1H1correspondence

public Map V1H1correspondence
Constructor Detail

PAProxy

public PAProxy(PA that)


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