Package com.unitesk.aspectrace.oracle
Class MarkedPath
- java.lang.Object
-
- com.unitesk.aspectrace.oracle.MarkedPath
-
public class MarkedPath extends java.lang.Object
A tracer of oracle marked paths.Использование:
OracleTracer.traceOracleStart(...);
MarkedPath path = new MarkedPath(oracleSignature);
OracleTracer.traceFormula(...);
path.traceMark(mark1);
OracleTracer.traceFormula(...);
path.traceMark(mark2);
OracleTracer.traceFormula(...);
path.traceBranch(branch);
OracleTracer.traceMark(postMark1);
OracleTracer.traceOracleEnd(...);
-
-
Field Summary
Fields Modifier and Type Field Description static java.lang.String
CS_PREFIX
Prefix for coverage structure name.
-
Constructor Summary
Constructors Constructor Description MarkedPath(com.unitesk.coverage.CoverageStructure cs)
MarkedPath(java.lang.String signature)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
traceBranch(java.lang.String branch)
Trace branch, then trace collected marked path as CoverageElement.void
traceMark(java.lang.String mark)
Trace and remember mark.
-
-
-
Field Detail
-
CS_PREFIX
public static final java.lang.String CS_PREFIX
Prefix for coverage structure name.- See Also:
- Constant Field Values
-
-