| 7 |
|
|
| 8 |
|
#include "antlr/config.hpp" |
| 9 |
|
#include "antlr/InputBuffer.hpp" |
| 10 |
< |
#include <iostream> |
| 10 |
> |
#include <iostream> |
| 11 |
> |
#ifdef IS_MPI |
| 12 |
> |
#include "mpi.h" |
| 13 |
> |
#endif |
| 14 |
|
|
| 15 |
< |
#include <iostream> |
| 13 |
< |
#include <iostream> |
| 15 |
> |
|
| 16 |
|
#ifdef ANTLR_CXX_SUPPORTS_NAMESPACE |
| 17 |
|
namespace antlr { |
| 18 |
|
#endif |
| 21 |
|
void InputBuffer::fill(unsigned int amount) |
| 22 |
|
{ |
| 23 |
|
syncConsume(); |
| 24 |
+ |
|
| 25 |
|
// Fill the buffer sufficiently to hold needed characters |
| 26 |
|
while (queue.entries() < amount + markerOffset) |
| 27 |
< |
{ |
| 28 |
< |
// Append the next character |
| 29 |
< |
queue.append(getChar()); |
| 27 |
> |
{ |
| 28 |
> |
// Append the next character |
| 29 |
> |
queue.append(getChar()); |
| 30 |
|
} |
| 31 |
|
} |
| 32 |
|
|
