/*
 * Copyright (C) 2014, United States Government, as represented by the
 * Administrator of the National Aeronautics and Space Administration.
 * All rights reserved.
 *
 * The Java Pathfinder core (jpf-core) platform is licensed under the
 * Apache License, Version 2.0 (the "License"); you may not use this file except
 * in compliance with the License. You may obtain a copy of the License at
 * 
 *        http://www.apache.org/licenses/LICENSE-2.0. 
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and 
 * limitations under the License.
 */

package gov.nasa.jpf.tool;

import gov.nasa.jpf.Config;
import gov.nasa.jpf.JPFClassLoader;
import gov.nasa.jpf.util.FileUtils;
import gov.nasa.jpf.util.JPFSiteUtils;
import gov.nasa.jpf.util.event.EventTree;


/**
 * very simple tool to print .util.script.EventTrees
 * 
 * <2do> this should use native_classpath / JPFClassLoader to load the EventTree
 */
public class PrintEvents {

  static boolean printTree;
  static boolean printPaths;
  static String clsName;
  
  static void showUsage () {
    System.out.println("usage:   'PrintEvents [<option>..] <className>'");
    System.out.println("options:  -t  : print tree");
    System.out.println("          -p  : print paths");
  }

  static boolean readOptions (String[] args) {
    for (int i = 0; i < args.length; i++) {
      String arg = args[i];

      if ("-t".equals(arg)) {
        printTree = true;
      } else if ("-p".equals(arg)) {
        printPaths = true;
      } else if (arg.charAt(0) != '-') {
          clsName = arg;
          if (clsName.charAt(0) == '.'){
            clsName = "gov.nasa.jpf" + clsName;
          }
      } else {
        System.err.println("unknown option: " + arg);
        showUsage();

        return false;
      }
    }

    return (clsName != null);
  }

  static String[] getTestPathElements (Config config){
    String projectId = JPFSiteUtils.getCurrentProjectId();
    
    if (projectId != null) {
      String testCpKey = projectId + ".test_classpath";
      return  config.getCompactTrimmedStringArray(testCpKey);
      
    } else {
      return new String[0];
    }    
  }
  
  static void addTestClassPath (JPFClassLoader cl, String[] testPathElements){
    if (testPathElements != null) {
      for (String pe : testPathElements) {
        try {
          cl.addURL(FileUtils.getURL(pe));
        } catch (Throwable x) {
          System.err.println("malformed test_classpath URL: " + pe);
        }
      }
    }
  }
  
  public static void main (String[] args){
    if ((args.length == 0) || !readOptions(args)) {
      showUsage();
    }
     
    Config config = new Config(args);
    String[] testPathElements = getTestPathElements(config);
    JPFClassLoader cl = config.initClassLoader(RunTest.class.getClassLoader());
    addTestClassPath( cl, testPathElements);

    try {     
      Class<EventTree> cls = (Class<EventTree>)cl.loadClass(clsName);
      EventTree et = cls.newInstance();
      
      if (printTree){
        System.out.println("---------------- event tree of " + clsName);
        et.printTree();
      }
      
      if (printPaths){
        System.out.println("---------------- event paths of " + clsName);
        et.printPaths();
      }
    } catch (ClassNotFoundException cnfx){
      System.err.println("class not found: " + clsName);
    } catch (NoClassDefFoundError ncdf){
      System.err.println("class does not load: " + ncdf.getMessage());      
    } catch (InstantiationException ex) {
      System.err.println("cannot instantiate: " + ex.getMessage());      
    } catch (IllegalAccessException ex) {
      System.err.println("cannot instantiate: " + ex.getMessage());      
    }
  }
}