soot.jimple.toolkits.thread.mhp
Class Counter

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

public class Counter
extends Object

Method Summary

protected static int	getObjNo()
protected static int	getTagNo()
protected static int	getThreadNo()

Methods inherited from class java.lang.Object

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

Method Detail

getTagNo

protected static int getTagNo()

getObjNo

protected static int getObjNo()

getThreadNo

protected static int getThreadNo()