Searched refs:counterNode (Results 1 – 1 of 1) sorted by relevance
126 final XMLElement counterNode = parent.element("counter"); in writeCounters() local127 counterNode.attr("type", counterEntity.name()); in writeCounters()128 writeCounter(counterNode, "missed", "covered", counter); in writeCounters()129 counterNode.close(); in writeCounters()