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

Method toString

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

Source from the content-addressed store, hash-verified

2869 }
2870
2871 @Override
2872 public String toString() {
2873 return getBinding().toString() + getOperands();
2874 }
2875
2876 public static final Descriptor DESCRIPTOR_0 = new Descriptor(Operands.TWO, Data.ZERO, "EXPR_invoke") {
2877 @SuppressWarnings("unchecked")

Callers

nothing calls this directly

Calls 3

getBindingMethod · 0.95
getOperandsMethod · 0.95
toStringMethod · 0.45

Tested by

no test coverage detected