Generates a rule for the char sequence, allowing any amount of preceding/following whitespace. @param string char sequence @return rule
(CharSequence string)
| 643 | * @return rule |
| 644 | */ |
| 645 | public CharTerminal<V> ws(CharSequence string) { |
| 646 | return new CharTerminal<>((ignoreCase) -> { |
| 647 | get().pushFrame("ws(\"" + string + "\")"); |
| 648 | consumeWS(); |
| 649 | if (!extremelyInnerString(string, ignoreCase)) { return get().ruleReturn(false, false); } |
| 650 | consumeWS(); |
| 651 | return get().ruleReturn(true, true); |
| 652 | }); |
| 653 | } |
| 654 | |
| 655 | private boolean extremelyInnerString(CharSequence string, boolean ignoreCase) { |
| 656 | for (int i = 0; i < string.length(); i++) { |