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

Method construct

src/main/java/wyil/lang/WyilFile.java:6296–6299  ·  view source on GitHub ↗
(int opcode, Syntactic.Item[] operands, byte[] data)

Source from the content-addressed store, hash-verified

6294
6295 public static final Descriptor DESCRIPTOR_0 = new Descriptor(Operands.MANY, Data.ZERO, "TYPE_union") {
6296 @Override
6297 public Syntactic.Item construct(int opcode, Syntactic.Item[] operands, byte[] data) {
6298 return new Union(ArrayUtils.toArray(Type.class, operands));
6299 }
6300 };
6301 }
6302

Callers

nothing calls this directly

Calls 1

toArrayMethod · 0.95

Tested by

no test coverage detected