- sb.append("unresolved ambiguity ");
- HashSet<Forest> hf = new HashSet<Forest>();
- ambiguity.gather(hf);
- HashSet<Tree> ht = new HashSet<Tree>();
- ambiguity.expand(ht, hf, new Tree(null, "...", null, false));
- for(Tree<?> result : ht) {
- sb.append("\n\n");
- result.toPrettyString(sb);
+ sb.append("unresolved ambiguity at "+ambiguity.getRegion()+"; shared subtrees are shown as \"*\" ");
+ for(Tree<?> result : possibilities) {
+ sb.append("\n possibility: ");
+ StringBuffer sb2 = new StringBuffer();
+ result.toPrettyString(sb2);
+ sb.append(StringUtil.indent(sb2.toString(), 15));