public class KahinaTreeMatchEvent extends KahinaEvent
Constructor and Description |
---|
KahinaTreeMatchEvent(KahinaBreakpoint bp,
int nodeID) |
Modifier and Type | Method and Description |
---|---|
KahinaBreakpoint |
getBreakpoint() |
int |
getNodeID() |
java.lang.String |
toString() |
getType
public KahinaTreeMatchEvent(KahinaBreakpoint bp, int nodeID)
public KahinaBreakpoint getBreakpoint()
public int getNodeID()
public java.lang.String toString()
toString
in class KahinaEvent