From 8062cff63f864178a2a73650870362871bc25224 Mon Sep 17 00:00:00 2001 From: "Benjamin J. Culkin" Date: Mon, 4 Jun 2018 22:19:21 -0300 Subject: Exhaustion pt. 2 There is now syntax for rule references. Use @ instead of $, and use := to indicate you want exhaustion enabled Use @ to refer to it --- .../parser/elements/RuleVarRefCaseElement.java | 47 ++++++++++++++++++++++ 1 file changed, 47 insertions(+) create mode 100644 src/main/java/bjc/rgens/parser/elements/RuleVarRefCaseElement.java (limited to 'src/main/java/bjc/rgens/parser/elements/RuleVarRefCaseElement.java') diff --git a/src/main/java/bjc/rgens/parser/elements/RuleVarRefCaseElement.java b/src/main/java/bjc/rgens/parser/elements/RuleVarRefCaseElement.java new file mode 100644 index 0000000..a7be1bb --- /dev/null +++ b/src/main/java/bjc/rgens/parser/elements/RuleVarRefCaseElement.java @@ -0,0 +1,47 @@ +package bjc.rgens.parser.elements; + +import bjc.utils.data.IPair; + +import bjc.rgens.parser.GenerationState; +import bjc.rgens.parser.GrammarException; +import bjc.rgens.parser.RecurLimitException; +import bjc.rgens.parser.RGrammar; +import bjc.rgens.parser.Rule; +import bjc.rgens.parser.RuleCase; + +public class RuleVarRefCaseElement extends StringCaseElement { + public RuleVarRefCaseElement(String vl) { + super(vl, false); + } + + public void generate(GenerationState state) { + if(!state.rlVars.containsKey(val)) { + throw new GrammarException("No rule variable named " + val); + } + + IPair par = state.rlVars.get(val); + + GenerationState newState = state.newBuf(); + newState.swapGrammar(par.getLeft()); + + if(par.getRight().doRecur()) { + RuleCase cse = par.getRight().getCase(state.rnd); + System.err.printf("\tFINE: Generating %s (from %s)\n", cse, par.getRight().name); + + par.getLeft().generateCase(cse, newState); + + par.getRight().endRecur(); + } else { + throw new RecurLimitException("Rule recurrence limit exceeded"); + } + + String res = newState.contents.toString(); + + if (par.getRight().name.contains("+")) { + /* Rule names with pluses in them get space-flattened */ + state.contents.append(res.replaceAll("\\s+", "")); + } else { + state.contents.append(res); + } + } +} -- cgit v1.2.3