// @copyright@
// This file is part of nzdis-kif package. See the file LICENSE for copyright information 
// and the terms and conditions for copying, distribution and modification of nzdis-kif package.

package nzdis.lang.kif.app;

/**/
import nzdis.lang.kif.node.*;
import nzdis.lang.kif.tool.TreeBuilder;
import java.io.*;


/**
 * Prints  on standard output back the ascii representation of the given Kif file.
 * This is a toy class which demonstrates the use of ToAscii utility class.
 *
 *@author Mariusz Nowostawski
 *@version @version@ $Revision: 1.2 $
 */
public class ToAscii {

    public static void main(String[] arguments) {

        if(arguments.length != 1) {
            System.out.println("usage:");
            System.out.println("  java ToAscii filename");
            System.exit(1);
        }

        try {    
            Node ast = TreeBuilder.getNode(
	        new PushbackReader(
                new BufferedReader(
                new FileReader(arguments[0])), 1024));
            System.out.println(nzdis.lang.kif.tool.ToAscii.toString(ast));
        } catch(Exception e) {
            System.out.println(e);
        }
    }
}