|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object sofya.ed.structural.CoverageTrace sofya.ed.structural.BranchCoverageTrace
public class BranchCoverageTrace
A branch coverage trace records the coverage of branches in a method.
Field Summary |
---|
Fields inherited from class sofya.ed.structural.CoverageTrace |
---|
highestId, traceVector |
Constructor Summary | |
---|---|
BranchCoverageTrace(int highestId)
Creates a new branch coverage trace. |
Method Summary | |
---|---|
void |
branchCovered(int id,
int branchType)
Records a branch as covered. |
CoverageTrace |
copy()
Creates a deep clone of this trace object. |
Methods inherited from class sofya.ed.structural.CoverageTrace |
---|
clear, equals, getHighestId, query, set, toString, union, unset |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public BranchCoverageTrace(int highestId)
highestId
- The highest identifier associated with any branch
in the method (effectively the number of branches in the method.Method Detail |
---|
public void branchCovered(int id, int branchType)
branchCovered
in interface BranchCoverageListener
id
- Identifier associated with the covered branch.branchType
- Numeric constant encoding the type of branch
covered (see SConstants.BranchType
).public CoverageTrace copy()
copy
in class CoverageTrace
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |