public class MarvinThreadEvent extends java.lang.Object
MarvinPlugin
getPlugin()
long
getThreadId()
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public long getThreadId()
public MarvinPlugin getPlugin()