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

Method resolve

src/main/java/wyil/lang/WyilFile.java:1500–1509  ·  view source on GitHub ↗
(T... items)

Source from the content-addressed store, hash-verified

1498 }
1499
1500 @SuppressWarnings("unchecked")
1501 public void resolve(T... items) {
1502 Syntactic.Heap heap = getHeap();
1503 Syntactic.Item first = operands[0];
1504 this.operands = Arrays.copyOf(operands, items.length + 1);
1505 this.operands[0] = first;
1506 for(int i=1;i!=operands.length;++i) {
1507 operands[i] = heap.allocate(new Ref<>(items[i - 1]));
1508 }
1509 }
1510
1511 @Override
1512 public Syntactic.Item clone(Syntactic.Item[] operands) {

Callers 7

linkMethod · 0.80
typeInvokeExpressionMethod · 0.80
typeLambdaAccessMethod · 0.80
toPathMethod · 0.80
runMethod · 0.80
setupMethod · 0.80
mirrorMethod · 0.80

Calls 2

getHeapMethod · 0.65
allocateMethod · 0.65

Tested by 3

runMethod · 0.64
setupMethod · 0.64
mirrorMethod · 0.64