diff options
| author | Benjamin J. Culkin <bjculkin@mix.wvu.edu> | 2017-10-11 22:25:09 -0300 |
|---|---|---|
| committer | Benjamin J. Culkin <bjculkin@mix.wvu.edu> | 2017-10-11 22:25:09 -0300 |
| commit | 924bcdc9a65c7f88004d6dbf8dfa138c9a125e5d (patch) | |
| tree | 396bcf7bb59e17091f268dadebbcdb42725e49c7 /RGens/src/main/java/bjc/rgens/newparser/RGrammarFormatter.java | |
| parent | 9a0bf41772184f7072f76cfa94e520d022261e4f (diff) | |
Source cleanup
Diffstat (limited to 'RGens/src/main/java/bjc/rgens/newparser/RGrammarFormatter.java')
| -rw-r--r-- | RGens/src/main/java/bjc/rgens/newparser/RGrammarFormatter.java | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/RGens/src/main/java/bjc/rgens/newparser/RGrammarFormatter.java b/RGens/src/main/java/bjc/rgens/newparser/RGrammarFormatter.java index 168fb7b..acb2c07 100644 --- a/RGens/src/main/java/bjc/rgens/newparser/RGrammarFormatter.java +++ b/RGens/src/main/java/bjc/rgens/newparser/RGrammarFormatter.java @@ -10,16 +10,16 @@ import java.util.Set; * Format randomized grammars to strings properly. * * @author EVE - * */ public class RGrammarFormatter { /** * Format a grammar into a file that represents that grammar. * * @param gram - * The grammar to format. + * The grammar to format. * - * @return The formatted grammar. + * @return + * The formatted grammar. */ public static String formatGrammar(RGrammar gram) { StringBuilder sb = new StringBuilder(); @@ -49,6 +49,7 @@ public class RGrammarFormatter { return sb.toString().trim(); } + /* Format a rule. */ private static void processRule(Rule rule, StringBuilder sb) { IList<RuleCase> cases = rule.getCases(); @@ -81,18 +82,15 @@ public class RGrammarFormatter { } + /* Format a case. */ private static void processCase(RuleCase cse, StringBuilder sb) { - /* - * Process each element, adding a space. - */ + /* Process each element, adding a space. */ for (CaseElement element : cse.getElements()) { sb.append(element.toString()); sb.append(" "); } - /* - * Remove the trailing space. - */ + /* Remove the trailing space. */ sb.deleteCharAt(sb.length() - 1); } } |
