ShakeTokenBasedTokenInputStream

constructor(source: String, tokens: Array<ShakeToken>, map: PositionMap)(source)