Class OracleTracer


  • public class OracleTracer
    extends java.lang.Object
    A tracer for an aspect "oracle". Note: mark, branch and marked paths from them must be traced via class MarkedPath
    • Constructor Detail

      • OracleTracer

        public OracleTracer()
    • Method Detail

      • traceOracleStart

        public static void traceOracleStart​(java.lang.String signature,
                                            Parameter... params)
      • traceOracleEnd

        public static void traceOracleEnd​(java.lang.String signature)
      • traceOracleEndEx

        public static void traceOracleEndEx​(java.lang.String signature,
                                            int callId)
      • tracePreVerdict

        public static void tracePreVerdict​(boolean verdict)
      • tracePostVerdict

        public static void tracePostVerdict​(boolean verdict)
      • traceFormulaMeaning

        public static void traceFormulaMeaning​(int id,
                                               java.lang.String formula)
      • tracePrimeFormula

        public static void tracePrimeFormula​(int id,
                                             boolean value)
      • traceMark

        public static void traceMark​(java.lang.String mark)
      • traceBranch

        public static void traceBranch​(java.lang.String branch)
      • traceFailure

        public static void traceFailure​(int kind,
                                        java.lang.String desc)