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

Method toString

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

Source from the content-addressed store, hash-verified

6269 }
6270
6271 @Override
6272 public String toString() {
6273 String r = "";
6274 for (int i = 0; i != size(); ++i) {
6275 if (i != 0) {
6276 r += "|";
6277 }
6278 r += braceAsNecessary(get(i));
6279 }
6280 return r;
6281 }
6282
6283 @Override
6284 public String toCanonicalString() {

Callers

nothing calls this directly

Calls 3

getMethod · 0.95
braceAsNecessaryMethod · 0.80
sizeMethod · 0.65

Tested by

no test coverage detected