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

Method brace

src/main/java/wyil/lang/WyilFile.java:6991–6997  ·  view source on GitHub ↗
(Type t)

Source from the content-addressed store, hash-verified

6989 }
6990
6991 private static String brace(Type t) {
6992 if(t.shape() < 2) {
6993 return "(" + t + ")";
6994 } else {
6995 return t.toString();
6996 }
6997 }
6998
6999 public static String toString(Tuple<? extends Syntactic.Item> items) {
7000 String r = "";

Callers 3

toStringMethod · 0.45
toStringMethod · 0.45
toStringMethod · 0.45

Calls 2

shapeMethod · 0.65
toStringMethod · 0.45

Tested by

no test coverage detected