View Javadoc

    1   /* Generated By:JavaCC: Do not edit this line. SimpleCharStream.java Version 4.0 */
    2   package net.sourceforge.pmd.cpd.cppast;
    3
    4   /***
    5    * An implementation of interface CharStream, where the stream is assumed to
    6    * contain only ASCII characters (without unicode processing).
    7    */
    8
    9   public class SimpleCharStream
    10  {
    11    public static final boolean staticFlag = false;
    12    int bufsize;
    13    int available;
    14    int tokenBegin;
    15    public int bufpos = -1;
    16    protected int bufline[];
    17    protected int bufcolumn[];
    18
    19    protected int column = 0;
    20    protected int line = 1;
    21
    22    protected boolean prevCharIsCR = false;
    23    protected boolean prevCharIsLF = false;
    24
    25    protected java.io.Reader inputStream;
    26
    27    protected char[] buffer;
    28    protected int maxNextCharInd = 0;
    29    protected int inBuf = 0;
    30    protected int tabSize = 8;
    31
    32    protected void setTabSize(int i) { tabSize = i; }
    33    protected int getTabSize(int i) { return tabSize; }
    34
    35
    36    protected void ExpandBuff(boolean wrapAround)
    37    {
    38       char[] newbuffer = new char[bufsize + 2048];
    39       int newbufline[] = new int[bufsize + 2048];
    40       int newbufcolumn[] = new int[bufsize + 2048];
    41
    42       try
    43       {
    44          if (wrapAround)
    45          {
    46             System.arraycopy(buffer, tokenBegin, newbuffer, 0, bufsize - tokenBegin);
    47             System.arraycopy(buffer, 0, newbuffer,
    48                                               bufsize - tokenBegin, bufpos);
    49             buffer = newbuffer;
    50
    51             System.arraycopy(bufline, tokenBegin, newbufline, 0, bufsize - tokenBegin);
    52             System.arraycopy(bufline, 0, newbufline, bufsize - tokenBegin, bufpos);
    53             bufline = newbufline;
    54
    55             System.arraycopy(bufcolumn, tokenBegin, newbufcolumn, 0, bufsize - tokenBegin);
    56             System.arraycopy(bufcolumn, 0, newbufcolumn, bufsize - tokenBegin, bufpos);
    57             bufcolumn = newbufcolumn;
    58
    59             maxNextCharInd = (bufpos += (bufsize - tokenBegin));
    60          }
    61          else
    62          {
    63             System.arraycopy(buffer, tokenBegin, newbuffer, 0, bufsize - tokenBegin);
    64             buffer = newbuffer;
    65
    66             System.arraycopy(bufline, tokenBegin, newbufline, 0, bufsize - tokenBegin);
    67             bufline = newbufline;
    68
    69             System.arraycopy(bufcolumn, tokenBegin, newbufcolumn, 0, bufsize - tokenBegin);
    70             bufcolumn = newbufcolumn;
    71
    72             maxNextCharInd = (bufpos -= tokenBegin);
    73          }
    74       }
    75       catch (Throwable t)
    76       {
    77          throw new Error(t.getMessage());
    78       }
    79
    80
    81       bufsize += 2048;
    82       available = bufsize;
    83       tokenBegin = 0;
    84    }
    85
    86    protected void FillBuff() throws java.io.IOException
    87    {
    88       if (maxNextCharInd == available)
    89       {
    90          if (available == bufsize)
    91          {
    92             if (tokenBegin > 2048)
    93             {
    94                bufpos = maxNextCharInd = 0;
    95                available = tokenBegin;
    96             }
    97             else if (tokenBegin < 0)
    98                bufpos = maxNextCharInd = 0;
    99             else
    100               ExpandBuff(false);
    101         }
    102         else if (available > tokenBegin)
    103            available = bufsize;
    104         else if ((tokenBegin - available) < 2048)
    105            ExpandBuff(true);
    106         else
    107            available = tokenBegin;
    108      }
    109
    110      int i;
    111      try {
    112         if ((i = inputStream.read(buffer, maxNextCharInd,
    113                                     available - maxNextCharInd)) == -1)
    114         {
    115            inputStream.close();
    116            throw new java.io.IOException();
    117         }
    118         else
    119            maxNextCharInd += i;
    120         return;
    121      }
    122      catch(java.io.IOException e) {
    123         --bufpos;
    124         backup(0);
    125         if (tokenBegin == -1)
    126            tokenBegin = bufpos;
    127         throw e;
    128      }
    129   }
    130
    131   public char BeginToken() throws java.io.IOException
    132   {
    133      tokenBegin = -1;
    134      char c = readChar();
    135      tokenBegin = bufpos;
    136
    137      return c;
    138   }
    139
    140   protected void UpdateLineColumn(char c)
    141   {
    142      column++;
    143
    144      if (prevCharIsLF)
    145      {
    146         prevCharIsLF = false;
    147         line += (column = 1);
    148      }
    149      else if (prevCharIsCR)
    150      {
    151         prevCharIsCR = false;
    152         if (c == '\n')
    153         {
    154            prevCharIsLF = true;
    155         }
    156         else
    157            line += (column = 1);
    158      }
    159
    160      switch (c)
    161      {
    162         case '\r' :
    163            prevCharIsCR = true;
    164            break;
    165         case '\n' :
    166            prevCharIsLF = true;
    167            break;
    168         case '\t' :
    169            column--;
    170            column += (tabSize - (column % tabSize));
    171            break;
    172         default :
    173            break;
    174      }
    175
    176      bufline[bufpos] = line;
    177      bufcolumn[bufpos] = column;
    178   }
    179
    180   public char readChar() throws java.io.IOException
    181   {
    182      if (inBuf > 0)
    183      {
    184         --inBuf;
    185
    186         if (++bufpos == bufsize)
    187            bufpos = 0;
    188
    189         return buffer[bufpos];
    190      }
    191
    192      if (++bufpos >= maxNextCharInd)
    193         FillBuff();
    194
    195      char c = buffer[bufpos];
    196
    197      UpdateLineColumn(c);
    198      return (c);
    199   }
    200
    201   /***
    202    * @deprecated
    203    * @see #getEndColumn
    204    */
    205
    206   public int getColumn() {
    207      return bufcolumn[bufpos];
    208   }
    209
    210   /***
    211    * @deprecated
    212    * @see #getEndLine
    213    */
    214
    215   public int getLine() {
    216      return bufline[bufpos];
    217   }
    218
    219   public int getEndColumn() {
    220      return bufcolumn[bufpos];
    221   }
    222
    223   public int getEndLine() {
    224      return bufline[bufpos];
    225   }
    226
    227   public int getBeginColumn() {
    228      return bufcolumn[tokenBegin];
    229   }
    230
    231   public int getBeginLine() {
    232      return bufline[tokenBegin];
    233   }
    234
    235   public void backup(int amount) {
    236
    237     inBuf += amount;
    238     if ((bufpos -= amount) < 0)
    239        bufpos += bufsize;
    240   }
    241
    242   public SimpleCharStream(java.io.Reader dstream, int startline,
    243   int startcolumn, int buffersize)
    244   {
    245     inputStream = dstream;
    246     line = startline;
    247     column = startcolumn - 1;
    248
    249     available = bufsize = buffersize;
    250     buffer = new char[buffersize];
    251     bufline = new int[buffersize];
    252     bufcolumn = new int[buffersize];
    253   }
    254
    255   public SimpleCharStream(java.io.Reader dstream, int startline,
    256                           int startcolumn)
    257   {
    258      this(dstream, startline, startcolumn, 4096);
    259   }
    260
    261   public SimpleCharStream(java.io.Reader dstream)
    262   {
    263      this(dstream, 1, 1, 4096);
    264   }
    265   public void ReInit(java.io.Reader dstream, int startline,
    266   int startcolumn, int buffersize)
    267   {
    268     inputStream = dstream;
    269     line = startline;
    270     column = startcolumn - 1;
    271
    272     if (buffer == null || buffersize != buffer.length)
    273     {
    274       available = bufsize = buffersize;
    275       buffer = new char[buffersize];
    276       bufline = new int[buffersize];
    277       bufcolumn = new int[buffersize];
    278     }
    279     prevCharIsLF = prevCharIsCR = false;
    280     tokenBegin = inBuf = maxNextCharInd = 0;
    281     bufpos = -1;
    282   }
    283
    284   public void ReInit(java.io.Reader dstream, int startline,
    285                      int startcolumn)
    286   {
    287      ReInit(dstream, startline, startcolumn, 4096);
    288   }
    289
    290   public void ReInit(java.io.Reader dstream)
    291   {
    292      ReInit(dstream, 1, 1, 4096);
    293   }
    294   public SimpleCharStream(java.io.InputStream dstream, String encoding, int startline,
    295   int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException
    296   {
    297      this(encoding == null ? new java.io.InputStreamReader(dstream) : new java.io.InputStreamReader(dstream, encoding), startline, startcolumn, buffersize);
    298   }
    299
    300   public SimpleCharStream(java.io.InputStream dstream, int startline,
    301   int startcolumn, int buffersize)
    302   {
    303      this(new java.io.InputStreamReader(dstream), startline, startcolumn, buffersize);
    304   }
    305
    306   public SimpleCharStream(java.io.InputStream dstream, String encoding, int startline,
    307                           int startcolumn) throws java.io.UnsupportedEncodingException
    308   {
    309      this(dstream, encoding, startline, startcolumn, 4096);
    310   }
    311
    312   public SimpleCharStream(java.io.InputStream dstream, int startline,
    313                           int startcolumn)
    314   {
    315      this(dstream, startline, startcolumn, 4096);
    316   }
    317
    318   public SimpleCharStream(java.io.InputStream dstream, String encoding) throws java.io.UnsupportedEncodingException
    319   {
    320      this(dstream, encoding, 1, 1, 4096);
    321   }
    322
    323   public SimpleCharStream(java.io.InputStream dstream)
    324   {
    325      this(dstream, 1, 1, 4096);
    326   }
    327
    328   public void ReInit(java.io.InputStream dstream, String encoding, int startline,
    329                           int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException
    330   {
    331      ReInit(encoding == null ? new java.io.InputStreamReader(dstream) : new java.io.InputStreamReader(dstream, encoding), startline, startcolumn, buffersize);
    332   }
    333
    334   public void ReInit(java.io.InputStream dstream, int startline,
    335                           int startcolumn, int buffersize)
    336   {
    337      ReInit(new java.io.InputStreamReader(dstream), startline, startcolumn, buffersize);
    338   }
    339
    340   public void ReInit(java.io.InputStream dstream, String encoding) throws java.io.UnsupportedEncodingException
    341   {
    342      ReInit(dstream, encoding, 1, 1, 4096);
    343   }
    344
    345   public void ReInit(java.io.InputStream dstream)
    346   {
    347      ReInit(dstream, 1, 1, 4096);
    348   }
    349   public void ReInit(java.io.InputStream dstream, String encoding, int startline,
    350                      int startcolumn) throws java.io.UnsupportedEncodingException
    351   {
    352      ReInit(dstream, encoding, startline, startcolumn, 4096);
    353   }
    354   public void ReInit(java.io.InputStream dstream, int startline,
    355                      int startcolumn)
    356   {
    357      ReInit(dstream, startline, startcolumn, 4096);
    358   }
    359   public String GetImage()
    360   {
    361      if (bufpos >= tokenBegin)
    362         return new String(buffer, tokenBegin, bufpos - tokenBegin + 1);
    363      else
    364         return new String(buffer, tokenBegin, bufsize - tokenBegin) +
    365                               new String(buffer, 0, bufpos + 1);
    366   }
    367
    368   public char[] GetSuffix(int len)
    369   {
    370      char[] ret = new char[len];
    371
    372      if ((bufpos + 1) >= len)
    373         System.arraycopy(buffer, bufpos - len + 1, ret, 0, len);
    374      else
    375      {
    376         System.arraycopy(buffer, bufsize - (len - bufpos - 1), ret, 0,
    377                                                           len - bufpos - 1);
    378         System.arraycopy(buffer, 0, ret, len - bufpos - 1, bufpos + 1);
    379      }
    380
    381      return ret;
    382   }
    383
    384   public void Done()
    385   {
    386      buffer = null;
    387      bufline = null;
    388      bufcolumn = null;
    389   }
    390
    391   /***
    392    * Method to adjust line and column numbers for the start of a token.
    393    */
    394   public void adjustBeginLineColumn(int newLine, int newCol)
    395   {
    396      int start = tokenBegin;
    397      int len;
    398
    399      if (bufpos >= tokenBegin)
    400      {
    401         len = bufpos - tokenBegin + inBuf + 1;
    402      }
    403      else
    404      {
    405         len = bufsize - tokenBegin + bufpos + 1 + inBuf;
    406      }
    407
    408      int i = 0, j = 0, k = 0;
    409      int nextColDiff = 0, columnDiff = 0;
    410
    411      while (i < len &&
    412             bufline[j = start % bufsize] == bufline[k = ++start % bufsize])
    413      {
    414         bufline[j] = newLine;
    415         nextColDiff = columnDiff + bufcolumn[k] - bufcolumn[j];
    416         bufcolumn[j] = newCol + columnDiff;
    417         columnDiff = nextColDiff;
    418         i++;
    419      }
    420
    421      if (i < len)
    422      {
    423         bufline[j] = newLine++;
    424         bufcolumn[j] = newCol + columnDiff;
    425
    426         while (i++ < len)
    427         {
    428            if (bufline[j = start % bufsize] != bufline[++start % bufsize])
    429               bufline[j] = newLine++;
    430            else
    431               bufline[j] = newLine;
    432         }
    433      }
    434
    435      line = bufline[j];
    436      column = bufcolumn[j];
    437   }
    438
    439 }