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

Method clone

src/main/java/wyil/lang/WyilFile.java:1730–1733  ·  view source on GitHub ↗
(Syntactic.Item[] operands)

Source from the content-addressed store, hash-verified

1728 }
1729
1730 @Override
1731 public Block clone(Syntactic.Item[] operands) {
1732 return new Block(ArrayUtils.toArray(Stmt.class, operands));
1733 }
1734
1735 public static final Descriptor DESCRIPTOR_0 = new Descriptor(Operands.MANY, Data.ZERO, "STMT_block") {
1736 @Override

Callers

nothing calls this directly

Calls 1

toArrayMethod · 0.95

Tested by

no test coverage detected