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

Method toString

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

Source from the content-addressed store, hash-verified

6118 }
6119
6120 @Override
6121 public String toString() {
6122 String s = getLink().getName().toString();
6123 WyilFile.Tuple<Type> parameters = getParameters();
6124 if (parameters.size() == 0) {
6125 return s;
6126 } else {
6127 return s + "<" + WyilFile.toString(parameters) + ">";
6128 }
6129 }
6130
6131 @Override
6132 public String toCanonicalString() {

Callers

nothing calls this directly

Calls 5

toStringMethod · 0.95
getLinkMethod · 0.95
getParametersMethod · 0.95
getNameMethod · 0.65
sizeMethod · 0.65

Tested by

no test coverage detected