public String pprint(int opPrec) { String s = "["; for (Pattern e : patterns) { s = s + e.pprint(); if (e != patterns[patterns.length - 1]) s = s + ","; } return s + "]"; }