()
| 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() { |
nothing calls this directly
no test coverage detected