---

PreProcess Class Reference

List of all members.

Public Methods
	PreProcess (List clsList)
void	extracting (Vector sliceInterests)
void	extractingForDL (SootClass[] classes)
Private Methods
boolean	emptySliceCriterion ()
Set	getInstanceFieldRef (Map localAssMap, SootField sootField)
Set	getStaticFieldRef (Map localAssMap, SootField staticField)
void	putFieldToCritMap (SootClass sootClass, SootField field)
void	putFieldToCritMap (SootMethod sootMethod, FieldRef field)
void	putLocalToCritMap (SootMethod sootMethod, Local local)
void	putMdCritMapToMdInfo ()
void	putPointToCritMap (SootMethod sootMethod, Stmt point)
void	putPrivateInsFdToCritMap (SootClass sootClass, SootField field)
void	putPubInstanceFdToCritMap (SootClass sootClass, SootField field)
void	putStatementToCritMap (SootMethod sootMethod, Stmt stmt)
void	putStaticFieldToCritMap (SootClass sootClass, SootField staticField)
Static Private Methods
Map	extractRelVarMapFromCriterion (SliceCriterion sc)
Private Attributes
List	classInfoList
Map	methodCritMap = new HashMap()
boolean	emptySliceCriterion = false
Set	sliceLocalSet = new ArraySet()

---

Detailed Description

This class is for extracting and building up slice criterion of each class and method.

Definition at line 49 of file PreProcess.java.

---

Constructor & Destructor Documentation

PreProcess::PreProcess (  List   clsList )  [inline]

Parameters: clsList   a list of ClassInfo. Definition at line 67 of file PreProcess.java.

---

Member Function Documentation

boolean PreProcess::emptySliceCriterion (    )  [inline, private]

See if slice criterion is empty. Returns: emptySliceCriterion. Definition at line 75 of file PreProcess.java. Referenced by Slicer::preProcessing().

Map PreProcess::extractRelVarMapFromCriterion (  SliceCriterion   sc )  [inline, static, private]

Extract relevant variable map from slice criterion. Returns: relevant variable map from Stmt to a Set of Value. Parameters: sc   slice criterion. Definition at line 135 of file PreProcess.java. Referenced by putMdCritMapToMdInfo().

void PreProcess::extracting (  Vector   sliceInterests )  [inline]

Extract slice criterion from a set of slice interests. Put those slice criterion into methodCritMap. Parameters: sliceInterests   a set of SliceInterest. Definition at line 84 of file PreProcess.java. Referenced by extractingForDL(), and Slicer::preProcessing().

void PreProcess::extractingForDL (  SootClass   classes[] )  [inline]

Extract slice criterion for deadlock checking. First get slice interest for deadlock checking from class DeadlockRelatedCriterion. Then extract slice criterion from those slice interest by method extracting(sliceInterests). Definition at line 120 of file PreProcess.java. Referenced by Slicer::preProcessing().

Set PreProcess::getInstanceFieldRef (  Map   localAssMap, SootField   sootField )  [inline, private]

Get all instance field references for a given field which is assigned value by some assigment statement. Returns: a set of FieldRef which is an instance field reference of a given sootField. Parameters: localAssMap   a map of local to its assignments. sootField   query sootfield. Definition at line 171 of file PreProcess.java. Referenced by putPrivateInsFdToCritMap(), and putPubInstanceFdToCritMap().

Set PreProcess::getStaticFieldRef (  Map   localAssMap, SootField   staticField )  [inline, private]

Get all static field references for a given field which is assigned value by some assigment statement. Returns: a set of FieldRef which is a static field reference of a given staticField. Parameters: localAssMap   a map of local to its assignments. staticField   query sootfield. Definition at line 199 of file PreProcess.java. Referenced by putStaticFieldToCritMap().

void PreProcess::putFieldToCritMap (  SootMethod   sootMethod, FieldRef   field )  [inline, private]

Put field reference into methodCritMap. A field reference is a variable, so the field should be added into the set of slice variable in the slice criterion of the given method. Slice criterion consists of slice points set and slice variable set. Parameters: sootMethod   the method where the field is referenced. field   the field need to be added. Definition at line 250 of file PreProcess.java.

void PreProcess::putFieldToCritMap (  SootClass   sootClass, SootField   field )  [inline, private]

Put field into methodCritMap. It's including: (1) (SootClass, SootField) putSTaticfieldToCritMap() (2) (SootClass, SootField) putPrivateInsFdToCritMap() (3) (SootClass, SootField) putPubInstanceFdToCritMap() Parameters: sootClass   the class where field is declared. field   the field need to be added into criterion map. Definition at line 225 of file PreProcess.java. Referenced by extracting(), putPrivateInsFdToCritMap(), putPubInstanceFdToCritMap(), and putStaticFieldToCritMap().

void PreProcess::putLocalToCritMap (  SootMethod   sootMethod, Local   local )  [inline, private]

Put a local variable into methodCritMap. A local is a variable, so the local should be added into the set of slice variable in the slice criterion of the given method. Slice criterion consists of slice points set and slice variable set. Parameters: sootMethod   the method where the local is referenced. local   the local need to be added. Definition at line 270 of file PreProcess.java. Referenced by extracting().

void PreProcess::putMdCritMapToMdInfo (    )  [inline, private]

Set value for the field sCriterion of MethodInfo of each method by methodCritMap. Definition at line 285 of file PreProcess.java. Referenced by extracting().

void PreProcess::putPointToCritMap (  SootMethod   sootMethod, Stmt   point )  [inline, private]

Put a statement into methodCritMap. A statement is a slice point, so the point should be added into the set of slice points in the slice criterion of the given method. Slice criterion consists of slice points set and slice variable set. Parameters: sootMethod   the method where the point is. point   the statement need to be added into slice criterion. Definition at line 311 of file PreProcess.java. Referenced by extracting().

void PreProcess::putPrivateInsFdToCritMap (  SootClass   sootClass, SootField   field )  [inline, private]

Parameters: sootClass   class where the field is declared. field   the field need to be added into slice criterion. Definition at line 325 of file PreProcess.java. Referenced by putFieldToCritMap().

void PreProcess::putPubInstanceFdToCritMap (  SootClass   sootClass, SootField   field )  [inline, private]

Parameters: sootClass   class where the field is declared. field   the field need to be added into slice criterion. Definition at line 344 of file PreProcess.java. Referenced by putFieldToCritMap().

void PreProcess::putStatementToCritMap (  SootMethod   sootMethod, Stmt   stmt )  [inline, private]

Put a statement into methodCritMap. A statement is a slice point, so the point should be added into the set of slice points in the slice criterion of the given method. Slice criterion consists of slice points set and slice variable set. Parameters: sootMethod   the method where the point is. point   the statement need to be added into slice criterion. Definition at line 368 of file PreProcess.java. Referenced by extracting().

void PreProcess::putStaticFieldToCritMap (  SootClass   sootClass, SootField   staticField )  [inline, private]

Parameters: sootClass   class where staticField is declared. field   the field need to be added into slice criterion. Definition at line 382 of file PreProcess.java. Referenced by putFieldToCritMap().

---

Member Data Documentation

List PreProcess::classInfoList [private]

A list of ClassInfo. Definition at line 53 of file PreProcess.java.

Map PreProcess::methodCritMap = new HashMap() [private]

A map from SootMethod to SliceCriterion for storing slice criterion of each method. Definition at line 58 of file PreProcess.java.

Set PreProcess::sliceLocalSet = new ArraySet() [private]

A set of Local. Definition at line 63 of file PreProcess.java.

---

The documentation for this class was generated from the following file:

• PreProcess.java

---