MCPcopy Create free account
hub / github.com/Whiley/WhileyCompiler / record

Method record

src/main/java/wycc/io/HeapWriter.java:161–165  ·  view source on GitHub ↗
(int opcode, int size)

Source from the content-addressed store, hash-verified

159 }
160
161 public static void record(int opcode, int size) {
162 Metric old = metrics.get(opcode);
163 old = old == null ? new Metric() : old;
164 metrics.put(opcode, old.record(size));
165 }
166
167 public static void printMetrics(Syntactic.Schema schema) {
168 List<Pair<Integer,Metric>> items = new ArrayList();

Callers 1

writeSyntacticItemMethod · 0.95

Calls 2

recordMethod · 0.95
getMethod · 0.65

Tested by

no test coverage detected