diff options
| author | Benjamin J. Culkin <bjculkin@mix.wvu.edu> | 2018-09-05 11:44:31 -0300 |
|---|---|---|
| committer | Benjamin J. Culkin <bjculkin@mix.wvu.edu> | 2018-09-05 11:44:31 -0300 |
| commit | 0ee1ddba9f7113ab7617689a573573a0b00cabbf (patch) | |
| tree | 8c7a42859f8f598328e0cdba43ba4c8bc7a0864d /src/main/java/bjc/rgens/parser | |
| parent | 9cb3677559a084e07abfd7d1ce93d5c73802be3d (diff) | |
Minor changes
Diffstat (limited to 'src/main/java/bjc/rgens/parser')
| -rwxr-xr-x | src/main/java/bjc/rgens/parser/RGrammarParser.java | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/main/java/bjc/rgens/parser/RGrammarParser.java b/src/main/java/bjc/rgens/parser/RGrammarParser.java index 91fb706..2e8e07c 100755 --- a/src/main/java/bjc/rgens/parser/RGrammarParser.java +++ b/src/main/java/bjc/rgens/parser/RGrammarParser.java @@ -24,6 +24,7 @@ import java.util.HashMap; import java.util.Map; import java.util.Set; +import static bjc.rgens.parser.RGrammarLogging.*; /** * Reads {@link RGrammar} from a input stream. * @@ -471,7 +472,9 @@ public class RGrammarParser { } public static Pair<IList<CaseElement>, Integer> parseElementString(String cses) { - return parseElementString(cses.split(" ")); + List<String> cseList = StringUtils.levelSplit(cses.trim(), " "); + + return parseElementString(cseList.toArray(new String[0])); } public static Pair<IList<CaseElement>, Integer> parseElementString(String... cses) { |