soot.jimple.toolkits.thread.mhp
Class MonitorDepth

java.lang.Object
  soot.jimple.toolkits.thread.mhp.MonitorDepth

public class MonitorDepth
extends Object

Method Summary

protected void	decreaseDepth()
protected int	getDepth()
protected String	getObjName()
protected void	increaseDepth()
protected void	setDepth(int d)
protected void	SetObjName(String s)

Methods inherited from class java.lang.Object

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

Method Detail

getObjName

protected String getObjName()

SetObjName

protected void SetObjName(String s)

getDepth

protected int getDepth()

setDepth

protected void setDepth(int d)

decreaseDepth

protected void decreaseDepth()

increaseDepth

protected void increaseDepth()