public static class ParserOptions.Builder
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
ParserOptions |
build() |
ParserOptions.Builder |
captureIgnoredChars(boolean captureIgnoredChars) |
ParserOptions.Builder |
captureLineComments(boolean captureLineComments) |
ParserOptions.Builder |
captureSourceLocation(boolean captureSourceLocation) |
ParserOptions.Builder |
maxCharacters(int maxCharacters) |
ParserOptions.Builder |
maxRuleDepth(int maxRuleDepth) |
ParserOptions.Builder |
maxTokens(int maxTokens) |
ParserOptions.Builder |
maxWhitespaceTokens(int maxWhitespaceTokens) |
ParserOptions.Builder |
parsingListener(ParsingListener parsingListener) |
public ParserOptions.Builder captureIgnoredChars(boolean captureIgnoredChars)
public ParserOptions.Builder captureSourceLocation(boolean captureSourceLocation)
public ParserOptions.Builder captureLineComments(boolean captureLineComments)
public ParserOptions.Builder maxCharacters(int maxCharacters)
public ParserOptions.Builder maxTokens(int maxTokens)
public ParserOptions.Builder maxWhitespaceTokens(int maxWhitespaceTokens)
public ParserOptions.Builder maxRuleDepth(int maxRuleDepth)
public ParserOptions.Builder parsingListener(ParsingListener parsingListener)
public ParserOptions build()