soot.jimple.toolkits.thread.mhp

Class Counter

java.lang.Object

soot.jimple.toolkits.thread.mhp.Counter

public class Counter
extends Object

Method Summary

Modifier and Type	Method and Description
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()