org.jacorb.idl
Class PositionInfo
java.lang.Object
org.jacorb.idl.PositionInfo
public class PositionInfo
extends java.lang.Object
PositionInfo objects are records that group information about the
current position in the input file. They are created by the lexer but
also includes information about the current input stream that is
stored here to make switching between input stream easier for
GlobalInputStream (when including another file or returning to the
including file)
Version:
- Gerald Brose
PositionInfo(int _line_no, int _char_pos, String prefix, String _line, File file)
|
line_no
public int line_no
line_pos
public int line_pos
pragma_prefix
public String pragma_prefix
stream
public InputStream stream
PositionInfo
public PositionInfo(int _line_no,
int _char_pos,
String prefix,
String _line,
File file)
toString
public String toString()