/*
 *        JacORB - a free Java ORB
 *
 *   Copyright (C) 1997-2004 Gerald Brose.
 *
 *   This library is free software; you can redistribute it and/or
 *   modify it under the terms of the GNU Library General Public
 *   License as published by the Free Software Foundation; either
 *   version 2 of the License, or (at your option) any later version.
 *
 *   This library is distributed in the hope that it will be useful,
 *   but WITHOUT ANY WARRANTY; without even the implied warranty of
 *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 *   Library General Public License for more details.
 *
 *   You should have received a copy of the GNU Library General Public
 *   License along with this library; if not, write to the Free
 *   Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
 */

package org.jacorb.idl;

/**
 * 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) 
 *
 * @author Gerald Brose
 * @version $Id: PositionInfo.java,v 1.9 2004-05-06 12:39:58 nicolas Exp $
 */

import java.io.File;
import java.io.InputStream;

public class PositionInfo
{
    public String line = "";
    public int line_no = 0;
    public int line_pos = 0;
    public String pragma_prefix = "";
    public File file;
    public InputStream stream;

    public PositionInfo( int _line_no, 
                         int _char_pos,
                         String prefix, 
                         String _line, 
                         File file)
    {
        line_no = _line_no;
        line_pos = _char_pos;
        pragma_prefix = prefix;
        line = _line;
        this.file = file;
    }

    public String toString()
    {
        return file.getName() + ", line " + line_no + "(" + line_pos + ")";
    }

}
























