From ca83a65836abae161a5be2f7fb4dc5fbe4fe83fe Mon Sep 17 00:00:00 2001 From: adam Date: Mon, 26 Mar 2007 01:40:30 -0400 Subject: [PATCH] update API in Repeat darcs-hash:20070326054030-5007d-215c9bbc271cdc5004b5aea6cb46d7e13de892de.gz --- src/edu/berkeley/sbp/meta/Repeat.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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; } -- 1.7.10.4