From: adam Date: Mon, 26 Mar 2007 05:40:30 +0000 (-0400) Subject: update API in Repeat X-Git-Tag: tag_for_25-Mar~19 X-Git-Url: http://git.megacz.com/?p=sbp.git;a=commitdiff_plain;h=ca83a65836abae161a5be2f7fb4dc5fbe4fe83fe update API in Repeat darcs-hash:20070326054030-5007d-215c9bbc271cdc5004b5aea6cb46d7e13de892de.gz --- diff --git a/src/edu/berkeley/sbp/meta/Repeat.java b/src/edu/berkeley/sbp/meta/Repeat.java index b3f1841..6308362 100644 --- a/src/edu/berkeley/sbp/meta/Repeat.java +++ b/src/edu/berkeley/sbp/meta/Repeat.java @@ -20,7 +20,8 @@ public class Repeat extends Union { protected Repeat(final Element e, boolean zeroOkay, boolean manyOkay, final Element separator, boolean maximal, Object tag, Atom follow) { super(e+(!manyOkay ? "?" : (zeroOkay ? (maximal ? "**" : "*") : (maximal ? "++" : "+")))+(separator==null?"":("/"+separator)), true); if (zeroOkay && !manyOkay) { - add(Sequence.create().followedBy(follow)); + // FIXME + add(Sequence.create(new Element[0], tag).followedBy(follow)); add(Sequence.create(e).followedBy(follow)); return; }