X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FRepeat.java;h=2dd39286674c447357796f446e76f14577fdb00a;hp=c68120e8c6a63988a98986b5a9a041d6c1a73505;hb=225993309e6183afa9a88fc13d39df56be54b992;hpb=b366a301b090a285c372f4fd77ab7472440f7d30 diff --git a/src/edu/berkeley/sbp/Repeat.java b/src/edu/berkeley/sbp/Repeat.java index c68120e..2dd3928 100644 --- a/src/edu/berkeley/sbp/Repeat.java +++ b/src/edu/berkeley/sbp/Repeat.java @@ -8,43 +8,17 @@ import java.lang.reflect.*; import java.lang.ref.*; /** currently this class exports only static methods to create repetitions; there are no public instance methods or constructors */ -public class Repeat extends Union { +/* FIXME make private again */ public class Repeat extends Union { - /** repeat zero or one times */ - public static Repeat maybe(Element e) { return new Repeat(e, true, false, null, false); } - public static Repeat maybe(Element e, Object tag) { return new Repeat(e, true, false, null, false, tag); } - /** repeat zero or more times */ - public static Repeat many0(Element e) { return new Repeat(e, true, true, null, false); } - public static Repeat many0(Element e, Object tag) { return new Repeat(e, true, true, null, false, tag); } - /** repeat zero or more times, separated by sep */ - public static Repeat many0(Element e, Element sep) { return new Repeat(e, true, true, sep, false); } - public static Repeat many0(Element e, Element sep, Object tag) { return new Repeat(e, true, true, sep, false, tag); } - /** repeat one or more times */ - public static Repeat many1(Element e) { return new Repeat(e, false, true, null, false); } - public static Repeat many1(Element e, Object tag) { return new Repeat(e, false, true, null, false, tag); } - /** repeat one or more times, separated by sep */ - public static Repeat many1(Element e, Element sep) { return new Repeat(e, false, true, sep, false); } - public static Repeat many1(Element e, Element sep, Object tag) { return new Repeat(e, false, true, sep, false, tag); } - - /** repeat zero or more times, matching a maximal sequence of atoms */ - public static Repeat maximal0(Element e) { return new Repeat(e, true, true, null, true); } - public static Repeat maximal0(Element e, Object tag) { return new Repeat(e, true, true, null, true, tag); } - /** repeat one or more times, matching a maximal sequence of atoms */ - public static Repeat maximal1(Element e) { return new Repeat(e, false, true, null, true); } - public static Repeat maximal1(Element e, Object tag) { return new Repeat(e, false, true, null, true, tag); } - /** repeat one or more times, separated by an atom sep, matching a maximal sequence */ - public static Repeat maximal1(Element e, Element sep) { return new Repeat(e, false, true, sep, true); } - public static Repeat maximal1(Element e, Element sep, Object tag) { return new Repeat(e, false, true, sep, true, tag); } - - private Repeat(final Element e, boolean zeroOkay, boolean manyOkay, final Element separator, boolean maximal) { + public Repeat(final Element e, boolean zeroOkay, boolean manyOkay, final Element separator, boolean maximal) { this(e, zeroOkay, manyOkay, separator, maximal, null); } - private Repeat(final Element e, boolean zeroOkay, boolean manyOkay, final Element separator, boolean maximal, Object tag) { + Repeat(final Element e, boolean zeroOkay, boolean manyOkay, final Element separator, boolean maximal, Object tag) { super(e+(!manyOkay ? "?" : (zeroOkay ? (maximal ? "**" : "*") : (maximal ? "++" : "+")))+(separator==null?"":("/"+separator)), true); if (maximal && zeroOkay && separator != null) throw new RuntimeException("cannot create a maximal repetition of zero or more items with a separator (yet): " + this); if (zeroOkay) { add(new Sequence.Constant.Empty()); - if (manyOkay) add(new Sequence.Singleton(many1(e, separator))); + if (manyOkay) add(new Sequence.Singleton(Sequence.many1(e, separator))); else add(new Sequence.Singleton(e)); } else { add(new Sequence.RewritingSequence(tag, new Element[] { e }, null)); @@ -53,6 +27,9 @@ public class Repeat extends Union { else add(new Sequence.Unwrap(new Element[] { e, separator, Repeat.this }, tag, new boolean[] { false, true, false })); } - if (maximal) for(Sequence s : this) s.noFollow = separator==null ? e : separator; + // FIXME: hack! + if (maximal) + for(Sequence s : this) + s.follow = new edu.berkeley.sbp.misc.MetaGrammar.Invert(new edu.berkeley.sbp.misc.MetaGrammar.Infer(separator==null ? e : separator)); } }