67686970717273747576
} public void acceptEolSpan(EOLSpan eolSpan) { rules.add(new EndOfLineRule(eolSpan.getText(), token, ignoreCase)); } public void acceptMark(Mark mark) { rules.add(new StarRule(mark, new ColoringWhitespaceDetector(), wordDetector, token)); } }); }
287288289290291292293
scanner.setRules(result); return scanner; } private void addWhitespaceRule(List rules) { rules.add(new WhitespaceRule(new ColoringWhitespaceDetector())); }