cz.cuni.amis.pogamut.sposh.engine
Class EngineLog

Package class diagram package EngineLog
java.lang.Object
  extended by cz.cuni.amis.pogamut.sposh.engine.EngineLog

public class EngineLog
extends Object

The logger of engine activity. It logs which paths were visited, used by Dash.

Author:
Honza

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

pathReached

public void pathReached(LapPath path)

pathReachedExit

public void pathReachedExit()
DO NOT REMOVE!!! This method is here as a workaround of slow Netbeans breakpoint API. The API is quite fast when adding a breakpoint of 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.


getLastReachedPath

public String getLastReachedPath()
THis method is used by the Dash to retrieve the last firing path. Dash has a breakpoint at entry of method pathReachedExit().

Returns:
String serialization of last firing path.


Copyright © 2013 AMIS research group, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. All Rights Reserved.