org.jacorb.idl
Class PositionInfo
public
class
PositionInfo
extends 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: $Id: PositionInfo.java,v 1.9 2004/05/06 12:39:58 nicolas Exp $
Author: Gerald Brose
public File file
public String line
public int line_no
public int line_pos
public String pragma_prefix
public InputStream stream
public PositionInfo(int _line_no, int _char_pos, String prefix, String _line, File file)
public String toString()