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

Method clone

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

Source from the content-addressed store, hash-verified

6251 }
6252
6253 @Override
6254 public Type.Union clone(Syntactic.Item[] operands) {
6255 return new Union(ArrayUtils.toArray(Type.class, operands));
6256 }
6257
6258 @Override
6259 public <T extends Type> List<T> filter(Class<T> kind) {

Callers

nothing calls this directly

Calls 1

toArrayMethod · 0.95

Tested by

no test coverage detected