diff options
| author | Benjamin J. Culkin <bjculkin@mix.wvu.edu> | 2018-09-05 12:24:51 -0300 |
|---|---|---|
| committer | Benjamin J. Culkin <bjculkin@mix.wvu.edu> | 2018-09-05 12:24:51 -0300 |
| commit | ad699d027fd9a63d7942fb455e7cfa775f726c43 (patch) | |
| tree | 20a3aff7d7b985fb924fda421c2a758ccc013c74 /src/main/java/bjc/rgens/parser/RGrammarBuilder.java | |
| parent | b11e685001d37f5d2be91e36184fee10987ba798 (diff) | |
Add grammar name pragma
Diffstat (limited to 'src/main/java/bjc/rgens/parser/RGrammarBuilder.java')
| -rwxr-xr-x | src/main/java/bjc/rgens/parser/RGrammarBuilder.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/main/java/bjc/rgens/parser/RGrammarBuilder.java b/src/main/java/bjc/rgens/parser/RGrammarBuilder.java index 8939b03..534d5ec 100755 --- a/src/main/java/bjc/rgens/parser/RGrammarBuilder.java +++ b/src/main/java/bjc/rgens/parser/RGrammarBuilder.java @@ -31,6 +31,8 @@ public class RGrammarBuilder { private Set<String> exportedRules; /* The current initial rule. */ private String initialRule; + /* The current grammar name. */ + public String name; /** Create a new randomized grammar builder. */ public RGrammarBuilder() { @@ -73,6 +75,7 @@ public class RGrammarBuilder { */ public RGrammar toRGrammar() { RGrammar grammar = new RGrammar(rules); + grammar.name = name; if(initialRule != null) { if(!rules.containsKey(initialRule)) { |