diff options
| author | Benjamin J. Culkin <bjculkin@mix.wvu.edu> | 2018-09-05 12:24:21 -0300 |
|---|---|---|
| committer | Benjamin J. Culkin <bjculkin@mix.wvu.edu> | 2018-09-05 12:24:21 -0300 |
| commit | b11e685001d37f5d2be91e36184fee10987ba798 (patch) | |
| tree | c601ba2c6cb7f17a0d635395b59818eb8b6071bc /src | |
| parent | cb5a0f731db04a0ed0712975dd00c1b27ee4d6f9 (diff) | |
Fix accidental breakage
Diffstat (limited to 'src')
| -rwxr-xr-x | src/main/java/bjc/rgens/parser/RGrammarParser.java | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/src/main/java/bjc/rgens/parser/RGrammarParser.java b/src/main/java/bjc/rgens/parser/RGrammarParser.java index 2e8e07c..bea2038 100755 --- a/src/main/java/bjc/rgens/parser/RGrammarParser.java +++ b/src/main/java/bjc/rgens/parser/RGrammarParser.java @@ -472,9 +472,19 @@ public class RGrammarParser { } public static Pair<IList<CaseElement>, Integer> parseElementString(String cses) { - List<String> cseList = StringUtils.levelSplit(cses.trim(), " "); - - return parseElementString(cseList.toArray(new String[0])); + /* + * @NOTE + * + * This is done using String.split because using things like ( + * as groupers breaks certain grammars. Maybe it can be used if + * some sort of way to set which groupers to use is added? + * + * List<String> cseList = StringUtils.levelSplit(cses.trim(), " "); + * + * return parseElementString(cseList.toArray(new String[0])); + */ + + return parseElementString(cses.split(" ")); } public static Pair<IList<CaseElement>, Integer> parseElementString(String... cses) { |
