/*
 * xtc - The eXTensible Compiler
 * Copyright (C) 2004-2007 Robert Grimm
 *
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License
 * version 2 as published by the Free Software Foundation.
 *
 * 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, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
 * USA.
 */
package xtc.lang;

import java.lang.reflect.Method;

import java.io.File;
import java.io.IOException;
import java.io.Reader;

import xtc.tree.Node;
import xtc.tree.Visitor;
import xtc.tree.ParseTreePrinter;
import xtc.tree.ParseTreeStripper;
import xtc.tree.Printer;

import xtc.util.Runtime;
import xtc.util.SymbolTable;
import xtc.util.Tool;

import xtc.parser.Result;
import xtc.parser.ParseException;

/**
 * The Java tool.
 *
 * <h4>Parser Runtime Classes</h4>
 *
 * The Java parsers supported by this tool are generated by
 * <i>Rats!</i>, JavaCC, and ANTLR, respectively.  Each of these
 * parsers requires a set of runtime classes.  The runtime classes for
 * the <i>Rats!</i> generated parser are (obviously) part of xtc.  The
 * runtime classes for the JavaCC generated parser are contained in
 * the {@link xtc.lang.javacc} package.  However, while the actual
 * parser generated by ANTLR is contained in the {@link
 * xtc.lang.antlr} paackage, the runtime classes are not.
 * Consequently, running this tool requires access to the
 * <code>antlr.jar</code> file that is part of ANTLR's distribution.
 * In particular, <code>antlr.jar</code> must either be in the local
 * classpath (when running this tool within the development tree) or
 * in the same directory as the <code>xtc.jar</code> file (when
 * running this tool from the binary distribution).  In the latter
 * case, xtc's JAR file manifest already contains the appropriate
 * classpath declaration.
 *
 * @author Robert Grimm
 * @version $Revision: 1.37 $
 */
public class Java extends Tool {

  /** The method for printing the memoization table's profile. */
  protected Method profile;

  /** The method for printing the parser's memoization table. */
  protected Method dump;

  /** Create a new Java tool. */
  public Java() {
    /* Nothing to do. */
  }

  public String getName() {
    return "xtc Java Tool";
  }

  public String getCopy() {
    return "(C) 2004-2007 IBM, Robert Grimm, and NYU";
  }

  public String getExplanation() {
    return
      "By default, this tool simply parses Java sources using the Rats!-" +
      "generated recognizer.  If the ast option is specified, it also " +
      "generates an AST, which can then be further processed and printed.  " +
      "If the pt option is specified, it also embeds all formatting in " +
      "the resulting AST.  For performance comparisons, this tool can " +
      "optionally use ANTLR- or JavaCC-generated recognizers and parsers.  " +
      "Any ASTs generated by these parsers cannot be processed.";
  }

  public void init() {
    super.init();
    runtime.
      bool("memoProfile", "printMemoProfile", false,
           "Print profile of parser's memoization table.").
      bool("memoTable", "printMemoTable", false,
           "Print parser's memoization table.").
      bool("tiger", "optionTiger", false,
           "Process Java 5 aka Tiger.").
      bool("ast", "optionAST", false,
           "Use parser that builds abstract syntax tree.").
      bool("parsetree", "optionParseTree", false,
           "Use parser that builds parse tree.").
      bool("strip", "optionStrip", false,
           "Strip any annotations from the AST before printing.").
      bool("simplifyAST", "optionSimplifyAST", false,
           "Simplify the AST.").
      bool("printAST", "printAST", false,
           "Print the AST in generic form.").
      bool("locateAST", "optionLocateAST", false,
           "Include location information when printing the AST in " + 
           "generic form.").
      bool("printSource", "printSource", false,
           "Print the AST in Java source form.").
      bool("antlr", "optionANTLR", false,
           "Use an ANTLR-generated parser.").
      bool("javacc", "optionJavaCC", false,
           "Use a JavaCC-generated parser.").
      bool("analyze", "optionAnalyze", false,
           "Analyze the program's AST.").
      bool("printSymbolTable", "printSymbolTable", false,
           "Print the program's symbol table.").
      bool("g", "debug", false,
           "Ignored; provided for compatibility with jacks.").
      bool("deprecated", "deprecated", false,
           "Ignored; provided for compatibility with jacks.");
  }

  public void prepare() {
    super.prepare();
    if (runtime.test("printMemoProfile")) {
      if (runtime.test("optionANTLR") || runtime.test("optionJavaCC")) {
        runtime.error("memoization profile only available for Rats!-generated " +
                      "parser");
      } else {
        // Ensure the parser has a profile(Printer) method.
        Class  klass;
        String name;
        if (runtime.test("optionAST")) {
          klass = JavaParser.class;
          name  = "Java parser";
        } else if (runtime.test("optionParseTree")) {
          klass = JavaReader.class;
          name  = "Java reader";
        } else {
          klass = JavaRecognizer.class;
          name  = "Java recognizer";
        }
        try {
          profile = klass.getMethod("profile", new Class[] { Printer.class });
        } catch (NoSuchMethodException x) {
          runtime.error(name + " generated without profile attribute");
        } catch (SecurityException x) {
          runtime.error("unable to access " + name + "'s profile() method");
        }
      }
    }
    if (runtime.test("printMemoTable")) {
      if (runtime.test("optionANTLR") || runtime.test("optionJavaCC")) {
        runtime.error("memoization table only available for Rats!-generated " +
                      "parser");
      } else {
        // Ensure the parser has a dump(Printer) method.
        Class  klass;
        String name;
        if (runtime.test("optionAST")) {
          klass = JavaParser.class;
          name  = "Java parser";
        } else if (runtime.test("optionParseTree")) {
          klass = JavaReader.class;
          name  = "Java reader";
        } else {
          klass = JavaRecognizer.class;
          name  = "Java recognizer";
        }
        try {
          dump = klass.getMethod("dump", new Class[] { Printer.class });
        } catch (NoSuchMethodException x) {
          runtime.error(name + " generated without dump attribute");
        } catch (SecurityException x) {
          runtime.error("unable to access " + name + "'s dump() method");
        }
      }
    }
    if (runtime.test("optionTiger")) {
      if (runtime.test("optionANTLR")) {
        runtime.error("antlr option incompatible with tiger option");
      } else if (runtime.test("optionJavaCC")) {
        runtime.error("javacc option incompatible with tiger option");
      }
      if ((! runtime.test("optionAST")) && (! runtime.test("optionParseTree"))) {
        runtime.error("tiger option requires ast or parseTree option");
      }
    }
    if (runtime.test("optionANTLR") && runtime.test("optionJavaCC")) {
      runtime.error("antlr option incompatible with javacc option");
    }
    if (runtime.test("optionParseTree")) {
      if (runtime.test("optionANTLR")) {
        runtime.error("antlr option incompatible with pt option");
      }
      if (runtime.test("optionJavaCC")) {
        runtime.test("javacc option incompatible with pt option");
      }
    }
    if (runtime.test("optionStrip") ||
        runtime.test("optionSimplifyAST") ||
        runtime.test("printAST") ||
        runtime.test("printSource")) {
      if ((! runtime.test("optionAST")) && (! runtime.test("optionParseTree"))) {
        runtime.error("processing of AST requires ast or pt option");
      } else if (runtime.test("optionANTLR")) {
        runtime.error("AST built by ANTLR-generated parser cannot be printed");
      } else if (runtime.test("optionJavaCC")) {
        runtime.error("AST built by JavaCC-generated parser cannot be printed");
      }
    }
    if (runtime.test("optionLocateAST")) {
      if (! runtime.test("printAST")) {
        runtime.error("locateAST option requires printAST option");
      }
    }
    if (runtime.test("optionAnalyze") && !runtime.test("optionSimplifyAST"))
      runtime.error("type checker only works on simplified AST;" + 
          "run with -ast -simplifyAST -analyze");
  }

  public File locate(String name) throws IOException {
    File file = super.locate(name);
    if (Integer.MAX_VALUE < file.length()) {
      throw new IllegalArgumentException(file + ": file too large");
    }
    return file;
  }

  public Node parse(Reader in, File file) throws IOException, ParseException {
    if (runtime.test("optionJavaCC")) { // ============================ JavaCC
      if (runtime.test("optionAST")) {
        xtc.lang.javacc.JavaTreeParser parser =
          new xtc.lang.javacc.JavaTreeParser(in);
        try {
          parser.CompilationUnit();
        } catch (xtc.lang.javacc.ParseException x) {
          runtime.error();
          System.err.println(x.getMessage());
        }

      } else {
        xtc.lang.javacc.JavaParser parser = new xtc.lang.javacc.JavaParser(in);
        try {
          parser.CompilationUnit();
        } catch (xtc.lang.javacc.ParseException x) {
          runtime.error();
          System.err.println(x.getMessage());
        }
      }
      return null;

    } else if (runtime.test("optionANTLR")) { // ====================== ANTLR
      if (runtime.test("optionAST")) {
        xtc.lang.antlr.JavaTreeLexer lexer =
          new xtc.lang.antlr.JavaTreeLexer(in);
        xtc.lang.antlr.JavaTreeRecognizer parser =
          new xtc.lang.antlr.JavaTreeRecognizer(lexer);
        try {
          parser.compilationUnit();
        } catch (Exception x) {
          runtime.error();
          System.err.println(x.getMessage());
        }
        parser.getAST();

      } else {
        xtc.lang.antlr.JavaLexer lexer = new xtc.lang.antlr.JavaLexer(in);
        xtc.lang.antlr.JavaRecognizer parser =
          new xtc.lang.antlr.JavaRecognizer(lexer);
        try {
          parser.compilationUnit();
        } catch (Exception x) {
          runtime.error();
          System.err.println(x.getMessage());
        }
      }
      return null;

    } else { // ======================================================= Rats!
      if (runtime.test("optionTiger") && runtime.test("optionParseTree")) {
        JavaFiveReader parser =
          new JavaFiveReader(in, file.toString(), (int)file.length());
        Result         result = parser.pCompilationUnit(0);
        printMemoInfo(parser, file);
        return (Node)parser.value(result);

      } else if (runtime.test("optionTiger") && runtime.test("optionAST")) {
        JavaFiveParser parser =
          new JavaFiveParser(in, file.toString(), (int)file.length());
        Result         result = parser.pCompilationUnit(0);
        printMemoInfo(parser, file);
        return (Node)parser.value(result);

      } else if (runtime.test("optionParseTree")) {
        JavaReader parser =
          new JavaReader(in, file.toString(), (int)file.length());
        Result     result = parser.pCompilationUnit(0);
        printMemoInfo(parser, file);
        return (Node)parser.value(result);

      } else if (runtime.test("optionAST")) {
        JavaParser parser =
          new JavaParser(in, file.toString(), (int)file.length());
        Result     result = parser.pCompilationUnit(0);
        printMemoInfo(parser, file);
        return (Node)parser.value(result);

      } else {
        JavaRecognizer parser =
          new JavaRecognizer(in, file.toString(), (int)file.length());
        Result         result = parser.pCompilationUnit(0);
        printMemoInfo(parser, file);
        return (Node)parser.value(result);
      }
    }
  }

  /**
   * Print the specified parser's memoization profile and table.
   *
   * @param parser The parser.
   * @param file The file.
   */
  private void printMemoInfo(Object parser, File file) {
    if (runtime.test("printMemoProfile")) {
      try {
        profile.invoke(parser, new Object[] { runtime.console() });
      } catch (Exception x) {
        runtime.error(file + ": " + x.getMessage());
      }
      runtime.console().flush();
    }
    
    if (runtime.test("printMemoTable")) {
      try {
        dump.invoke(parser, new Object[] { runtime.console() });
      } catch (Exception x) {
        runtime.error(file + ": " + x.getMessage());
      }
      runtime.console().flush();
    }
  }

  public void process(Node node) {
    // Simplify the AST.
    if (runtime.test("optionSimplifyAST")) {
      node = (Node)new JavaAstSimplifier().dispatch(node);
    }

    if (runtime.test("optionAnalyze")) {
      // Make sure the classpath is set.
      if (!runtime.hasValue(Runtime.INPUT_DIRECTORY))
        runtime.setValue(Runtime.INPUT_DIRECTORY,
                         new File(System.getProperty("user.dir")));

      // Perform type checking.
      final SymbolTable table = new SymbolTable();
      new JavaAnalyzer(runtime, table).dispatch(node);

      // Print the symbol table.
      if (runtime.test("printSymbolTable")) {
        final Visitor visitor = runtime.console().visitor();
        try {
          table.root().dump(runtime.console());
        } finally {
          runtime.console().register(visitor);
        }
        runtime.console().flush();
      }
    }

    // Strip the AST.
    if (runtime.test("optionStrip")) {
      node = (Node)new ParseTreeStripper().dispatch(node);
    }

    // Print the AST.
    if (runtime.test("printAST")) {
      runtime.console().format(node, runtime.test("optionLocateAST")).pln().
        flush();
    }

    // Print the source.
    if (runtime.test("printSource")) {
      if (runtime.test("optionParseTree") && (! runtime.test("optionStrip"))) {
        new ParseTreePrinter(runtime.console()).dispatch(node);
      } else {
        new JavaPrinter(runtime.console()).dispatch(node);
      }
      runtime.console().flush();
    }
  }

  /**
   * Run the tool with the specified command line arguments.
   *
   * @param args The command line arguments.
   */
  public static void main(String[] args) {
    new Java().run(args);
  }

}