Package com.unitesk.aspectrace.oracle
Class OracleTracer
- java.lang.Object
-
- com.unitesk.aspectrace.oracle.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 classMarkedPath
-
-
Field Summary
Fields Modifier and Type Field Description static java.lang.String
ASPECT
static int
FAILURE_POST_VIOLATION
static int
FAILURE_PRE_VIOLATION
-
Constructor Summary
Constructors Constructor Description OracleTracer()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static void
traceBranch(java.lang.String branch)
static void
traceFailure(int kind, java.lang.String desc)
static void
traceFormulaMeaning(int id, java.lang.String formula)
static void
traceMark(java.lang.String mark)
static void
traceOracleEnd(java.lang.String signature)
static void
traceOracleEndEx(java.lang.String signature, int callId)
static void
traceOracleStart(java.lang.String signature, Parameter... params)
static int
traceOracleStartEx(java.lang.String signature, Parameter... params)
.static void
tracePostVerdict(boolean verdict)
static void
tracePreVerdict(boolean verdict)
static void
tracePrimeFormula(int id, boolean value)
-
-
-
Field Detail
-
ASPECT
public static final java.lang.String ASPECT
- See Also:
- Constant Field Values
-
FAILURE_PRE_VIOLATION
public static final int FAILURE_PRE_VIOLATION
- See Also:
- Constant Field Values
-
FAILURE_POST_VIOLATION
public static final int FAILURE_POST_VIOLATION
- See Also:
- Constant Field Values
-
-
Method Detail
-
traceOracleStart
public static void traceOracleStart(java.lang.String signature, Parameter... params)
-
traceOracleStartEx
public static int traceOracleStartEx(java.lang.String signature, Parameter... params)
.- Returns:
- callId for use in
traceOracleEndEx(String, int)
.
-
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)
-
-