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

Method Named

src/main/java/wyil/lang/WyilFile.java:739–741  ·  view source on GitHub ↗
(int opcode, Tuple<Modifier> modifiers, Identifier name, Syntactic.Item... rest)

Source from the content-addressed store, hash-verified

737 public static abstract class Named<T extends WyilFile.Type> extends AbstractItem implements Decl {
738
739 public Named(int opcode, Tuple<Modifier> modifiers, Identifier name, Syntactic.Item... rest) {
740 super(opcode, ArrayUtils.append(new Syntactic.Item[] { modifiers, name }, rest));
741 }
742
743 @SuppressWarnings("unchecked")
744 public Tuple<Modifier> getModifiers() {

Callers

nothing calls this directly

Calls 1

appendMethod · 0.95

Tested by

no test coverage detected