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

Method constructItems

src/main/java/wycc/io/HeapReader.java:139–147  ·  view source on GitHub ↗
(Schema schema, Bytecode[] bytecodes)

Source from the content-addressed store, hash-verified

137 }
138
139 protected Item[] constructItems(Schema schema, Bytecode[] bytecodes) {
140 Item[] items = new Item[bytecodes.length];
141 //
142 for(int i=0;i!=items.length;++i) {
143 constructItem(i,schema,bytecodes,items);
144 }
145 //
146 return items;
147 }
148
149 protected void constructItem(int index, Schema schema, Bytecode[] bytecodes, Item[] items) {
150 // FIXME: this fails in the presence of truly recursive items.

Callers 1

readItemsMethod · 0.95

Calls 1

constructItemMethod · 0.95

Tested by

no test coverage detected