|
||||||||||
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, this class
is used by Dash to determine which paths are about to be executed.
Dash puts Java breakpoint at entry of pathReachedExit()
and each
time it is reached, it retrieves the reached path and displayes it in the
scene.
Method Summary | |
---|---|
String |
getLastReachedPath()
This method is used by the Dash to retrieve the last firing path. |
void |
pathReached(LapPath path)
Every time some executor of PoshElement is about to execute it,
it calls this method. |
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)
PoshElement
is about to execute it,
it calls this method.
This method will write to SPOSH Logger
with level Level.FINEST
that path has been reached.
path
- Path of element that is about to be executed.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()
.
LapPath
) of last firing path.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |