| java.lang.Object
 org.quilt.graph.Vertex
org.quilt.cl.CodeVertex
org.quilt.cover.stmt.CounterVertex
| CounterVertex | | public class CounterVertex extends CodeVertex (Code) | | A CodeVertex which carries counter instrumentation and a label.
The counter has an index. Whenever the flow of execution passes
through this vertex, the counter code adds 1 to the hit count table,
to q$$q[n], where n is the counter index.
Counter indexes are unique and assigned consecutively. They are
not the same as vertex indexes. In the current revision of the
software, counter vertices are also labeled with the counter index.
author:
Jim Dixon |
| CounterVertex | | public CounterVertex(ControlFlowGraph g)(Code) | | Create a code vertex with default bytecode offset, line number,
empty instruction list, and no label.
Parameters:
g - Graph which the vertex belongs to. |
| CounterVertex | | public CounterVertex(ControlFlowGraph g, String lbl)(Code) | | Create a counter vertex, specifying a label
Parameters:
g - Graph which the vertex belongs to.
Parameters:
l - The String label applied to the vertex. |
| toString | | public String toString()(Code) | | Graph index and Vertex index in a neatly formatted String,including the label if there is one, *not* newline-terminated. |
| toString | | public String toString(boolean b)(Code) | |
Parameters:
b - If true, add label (if any) and instruction list. A neatly formatted String ending with a newline. |
|
|