|
|||||||||
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.BlockCoverageTrace
public class BlockCoverageTrace
A basic block coverage trace records the coverage of basic blocks in a method.
Field Summary |
---|
Fields inherited from class sofya.ed.structural.CoverageTrace |
---|
highestId, traceVector |
Constructor Summary | |
---|---|
BlockCoverageTrace(int highestId)
Creates a new basic block coverage trace. |
Method Summary | |
---|---|
void |
blockCovered(int id,
int blockType)
Records a basic block 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 BlockCoverageTrace(int highestId)
highestId
- The highest identifier associated with any basic block
in the method (effectively the number of basic blocks in the method.Method Detail |
---|
public void blockCovered(int id, int blockType)
blockCovered
in interface BlockCoverageListener
id
- Identifier associated with the covered basic block.blockType
- Numeric constant encoding the type of basic block
covered (see SConstants.BlockType
).public CoverageTrace copy()
copy
in class CoverageTrace
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |