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

Method toString

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

Source from the content-addressed store, hash-verified

5960 }
5961
5962 @Override
5963 public String toString() {
5964 String r = "";
5965 //
5966 for (int i = 0; i != size(); ++i) {
5967 if (i != 0) {
5968 r += ",";
5969 }
5970 r += get(i).toString();
5971 }
5972 //
5973 return "(" + r + ")";
5974 }
5975
5976 @Override
5977 public String toCanonicalString() {

Callers

nothing calls this directly

Calls 3

sizeMethod · 0.95
getMethod · 0.95
toStringMethod · 0.45

Tested by

no test coverage detected