---

DeadlockRelatedCriterion Class Reference

List of all members.

Public Methods
	DeadlockRelatedCriterion (SootClass[] classArr)
Private Methods
void	extractSliceInterestForDL ()
void	extractSliceInterestFromMethod (SootClass sootClass, SootMethod sootMethod)
Vector	getSliceInterestForDL ()
Private Attributes
SootClass[]	classes
List	deadlockRelatedInvokes = new ArrayList()
Vector	sliceInterests = new Vector()

---

Detailed Description

This class is for extracting and storing slice criterion for deadlock checking.

Definition at line 45 of file DeadlockRelatedCriterion.java.

---

Constructor & Destructor Documentation

DeadlockRelatedCriterion::DeadlockRelatedCriterion (  SootClass   classArr[] )  [inline]

Constructor of this class: (1) Initializing deadlockRelatedInvokes. (2) extractSliceInterestForDL(). Parameters: classArr   an array of sootclasses. Definition at line 77 of file DeadlockRelatedCriterion.java.

---

Member Function Documentation

void DeadlockRelatedCriterion::extractSliceInterestForDL (    )  [inline, private]

Extract slicing interests for deadlock checking. Algorithm: scanning every class in classes, then (SootClass, SootMethod) extractSliceInterestFromMethod(sootClass, sootMethod) except for interface and native methods. Definition at line 101 of file DeadlockRelatedCriterion.java. Referenced by DeadlockRelatedCriterion().

void DeadlockRelatedCriterion::extractSliceInterestFromMethod (  SootClass   sootClass, SootMethod   sootMethod )  [inline, private]

Extrace slice interests from a method. Put all synchronization statements and deadlock related method invokes into sliceInterests. Parameters: sootClass   class where the method is declared. sootMethod   method which will be processed. Definition at line 125 of file DeadlockRelatedCriterion.java. Referenced by extractSliceInterestForDL().

Vector DeadlockRelatedCriterion::getSliceInterestForDL (    )  [inline, private]

Get slice interests for deadlock checking. Returns: sliceInterests. Definition at line 170 of file DeadlockRelatedCriterion.java. Referenced by PreProcess::extractingForDL().

---

Member Data Documentation

SootClass [] DeadlockRelatedCriterion::classes [private]

All classes need to be checked for deadlock. These classes will be sliced for deadlock checking. Definition at line 50 of file DeadlockRelatedCriterion.java.

List DeadlockRelatedCriterion::deadlockRelatedInvokes = new ArrayList() [private]

A list of String which is a signature of all method invokes related to deadlock checking. It's currently including: (1) java.lang.Object.notifyAll():void (2) java.lang.Object.notify():void (3) java.lang.Object.wait():void (4) java.lang.Thread.stop():void (5) java.lang.Thread.destroy():void (6) java.lang.Thread.suspend():void (7) java.lang.Thread.resume():void (8) java.lang.Thread.join():void Definition at line 65 of file DeadlockRelatedCriterion.java.

Vector DeadlockRelatedCriterion::sliceInterests = new Vector() [private]

A list of extracted SliceInterest. Definition at line 69 of file DeadlockRelatedCriterion.java.

---

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

• DeadlockRelatedCriterion.java

---