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

Method toString

src/main/java/wyil/lang/WyilFile.java:1588–1593  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

1586 }
1587
1588 @Override
1589 public String toString() {
1590 Identifier name = getDeclaration().getName();
1591 String arguments = getArguments().toBareString();
1592 return name + "<" + arguments + ">";
1593 }
1594
1595 public static final Descriptor DESCRIPTOR_0 = new Descriptor(Operands.TWO, Data.ZERO, "DECL_binding") {
1596 @SuppressWarnings({ "unchecked", "rawtypes" })

Callers

nothing calls this directly

Calls 4

getDeclarationMethod · 0.95
getArgumentsMethod · 0.95
getNameMethod · 0.65
toBareStringMethod · 0.45

Tested by

no test coverage detected