|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||

java.lang.Objectcz.cuni.amis.pogamut.sposh.engine.EngineLog
public class EngineLog
The logger of engine activity. It logs which paths were visited, used by Dash.
| Method Summary | |
|---|---|
String |
getLastReachedPath()
THis method is used by the Dash to retrieve the last firing path. |
void |
pathReached(LapPath path)
|
void |
pathReachedExit()
DO NOT REMOVE!!! |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Method Detail |
|---|
public void pathReached(LapPath path)
public void pathReachedExit()
MethodBreakpoint#TYPE_METHOD_ENTRY type, but very
slow (about 1.2 seconds penalty) when using the
MethodBreakpoint#TYPE_METHOD_EXIT. As a workaround, I am adding
an entry type breakpoint to
this method that is used directly before returning from
pathReached(cz.cuni.amis.pogamut.sposh.elements.LapPath).
Dash is adding an entry breakpoint at this method and calls getLastReachedPath() in order to get the firing path.
public String getLastReachedPath()
pathReachedExit().
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||