/**
  *
  *                      OOAS Compiler (Deprecated)
  *
  * Copyright 2015, Institute for Software Technology, Graz University of
  * Technology. Portions are copyright 2015 by the AIT Austrian Institute
  * of Technology. All rights reserved.
  *
  * SEE THE "LICENSE" FILE FOR THE TERMS UNDER WHICH THIS FILE IS PROVIDED.
  *
  * Please notice that this version of the OOAS compiler is considered de-
  * precated. Only the Java version is maintained.
  *
  * Contributors:
  *               Willibald Krenn (TU Graz/AIT)
  *               Stefan Tiran (TU Graz/AIT)
  */

using System;
using System.Collections.Generic;
using System.Text;
using System.Configuration;
using Antlr.Runtime;
using TUG.Mogentes.Codegen;

namespace TUG.Mogentes
{
    [Serializable()]
    public struct ArgosVersion
    {
        public int ParserMajor;
        public int ParserMinor;
        public int ParserRevision;

        public int GrammarMajor;
        public int GrammarMinor;

        public override string ToString()
        {
            StringBuilder result = new StringBuilder();
            result.Append("          Version: ");
            result.Append(ParserMajor); result.Append("."); result.Append(String.Format("{0:00}",ParserMinor));
            result.Append(" ("); result.Append(ParserRevision); result.AppendLine(")");
            result.Append("  Grammar-Version: ");
            result.Append(GrammarMajor); result.Append("."); result.Append(String.Format("{0:00}",GrammarMinor));
            return result.ToString();
        }
    }


    public abstract class ConfigurationElementCollection<T> : ConfigurationElementCollection
            where T : ConfigurationElement
    {
        protected override ConfigurationElement CreateNewElement()
        {
            return (ConfigurationElement)Activator.CreateInstance(typeof(T));
        }

        public void Add(T elem)
        {
            BaseAdd(elem);
        }

        public T this[int index]
        {
            get { return (T)base.BaseGet(index); }
            set
            {
                if (base.BaseGet(index) != null)
                {
                    base.BaseRemoveAt(index);
                }
                this.BaseAdd(index, value);
            }
        }

        public new T this[string key]
        {
            get { return (T)base.BaseGet(key); }
        }
    }

    public class BackEndConfig : ConfigurationElement
    {
        [ConfigurationProperty("switch", IsRequired = true)]
        public string Switch
        {
            get { return (string)base["switch"]; }
            set { base["switch"] = value; }
        }
        [ConfigurationProperty("file", IsRequired = true)]
        public string File
        {
            get { return (string)base["file"]; }
            set { base["file"] = value; }
        }
        [ConfigurationProperty("class", IsRequired = true)]
        public string Class
        {
            get { return (string)base["class"]; }
            set { base["class"] = value; }
        }
        [ConfigurationProperty("descr", IsRequired = true)]
        public string Descr
        {
            get { return (string)base["descr"]; }
            set { base["descr"] = value; }
        }

        public BackEndConfig(string aSwitch, string aFile, string aClass, string aDescr)
            : base()
        {
            Switch = aSwitch;
            File = aFile;
            Class = aClass;
            Descr = aDescr;
        }

        public BackEndConfig(BackEndConfig toCopy)
        {
            Switch = toCopy.Switch;
            File = toCopy.File;
            Class = toCopy.Class;
            Descr = toCopy.Descr;
        }

        public BackEndConfig() { }
    }

    public class InstantiatedBackEndConfig : BackEndConfig
    {
        public Type Visitor;
        public System.Reflection.ConstructorInfo Constr;

        public CreateVisitor GetConstructor()
        {
            return p => (IAstVisitor)Constr.Invoke(new Object[] { p });
        }

        public InstantiatedBackEndConfig(BackEndConfig toInstantiate)
            : base(toInstantiate)
        {
            if (toInstantiate.File != String.Empty)
            {
                string filename = System.IO.Path.GetFullPath(toInstantiate.File);
                if (!System.IO.File.Exists(filename))
                {
                    filename = new Uri(System.Reflection.Assembly.GetExecutingAssembly().Location).LocalPath;
                    filename = System.IO.Path.GetDirectoryName(filename) + System.IO.Path.DirectorySeparatorChar + toInstantiate.File;
                    if (!System.IO.File.Exists(filename))
                    {
                        throw new ArgumentException(String.Format("Not found: {0}", toInstantiate.File));
                    }
                }
                this.File = filename;


                System.Reflection.Assembly backend = System.Reflection.Assembly.LoadFile(File);
                Visitor = backend.GetType(toInstantiate.Class);
                if (Visitor == null)
                    throw new ArgumentException(String.Format("Cannot find type {0}", toInstantiate.Class));
            }
            else
            {
                Visitor = System.Reflection.Assembly.GetExecutingAssembly().GetType(toInstantiate.Class);
                if (Visitor == null)
                    throw new ArgumentException(String.Format("Cannot find type {0}", toInstantiate.Class));
            }

            Constr = Visitor.GetConstructor(new Type[] { typeof(ParserState) });
            if (Constr == null)
                throw new ArgumentException(String.Format("Cannot get constructor of type {0}", toInstantiate.Class));

        }

    }


    [ConfigurationCollection(typeof(BackEndConfig))]
    public class BackendSettingsCollection : ConfigurationElementCollection<BackEndConfig>
    {
        protected override object GetElementKey(ConfigurationElement element)
        {
            return ((BackEndConfig)element).Switch;
        }
    }



    public class ArgosConfigData : ConfigurationSection
    {
        public ArgosConfigData()
        {
        }

        [ConfigurationProperty("backends")]
        public BackendSettingsCollection BackendSettings
        {
            get { return (BackendSettingsCollection)this["backends"]; }
            set { this["backends"] = value; }
        }
    }


    public class Program
    {

        public class Options
        {
            public static string searchDepth = "35";
            internal bool quiet = false;
            internal string fileToParse = String.Empty;
            internal string outputToFile = String.Empty;
            internal string namedTypePrefix = String.Empty;
            public static string nameSpace = "as";
            internal List<CreateVisitor> pipeLine = new List<CreateVisitor>();
        }

        public static List<InstantiatedBackEndConfig> BackEnds = new List<InstantiatedBackEndConfig>();
        public static readonly string BackEndSectionName = "BackEnds";

        static void CreateSection()
        {
            try
            {
                ArgosConfigData customSection;

                // Get the current configuration file.
                System.Configuration.Configuration config =
                        ConfigurationManager.OpenExeConfiguration(
                        ConfigurationUserLevel.None);

                // Create the section entry  
                // in the <configSections> and the 
                // related target section in <configuration>.
                if (config.Sections[BackEndSectionName] == null)
                {
                    customSection = new ArgosConfigData();
                    customSection.BackendSettings.Add(new BackEndConfig("a", String.Empty, "TUG.Mogentes.OoaPrintVisitor", "create psuedo-action system code"));
                    customSection.BackendSettings.Add(new BackEndConfig("p", String.Empty, "TUG.Mogentes.Codegen.OoaPrologVisitor", "create prolog code"));
                    customSection.BackendSettings.Add(new BackEndConfig("psym", String.Empty, "TUG.Mogentes.Codegen.PrologSymbolic.OoaPrologSymbolicVisitor", "create symbolic prolog code"));
                    config.Sections.Add(BackEndSectionName, customSection);
                    customSection.SectionInformation.ForceSave = true;
                    config.Save(ConfigurationSaveMode.Full);
                }
            }
            catch (ConfigurationErrorsException err)
            {
                Console.WriteLine(err.ToString());
            }
        }
        public static ArgosVersion GetProgramVersion()
        {
            Version ver = System.Reflection.Assembly.GetExecutingAssembly().GetName().Version;
            ArgosVersion result;
            result.ParserMajor = ver.Major;
            result.ParserMinor = ver.Minor;
            result.ParserRevision = ver.Revision;

            result.GrammarMajor = (ver.Build / 100);
            result.GrammarMinor = (ver.Build % 100);
            return result;
        }
        static void displayTitle()
        {
            ArgosVersion ver = Program.GetProgramVersion();
            Console.WriteLine();
            Console.WriteLine("          >> Mogentes OO-Action System Parser <<");
            Console.WriteLine();
            Console.WriteLine(ver.ToString());
            Console.WriteLine();
        }

        /* display some help screen */
        static void displayHelp()
        {
            string programName = String.Empty;
            programName = System.Reflection.Assembly.GetExecutingAssembly().GetName().Name.ToString();

            displayTitle();
            Console.WriteLine("Usage:    " + programName + " [options] <oo-actionsystem-file>");
            Console.WriteLine("Options:");
            Console.WriteLine("     -o<name>   ... write output to file <name> (overwrites!)");
            Console.WriteLine("     -n<name>   ... use namespace <name> (default: as)");
            Console.WriteLine("     -d<depth>  ... set max. search depth (default: 35)");
            Console.WriteLine("     -q         ... \"quiet\" mode: doesn't print Warnings to console");
            Console.WriteLine();
            foreach (var x in BackEnds)
            {
                Console.WriteLine(String.Format("     -{0}         ... {1}", x.Switch, x.Descr));
            }
        }

        /* fire up the parser */
        static int runAntlrParser(Options options)
        {
            ParserState pState = new ParserState(options);
            int result = ooaParser.FirstPass(pState);


            displayTitle();

            if (result > 0)
            {
                Console.WriteLine("The parser returned {0} errors:", result);
                foreach (var error in pState.listOfParserErrors)
                    Console.WriteLine("ERROR ({0}): {1},{2}; {3}", error.file, error.line, error.column, error.message);
            }
            else
            {
                Console.WriteLine("   Passed: OoaParser");
                if (options.pipeLine.Count > 0)
                {

                    IAstVisitor visitor = null;
                    foreach (var item in options.pipeLine)
                    {
                        visitor = item(pState);
                        pState.ooaSystem.Accept(visitor);
                        if (pState.listOfParserErrors.Count > 0)
                        {
                            Console.WriteLine("The parser ({0}) returned {1} errors:",
                                visitor.GetType().Name, pState.listOfParserErrors.Count);
                            foreach (var error in pState.listOfParserErrors)
                                Console.WriteLine("ERROR ({0}): {1},{2}; {3}",
                                    error.file, error.line, error.column, error.message);
                            return pState.listOfParserErrors.Count;
                        }
                        else
                        {
                            Console.Write("   Passed: ");
                            Console.WriteLine(visitor.GetType().Name);
                        }
                    }
                    Console.WriteLine();
                    Console.WriteLine("File {0} successfully parsed.", pState.filename);
                    Console.WriteLine("");

                    if (pState.listOfParserMessages.Count > 0 && !(options.quiet))
                    {
                        Console.WriteLine(String.Format("Parser returned {0} messages:", pState.listOfParserMessages.Count));
                        foreach (var message in pState.listOfParserMessages)
                            Console.WriteLine("Message ({0}): {1},{2}; {3}",
                                message.file, message.line, message.column, message.message);
                        Console.WriteLine();
                        Console.WriteLine();
                    }

                    if (pState.listOfParserWarnings.Count > 0 && !(options.quiet))
                    {
                        Console.WriteLine(String.Format("Parser returned {0} warnings:", pState.listOfParserWarnings.Count));
                        foreach (var warning in pState.listOfParserWarnings)
                            Console.WriteLine("Warning ({0}): {1},{2}; {3}",
                                warning.file, warning.line, warning.column, warning.message);
                        Console.WriteLine("");
                        Console.WriteLine("");
                    }

                    if (options.outputToFile != String.Empty)
                    {
                        Console.WriteLine("Writing output to {0}.", options.outputToFile);
                        System.IO.File.WriteAllText(options.outputToFile, visitor.ToString(), System.Text.Encoding.ASCII);
                    }
                    else
                        Console.WriteLine(visitor.ToString());
                }
                else
                {
                    Console.WriteLine();
                    Console.WriteLine("File {0} successfully parsed.", pState.filename);
                    Console.WriteLine("");
                }
            }

            return result;
        }




        /* entry point */
        static int Main(string[] args)
        {
            CreateSection();
            Program.Options options = new Program.Options();

            /*load backends..*/
            ArgosConfigData backends = ConfigurationManager.GetSection(BackEndSectionName) as ArgosConfigData;
            foreach (var x in backends.BackendSettings)
            {
                BackEndConfig cnfg = (BackEndConfig)x;
                //try
                //{
                InstantiatedBackEndConfig icnfg = new InstantiatedBackEndConfig(cnfg);
                BackEnds.Add(icnfg);
                //}
                //catch (ArgumentException)
                //{ }
            }



            if ((args.Length == 0) || (!System.IO.File.Exists(args[args.Length - 1])))
            {
                displayHelp();
#if DEBUG
                Console.ReadLine();
#endif
                return 0;
            }

            /*do some argument 'parsing'*/
            for (int i = 0; i < args.Length; i++)
            {
                if (args[i].StartsWith("-"))
                    ParserOption(args[i], options);
                else
                {
                    options.fileToParse = args[i];
                    break;
                }
            }

            /* c# really lacks meta-classes :-((
             * but lambdas are a nice feature too :-)
             */
            int index = 0;
            options.pipeLine.Insert(index++, p => new OoaSymbolSortVisitor(p));
            options.pipeLine.Insert(index++, p => new OoaReplaceOpaqueVisitor(p));
            options.pipeLine.Insert(index++, p => new OoaTypesVisitor(p));
            options.pipeLine.Insert(index++, p => new OoaResolveExpressionsVisitor(p));
            options.pipeLine.Insert(index++, p => new OoaMethodPureClassifierVisitor(p));
            options.pipeLine.Insert(index++, p => new OoaTypeCheckVisitor(p));

            if (options.namedTypePrefix != String.Empty)
            {
                options.pipeLine.Insert(index++, p => new OoaTypeRenameVisitor(p));
            }

            options.pipeLine.Insert(index++, aParser => new OoaRemoveTrivialPrioritizedCompositionVisitor(aParser));
            options.pipeLine.Insert(index++, p => new OoaActionClassifierVisitor(p));
            options.pipeLine.Insert(index++, p => new OoaObjectInstantiationVisitor(p));




            Console.WriteLine("Parsing {0}.", options.fileToParse);
            int result = runAntlrParser(options);
#if DEBUG
            Console.ReadLine();
#endif
            return result;
        }

        private static void ParserOption(string p, Options options)
        {
            string p_lower = p.ToLower();

            

            if (p_lower.StartsWith("-o"))
                options.outputToFile = p.Remove(0, 2);
            if (p_lower.StartsWith("-t"))
                options.namedTypePrefix = p.Remove(0, 2);
            if (p_lower.StartsWith("-n"))
            {

                TUG.Mogentes.Program.Options.nameSpace = p.Remove(0, 2);
            }
            if (p_lower.StartsWith("-q"))
            {
                p.Remove(0, 2);
                options.quiet = true;
            }

            if (p_lower.StartsWith("-d"))
            {
                TUG.Mogentes.Program.Options.searchDepth = p.Remove(0, 2);
            }


            else
                foreach (var x in BackEnds)
                {
                    if (p_lower.Equals(String.Format("-{0}", x.Switch)))
                    {
                        options.pipeLine.Add(x.GetConstructor());
                        return;
                    }
                }

        }
    }
}