org.jacorb.idl

Class 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:
$Id: PositionInfo.java,v 1.9 2004/05/06 12:39:58 nicolas Exp $

Author:
Gerald Brose

Field Summary

File
file
String
line
int
line_no
int
line_pos
String
pragma_prefix
InputStream
stream

Constructor Summary

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

Method Summary

String
toString()

Field Details

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 Details

PositionInfo

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

Method Details

toString

public String toString()