Package com.unitesk.aspectrace.oracle
Interface OracleListener
-
- All Superinterfaces:
AspectListener
- All Known Implementing Classes:
AbstractOracleListener
,OracleCollector
public interface OracleListener extends AspectListener
Interface of aspect "oracle" message handler.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description 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.-
Methods inherited from interface com.unitesk.aspectrace.AspectListener
attachedToAdapter, processTagChange
-
-
-
-
Method Detail
-
processOracleStart
void processOracleStart(OracleStartMessage msg)
Processes oracle start message.
-
processOracleEnd
void processOracleEnd(OracleEndMessage msg)
Processes oracle end message.
-
processPreEnd
void processPreEnd(boolean verdict)
Processes end check of precondition message.
-
processPostEnd
void processPostEnd(boolean verdict)
Processes end check of postcondition message.
-
processFormulaMessage
void processFormulaMessage(FormulaMessage msg)
Processes message about formulas: decodings and values.
-
processMark
void processMark(MarkMessage msg)
Processes message about named mark (mark, branch).
-
-