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

Class Unknown

src/main/java/wyil/lang/WyilFile.java:454–471  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

452 public static interface Decl extends Syntactic.Item {
453
454 public static class Unknown extends AbstractItem implements Decl {
455 public Unknown() {
456 super(DECL_unknown);
457 }
458
459 @Override
460 public Syntactic.Item clone(Syntactic.Item[] operands) {
461 return new Unknown();
462 }
463
464 public static final Descriptor DESCRIPTOR_0 = new Descriptor(Operands.ZERO, Data.ZERO, "DECL_unknown") {
465 @SuppressWarnings("unchecked")
466 @Override
467 public Syntactic.Item construct(int opcode, Syntactic.Item[] operands, byte[] data) {
468 return new Unknown();
469 }
470 };
471 }
472
473 /**
474 * A WyilFile contains exactly one active module which represents the root of

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected