Ejemplo n.º 1
0
Archivo: Main.cs Proyecto: Ghasan/NxBRE
        public static void Main(string[] args)
        {
            MainClass mc = new MainClass();

            if (args.Length > 0) mc.DURATION = Int32.Parse(args[0]);

            if (args.Length > 1) mc.NBTHREADS = Int32.Parse(args[1]);

            mc.WriteRules();
            mc.RunTests();

            Thread.Sleep(mc.DURATION*1000);
            while(mc.runningThreads > 0) Thread.Sleep(1000);
            Console.WriteLine("{0} terminated.", Assembly.GetExecutingAssembly().GetName().Name);
        }
Ejemplo n.º 2
0
Archivo: Main.cs Proyecto: Ghasan/NxBRE
        public static void Main(string[] args)
        {
            HOT_SWAP = Boolean.Parse(args[0]);
            binder = Boolean.Parse(args[1]);
            if (args.Length > 2) csharpBinder = Boolean.Parse(args[2]);

            MAIN_IE = new IEImpl((HOT_SWAP)?ThreadingModelTypes.MultiHotSwap:ThreadingModelTypes.Multi);
            SECOND_IE = new IEImpl((HOT_SWAP)?ThreadingModelTypes.MultiHotSwap:ThreadingModelTypes.Single);

            MainClass mc = new MainClass();

            InitMainEngine();

            SECOND_IE.LoadRuleBase(new RuleML09NafDatalogAdapter(XMLFOLDER + "subtract.ruleml", System.IO.FileAccess.Read));

            mc.RunTests();
        }
Ejemplo n.º 3
0
Archivo: Main.cs Proyecto: Ghasan/NxBRE
 public Stresser(int stresserID, IFlowEngine bre, MainClass mc)
 {
     this.stresserID = stresserID;
     this.mc = mc;
     this.bre = bre;
 }
Ejemplo n.º 4
0
Archivo: Main.cs Proyecto: Ghasan/NxBRE
 public Stresser(int stresserID, MainClass mc, IInferenceEngine ie)
 {
     this.stresserID = stresserID;
     this.mc = mc;
     this.ie = ie;
     this.bumps = 0;
 }