Package com.unitesk.aspectrace.oracle
Class AbstractOracleListener
- java.lang.Object
-
- com.unitesk.aspectrace.oracle.AbstractOracleListener
-
- All Implemented Interfaces:
AspectListener
,OracleListener
- Direct Known Subclasses:
OracleCollector
public abstract class AbstractOracleListener extends java.lang.Object implements OracleListener
Empty handler for aspect "oracle". Defines empty realizations of all necessary methods.
-
-
Constructor Summary
Constructors Constructor Description AbstractOracleListener()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
attachedToAdapter(java.lang.String aspect, AspectAdapter adapter)
Notifies the listener about it's connection to adapter.void
processFormulaMessage(FormulaMessage msg)
Processes message about formulas: decodings and values.void
processMark(MarkMessage msg)
Processes message about named mark (mark, branch).void
processOracleEnd(OracleEndMessage msg)
Processes oracle end message.void
processOracleStart(OracleStartMessage msg)
Processes oracle start message.void
processPostEnd(boolean verdict)
Processes end check of postcondition message.void
processPreEnd(boolean verdict)
Processes end check of precondition message.void
processTagChange(TagMessage msg)
Changes set of tags for this aspect.
-
-
-
Method Detail
-
processOracleStart
public void processOracleStart(OracleStartMessage msg)
Description copied from interface:OracleListener
Processes oracle start message.- Specified by:
processOracleStart
in interfaceOracleListener
-
processOracleEnd
public void processOracleEnd(OracleEndMessage msg)
Description copied from interface:OracleListener
Processes oracle end message.- Specified by:
processOracleEnd
in interfaceOracleListener
-
processFormulaMessage
public void processFormulaMessage(FormulaMessage msg)
Description copied from interface:OracleListener
Processes message about formulas: decodings and values.- Specified by:
processFormulaMessage
in interfaceOracleListener
-
processMark
public void processMark(MarkMessage msg)
Description copied from interface:OracleListener
Processes message about named mark (mark, branch).- Specified by:
processMark
in interfaceOracleListener
-
processPostEnd
public void processPostEnd(boolean verdict)
Description copied from interface:OracleListener
Processes end check of postcondition message.- Specified by:
processPostEnd
in interfaceOracleListener
-
processPreEnd
public void processPreEnd(boolean verdict)
Description copied from interface:OracleListener
Processes end check of precondition message.- Specified by:
processPreEnd
in interfaceOracleListener
-
processTagChange
public void processTagChange(TagMessage msg)
Description copied from interface:AspectListener
Changes set of tags for this aspect.- Specified by:
processTagChange
in interfaceAspectListener
-
attachedToAdapter
public void attachedToAdapter(java.lang.String aspect, AspectAdapter adapter)
Description copied from interface:AspectListener
Notifies the listener about it's connection to adapter.- Specified by:
attachedToAdapter
in interfaceAspectListener
- Parameters:
aspect
- Related aspectadapter
- Connected adapter
-
-