Class IndentDedentInputBuffer
- java.lang.Object
-
- org.parboiled.buffers.IndentDedentInputBuffer
-
- All Implemented Interfaces:
InputBuffer
public class IndentDedentInputBuffer extends java.lang.Object implements InputBuffer
Special, immutable InputBuffer implementation for indentation based grammars.This InputBuffer collapses all space and tab characters at the beginning of a text line into either nothing (if the line has the same indentation level as the previous line), a special
Chars.INDENTcharacter (if the line has a greater indentation level than the previous line) or one or moreChars.DEDENTcharacters (if the line has a lower indentation level than the previous line).Blank lines (lines containing nothing but whitespace) are removed from the input and the buffer can, optionally, remove line comments (i.e. comments that start with a predefined character sequence and go to the end of the line).
This means that the highest index of this InputBuffer is probably smaller than that of the original input text buffer, since all line indentations and blank lines have been collapsed. However, the implementation will make sure that
getPosition(int),extract(int, int), etc. will work as expected and always return the "correct" result from the underlying, original input buffer.If the input contains illegal indentation the buffer throws an
IllegalIndentationExceptionduring construction
-
-
Constructor Summary
Constructors Constructor Description IndentDedentInputBuffer(char[] input, int tabStop, java.lang.String lineCommentStart, boolean strict)Creates a new IndentDedentInputBuffer around the given char array.IndentDedentInputBuffer(char[] input, int tabStop, java.lang.String lineCommentStart, boolean strict, boolean skipEmptyLines)Creates a new IndentDedentInputBuffer around the given char array.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description charcharAt(int index)Returns the character at the given index.java.lang.Stringextract(int start, int end)Constructs a newStringfrom all character between the given indices.java.lang.Stringextract(IndexRange range)Constructs a newStringfrom all character covered by the given IndexRange.java.lang.StringextractLine(int lineNumber)Constructs a newStringcontaining all characters with the given line number except for the trailing newline.intgetLineCount()Returns the number of lines in the input buffer.intgetOriginalIndex(int index)Translates the given index from the scope of this InputBuffer to the scope of the original, underlying char array.PositiongetPosition(int index)Returns the line and column number of the character with the given index encapsulated in aPositionobject.booleantest(int index, char[] characters)Determines whether the characters starting at the given index match the ones from the given array (in order).
-
-
-
Constructor Detail
-
IndentDedentInputBuffer
public IndentDedentInputBuffer(char[] input, int tabStop, java.lang.String lineCommentStart, boolean strict)Creates a new IndentDedentInputBuffer around the given char array. Note that for performance reasons the given char array is not defensively copied.- Parameters:
input- the input text.tabStop- the number of characters in a tab stop.lineCommentStart- the string starting a line comment or null, if line comments are not definedstrict- signals whether the buffer should throw anIllegalIndentationExceptionon "semi-dedents", if false the buffer silently accepts these- Throws:
IllegalIndentationException- if the input contains illegal indentations and the strict flag is set
-
IndentDedentInputBuffer
public IndentDedentInputBuffer(char[] input, int tabStop, java.lang.String lineCommentStart, boolean strict, boolean skipEmptyLines)Creates a new IndentDedentInputBuffer around the given char array. Note that for performance reasons the given char array is not defensively copied.- Parameters:
input- the input text.tabStop- the number of characters in a tab stop.lineCommentStart- the string starting a line comment or null, if line comments are not definedstrict- signals whether the buffer should throw anIllegalIndentationExceptionon "semi-dedents", if false the buffer silently accepts theseskipEmptyLines- signals whether the buffer should swallow empty lines- Throws:
IllegalIndentationException- if the input contains illegal indentations and the strict flag is set
-
-
Method Detail
-
charAt
public char charAt(int index)
Description copied from interface:InputBufferReturns the character at the given index. If the index is invalid the method returnsChars.EOI.- Specified by:
charAtin interfaceInputBuffer- Parameters:
index- the index- Returns:
- the character at the given index or Chars.EOI.
-
test
public boolean test(int index, char[] characters)Description copied from interface:InputBufferDetermines whether the characters starting at the given index match the ones from the given array (in order).- Specified by:
testin interfaceInputBuffer- Parameters:
index- the index into the input buffer where to start the comparisoncharacters- the characters to test against the input buffer- Returns:
- true if matched
-
extract
public java.lang.String extract(int start, int end)Description copied from interface:InputBufferConstructs a newStringfrom all character between the given indices. Invalid indices are automatically adjusted to their respective boundary.- Specified by:
extractin interfaceInputBuffer- Parameters:
start- the start index (inclusively)end- the end index (exclusively)- Returns:
- a new String (non-interned)
-
extract
public java.lang.String extract(IndexRange range)
Description copied from interface:InputBufferConstructs a newStringfrom all character covered by the given IndexRange.- Specified by:
extractin interfaceInputBuffer- Parameters:
range- the IndexRange- Returns:
- a new String (non-interned)
-
getPosition
public Position getPosition(int index)
Description copied from interface:InputBufferReturns the line and column number of the character with the given index encapsulated in aPositionobject. The very first character has the line number 1 and the column number 1.- Specified by:
getPositionin interfaceInputBuffer- Parameters:
index- the index of the character to get the line number of- Returns:
- the line number
-
getOriginalIndex
public int getOriginalIndex(int index)
Description copied from interface:InputBufferTranslates the given index from the scope of this InputBuffer to the scope of the original, underlying char array. TheDefaultInputBufferimplementation simply returns the given index, but other implementations like theIndentDedentInputBufferor theMutableInputBufferneed to "undo" all compressions and index shiftings performed internally in order to return the underlying index.- Specified by:
getOriginalIndexin interfaceInputBuffer- Parameters:
index- the index relative to this InputBuffer- Returns:
- the index relative to the underlying string or char array
-
extractLine
public java.lang.String extractLine(int lineNumber)
Description copied from interface:InputBufferConstructs a newStringcontaining all characters with the given line number except for the trailing newline.- Specified by:
extractLinein interfaceInputBuffer- Parameters:
lineNumber- the line number to get- Returns:
- the string
-
getLineCount
public int getLineCount()
Description copied from interface:InputBufferReturns the number of lines in the input buffer.- Specified by:
getLineCountin interfaceInputBuffer- Returns:
- number of lines in the input buffer.
-
-