map
The PositionMap of the input. It is directly taken from the input, because ShakeTokenInputStream already provides a PositionMap implementation.
The PositionMap of the input. It is directly taken from the input, because ShakeTokenInputStream already provides a PositionMap implementation.