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

Field Summary
Filefile
Stringline
intline_no
intline_pos
Stringpragma_prefix
InputStreamstream
Constructor Summary
PositionInfo(int _line_no, int _char_pos, String prefix, String _line, File file)
Method Summary
StringtoString()

Field Detail

file

public File file

line

public String line

line_no

public int line_no

line_pos

public int line_pos

pragma_prefix

public String pragma_prefix

stream

public InputStream stream

Constructor Detail

PositionInfo

public PositionInfo(int _line_no, int _char_pos, String prefix, String _line, File file)

Method Detail

toString

public String toString()