Constructor PositionFilter
PositionFilter(TokenStream)
Constructs a PositionFilter that assigns a position increment of zero to all but the first token from the given input stream.
Declaration
public PositionFilter(TokenStream input)
Parameters
Type | Name | Description |
---|---|---|
TokenStream | input | the input stream |
PositionFilter(TokenStream, Int32)
Constructs a PositionFilter that assigns the given position increment to all but the first token from the given input stream.
Declaration
public PositionFilter(TokenStream input, int positionIncrement)
Parameters
Type | Name | Description |
---|---|---|
TokenStream | input | the input stream |
System.Int32 | positionIncrement | position increment to assign to all but the first token from the input stream |