org.owasp.orizon.mirage.php.parser
Class JavaCharStream

java.lang.Object
  extended by org.owasp.orizon.mirage.php.parser.JavaCharStream

public class JavaCharStream
extends java.lang.Object

A CharStream that handles unicode escape sequences as in java source files


Field Summary
protected  int[] bufcolumn
           
protected  char[] buffer
           
protected  int[] bufline
           
protected  int column
           
protected  int inBuf
           
protected  int line
           
protected  int maxNextCharInd
           
protected  char[] nextCharBuf
           
protected  int nextCharInd
           
protected  boolean prevCharIsCR
           
protected  boolean prevCharIsLF
           
protected  int tabSize
           
 
Constructor Summary
JavaCharStream(java.io.Reader dstream)
          Constructor.
JavaCharStream(java.io.Reader dstream, int startline, int startcolumn)
          Constructor.
JavaCharStream(java.io.Reader dstream, int startline, int startcolumn, int buffersize)
          Constructor.
 
Method Summary
 void adjustBeginLineColumn(int newLine, int newCol)
          Method to adjust line and column numbers for the start of a token.
protected  void AdjustBuffSize()
           
 void backup(int amount)
          Backup a number of characters.
 char BeginToken()
           
 void Done()
          Reset buffer when finished.
protected  void ExpandBuff(boolean wrapAround)
           
protected  void FillBuff()
           
 int getBeginColumn()
          Get token beginning column number.
 int getBeginLine()
          Get token beginning line number.
 int getColumn()
          Deprecated.  
 int getEndColumn()
          Get token end column number.
 int getEndLine()
          Get token end line number.
 java.lang.String GetImage()
          Get token literal value.
 int getLine()
          Deprecated.  
 char[] GetSuffix(int len)
          Get the suffix.
 int getTabSize()
          returns the size of a tab for location reporting purposes, default value is 8.
protected  char ReadByte()
           
 char readChar()
          Read a character.
 void setTabSize(int i)
          sets the size of a tab for location reporting purposes, default value is 8.
protected  void UpdateLineColumn(char c)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

bufline

protected int[] bufline

bufcolumn

protected int[] bufcolumn

column

protected int column

line

protected int line

prevCharIsCR

protected boolean prevCharIsCR

prevCharIsLF

protected boolean prevCharIsLF

buffer

protected char[] buffer

maxNextCharInd

protected int maxNextCharInd

inBuf

protected int inBuf

tabSize

protected int tabSize

nextCharBuf

protected char[] nextCharBuf

nextCharInd

protected int nextCharInd
Constructor Detail

JavaCharStream

public JavaCharStream(java.io.Reader dstream,
                      int startline,
                      int startcolumn,
                      int buffersize)
Constructor.


JavaCharStream

public JavaCharStream(java.io.Reader dstream,
                      int startline,
                      int startcolumn)
Constructor.


JavaCharStream

public JavaCharStream(java.io.Reader dstream)
Constructor.

Method Detail

setTabSize

public void setTabSize(int i)
sets the size of a tab for location reporting purposes, default value is 8.


getTabSize

public int getTabSize()
returns the size of a tab for location reporting purposes, default value is 8.


ExpandBuff

protected void ExpandBuff(boolean wrapAround)

UpdateLineColumn

protected void UpdateLineColumn(char c)

readChar

public char readChar()
              throws java.io.IOException
Read a character.

Throws:
java.io.IOException

getColumn

public int getColumn()
Deprecated. 

See Also:
getEndColumn()

getLine

public int getLine()
Deprecated. 

See Also:
getEndLine()

getEndColumn

public int getEndColumn()
Get token end column number.


getEndLine

public int getEndLine()
Get token end line number.


getBeginColumn

public int getBeginColumn()
Get token beginning column number.


getBeginLine

public int getBeginLine()
Get token beginning line number.


backup

public void backup(int amount)
Backup a number of characters.


GetImage

public java.lang.String GetImage()
Get token literal value.


GetSuffix

public char[] GetSuffix(int len)
Get the suffix.


Done

public void Done()
Reset buffer when finished.


adjustBeginLineColumn

public void adjustBeginLineColumn(int newLine,
                                  int newCol)
Method to adjust line and column numbers for the start of a token.


AdjustBuffSize

protected void AdjustBuffSize()

ReadByte

protected char ReadByte()
                 throws java.io.IOException
Throws:
java.io.IOException

FillBuff

protected void FillBuff()
                 throws java.io.IOException
Throws:
java.io.IOException

BeginToken

public char BeginToken()
                throws java.io.IOException
Throws:
java.io.IOException