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

Method toString

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

Source from the content-addressed store, hash-verified

2686 }
2687
2688 @Override
2689 public String toString() {
2690 return "(" + getType() + ") " + getOperand();
2691 }
2692
2693 public static final Descriptor DESCRIPTOR_0 = new Descriptor(Operands.TWO, Data.ZERO, "EXPR_cast") {
2694 @Override

Callers

nothing calls this directly

Calls 2

getOperandMethod · 0.95
getTypeMethod · 0.65

Tested by

no test coverage detected