ANTLRNoCaseFileStream.java

/*
 *  Copyright (c) 2011, Oracle and/or its affiliates. All rights reserved.
 *
 *  This program is free software; you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation; version 2 of the License.
 *
 *  This program 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 General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program; if not, write to the Free Software
 *  Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301  USA
 */

/* Please see the following wiki for details of this functionality:
 * http://www.antlr.org/wiki/pages/viewpage.action?pageId=1782
 */

package com.mysql.clusterj.jdbc.antlr;

import java.io.IOException;
import java.io.File;
import java.io.InputStreamReader;
import java.io.FileInputStream;

public class ANTLRNoCaseFileStream extends ANTLRNoCaseStringStream {
    transient private String fileName;

    public ANTLRNoCaseFileStream(final String fileName) throws IOException {
        this(fileName, null);
    }

    public ANTLRNoCaseFileStream(final String fileName, final String encoding) throws IOException {
        this.fileName = fileName;
        load(fileName, encoding);
    }

    private void load(final String fileName, final String encoding)
        throws IOException
    {
        if ( fileName==null ) {
            return;
        }
        final File f = new File(fileName);
        final int size = (int)f.length();
        InputStreamReader isr;
        final FileInputStream fis = new FileInputStream(fileName);
        if ( encoding!=null ) {
            isr = new InputStreamReader(fis, encoding);
        }
        else {
            isr = new InputStreamReader(fis);
        }
        try {
            data = new char[size];
            super.n = isr.read(data);
        }
        finally {
            isr.close();
        }
    }

    public String getSourceName() {
        return fileName;
    }
}