soot.jimple.spark.geom.geomPA

Class Constants

java.lang.Object

soot.jimple.spark.geom.geomPA.Constants

public class Constants
extends java.lang.Object

Named constants used in the geomPA.

Field Summary

Fields

Modifier and Type	Field and Description
static int	ASSIGN_CONS
static int	eval_basicInfo
static int	eval_nothing
static int	eval_simpleClients
static RefType	exeception_type
static int	FIELD_ADDRESS
static java.lang.String	geomE
static java.lang.String	heapinsE
static int	LOAD_CONS
static long	MAX_CONTEXTS
static int	NEW_CONS
static java.lang.String	ptinsE
static int	seedPts_all
static int	seedPts_allUser
static int	STORE_CONS
static int	SUPER_MAIN
static int	UNKNOWN_FUNCTION

Constructor Summary

Constructors

Constructor and Description
Constants()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

geomE

public static final java.lang.String geomE

See Also:

Constant Field Values

heapinsE

public static final java.lang.String heapinsE

See Also:

Constant Field Values

ptinsE

public static final java.lang.String ptinsE

See Also:

Constant Field Values

eval_nothing

public static final int eval_nothing

See Also:

Constant Field Values

eval_basicInfo

public static final int eval_basicInfo

See Also:

Constant Field Values

eval_simpleClients

public static final int eval_simpleClients

See Also:

Constant Field Values

NEW_CONS

public static final int NEW_CONS

See Also:

Constant Field Values

ASSIGN_CONS

public static final int ASSIGN_CONS

See Also:

Constant Field Values

LOAD_CONS

public static final int LOAD_CONS

See Also:

Constant Field Values

STORE_CONS

public static final int STORE_CONS

See Also:

Constant Field Values

FIELD_ADDRESS

public static final int FIELD_ADDRESS

See Also:

Constant Field Values

SUPER_MAIN

public static final int SUPER_MAIN

See Also:

Constant Field Values

UNKNOWN_FUNCTION

public static final int UNKNOWN_FUNCTION

See Also:

Constant Field Values

MAX_CONTEXTS

public static final long MAX_CONTEXTS

See Also:

Constant Field Values

exeception_type

public static final RefType exeception_type

seedPts_allUser

public static final int seedPts_allUser

See Also:

Constant Field Values

seedPts_all

public static final int seedPts_all

See Also:

Constant Field Values

Constructor Detail

Constants

public Constants()