plugins/org.eclipse.viatra2.loaders.vtcl_lpgparser/src/org/eclipse/viatra2/lpgparser/Option.java

/**
* Copyright (c) 2007 OptXware Research and Development LLC.
* All rights reserved.   This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
*   Daniel Varro - Initial API and implementation
*/

package org.eclipse.viatra2.lpgparser;

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

public class Option
{
    String fileName = "input";
    boolean dumpTokens = false;
    boolean dumpKeywords = false;
    boolean print  = false;
    char[] inputChars;


    public Option(String [] args)
    {
        for (int i = 0; i < args.length; i++)
        {
            if (args[i].charAt(0) == '-')
            {
                if (args[i].equals("-d"))
                    dumpTokens = true;
                else if (args[i].equals("-k"))
                    dumpKeywords = true;
                else if (args[i].equals("-p"))
                    print = true;
            }
            else
            {
                fileName = args[i];
                break;
            }
        }
    }

    public String getFileName() { return fileName; }

    public boolean dumpTokens() { return dumpTokens; }

    public boolean dumpKeywords() { return dumpKeywords; }

    public boolean printTokens() { return print; }

    public char[] getInputChars() { return inputChars; }

    public int readInputChars() throws IOException
    {
        int rlen = 0;
        try
        {
            // Create a reader for the input stream and read the input file into a char array.
            File f = new File(fileName);
            int len = (int) f.length();
                BufferedReader in = new BufferedReader(new InputStreamReader(new FileInputStream(f)));

            inputChars = new char[len];

            rlen = in.read(inputChars, 0, len);

        }
        catch (Exception e)
        {
            IOException io = new IOException();
            System.err.println(e.getMessage());
            e.printStackTrace();
            throw(io);
        }
        return rlen;
    }
}