Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> jxcl >> jxunit >> cover >> [ stmt overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

org.jxcl.jxunit.cover.stmt
Class CounterVertex  

java.lang.Object
  org.jxcl.graph.Vertex
      org.jxcl.cl.CodeVertex
          org.jxcl.jxunit.cover.stmt.CounterVertex

---

public class CounterVertex

extends org.jxcl.cl.CodeVertex

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 z$$z[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.

---

Field Summary

 

Fields inherited from class org.jxcl.cl.CodeVertex

connInst_, endLine_, ilist, pos, startLine_

 

Fields inherited from class org.jxcl.graph.Vertex

connector, graph, index, label_

 

Constructor Summary

CounterVertex(org.jxcl.cl.ControlFlowGraph g)           Create a code vertex with default bytecode offset, line number, empty instruction list, and no label.

CounterVertex(org.jxcl.cl.ControlFlowGraph g, java.lang.String lbl)           Create a counter vertex, specifying a label

 

Method Summary
java.lang.String	toString()           Less verbose toString.
java.lang.String	toString(boolean b)           Optionally more verbose method.

 

Methods inherited from class org.jxcl.cl.CodeVertex

getConnInst, getEndLine, getInstructionList, getPosition, getStartLine, moveGoto, setConnInst, setEndLine, setPos, setStartLine

 

Methods inherited from class org.jxcl.graph.Vertex

above, checkForNull, getConnector, getEdge, getGraph, getIndex, getLabel, getTarget, makeBinary, makeBinaryFlowThrough, makeComplex, makeMulti, setConnector, setLabel

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

 

Constructor Detail

CounterVertex

public CounterVertex(org.jxcl.cl.ControlFlowGraph g)

Create a code vertex with default bytecode offset, line number, empty instruction list, and no label.

---

CounterVertex

public CounterVertex(org.jxcl.cl.ControlFlowGraph g,
                     java.lang.String lbl)

Create a counter vertex, specifying a label

Method Detail

toString

public java.lang.String toString()

Description copied from class: org.jxcl.cl.CodeVertex

Less verbose toString.

---

toString

public java.lang.String toString(boolean b)

Description copied from class: org.jxcl.cl.CodeVertex

Optionally more verbose method.

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> jxcl >> jxunit >> cover >> [ stmt overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---