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

Method construct

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

Source from the content-addressed store, hash-verified

5989
5990 public static final Descriptor DESCRIPTOR_0 = new Descriptor(Operands.MANY, Data.ZERO, "TYPE_tuple") {
5991 @SuppressWarnings("unchecked")
5992 @Override
5993 public Syntactic.Item construct(int opcode, Syntactic.Item[] operands, byte[] data) {
5994 return new Tuple(ArrayUtils.toArray(Type.class, operands));
5995 }
5996 };
5997 }
5998

Callers

nothing calls this directly

Calls 1

toArrayMethod · 0.95

Tested by

no test coverage detected