X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FAmbiguous.java;h=8bed158335acac35bbec87a509a4d273920e8beb;hp=bd87fd9ee4cd556da1248eef9f7bb46dc9f7130d;hb=dc9bb3a45ed306e2e35549076842b3e74efecb48;hpb=449c39e0dafd7c736bfcd8d56bbd08b7a99e25a4 diff --git a/src/edu/berkeley/sbp/Ambiguous.java b/src/edu/berkeley/sbp/Ambiguous.java index bd87fd9..8bed158 100644 --- a/src/edu/berkeley/sbp/Ambiguous.java +++ b/src/edu/berkeley/sbp/Ambiguous.java @@ -1,35 +1,29 @@ -// Copyright 2006 all rights reserved; see LICENSE file for BSD-style license +// Copyright 2006-2007 all rights reserved; see LICENSE file for BSD-style license package edu.berkeley.sbp; -import edu.berkeley.sbp.*; import edu.berkeley.sbp.util.*; -import edu.berkeley.sbp.Sequence.Position; -import java.io.*; import java.util.*; -/** if ambiguity checking is enabled, this exception is thrown to signal that the parse was ambiguous */ +/** thrown to signal that a parse was ambiguous */ public class Ambiguous extends Exception { - final Forest ambiguity; - private final HashSet> ht; + private final Forest ambiguity; + private final HashSet> possibilities; /** - * @param ht a specially-constructed set of trees with shared nodes replaced by '*' + * @param possibilities is a specially-constructed set of trees with shared nodes replaced by '*' */ - Ambiguous(Forest ambiguity, HashSet> ht) { + Ambiguous(Forest ambiguity, HashSet> possibilities) { this.ambiguity = ambiguity; - this.ht = ht; + this.possibilities = possibilities; } - public Forest getAmbiguity() { return ambiguity; } - - /** WARNING: this method is not considered part of the "stable API"; it may be removed in the future */ - public Input.Region getRegion() { return ambiguity.getRegion(); } + public Forest getForest() { return ambiguity; } public String toString() { StringBuffer sb = new StringBuffer(); sb.append("unresolved ambiguity at "+ambiguity.getRegion()+"; shared subtrees are shown as \"*\" "); - for(Tree result : ht) { + for(Tree result : possibilities) { sb.append("\n possibility: "); StringBuffer sb2 = new StringBuffer(); result.toPrettyString(sb2);