コード例 #1
0
        /// <summary>
        /// Configures the filtering dialog
        /// </summary>
        /// <param name="efsSystem"></param>
        /// <param name="filterConfiguration"></param>
        public void Configure(DataDictionary.EFSSystem efsSystem, FilterConfiguration filterConfiguration)
        {
            ruleActivationCheckBox.Checked = filterConfiguration.RuleFired;
            expectationsCheckBox.Checked   = filterConfiguration.Expect;
            variableUpdateCheckBox.Checked = filterConfiguration.VariableUpdate;

            List <DataDictionary.Dictionary> dictionaries = new List <DataDictionary.Dictionary>(efsSystem.Dictionaries);

            dictionaries.Sort(compare);
            foreach (DataDictionary.Dictionary dictionary in dictionaries)
            {
                NamableTreeNode dictionaryTreeNode = new NamableTreeNode(dictionary);
                nameSpaceTreeView.Nodes.Add(dictionaryTreeNode);

                List <DataDictionary.Types.NameSpace> nameSpaces = new List <DataDictionary.Types.NameSpace>();
                foreach (DataDictionary.Types.NameSpace nameSpace in dictionary.NameSpaces)
                {
                    nameSpaces.Add(nameSpace);
                }
                nameSpaces.Sort();

                foreach (DataDictionary.Types.NameSpace nameSpace in nameSpaces)
                {
                    GatherNamespaces(dictionaryTreeNode, nameSpace, filterConfiguration);
                }
            }

            regExpTextBox.Text = filterConfiguration.RegExp;
        }
コード例 #2
0
 public GetSlowest(DataDictionary.EFSSystem efsSystem)
 {
     Rules = new List <DataDictionary.Rules.Rule>();
     foreach (DataDictionary.Dictionary dictionary in efsSystem.Dictionaries)
     {
         visit(dictionary, true);
     }
 }
コード例 #3
0
 /// <summary>
 /// Constructor
 /// </summary>
 /// <param name="dictionary"></param>
 public Window(DataDictionary.EFSSystem efsSystem)
 {
     InitializeComponent();
     FormClosed += new FormClosedEventHandler(Window_FormClosed);
     Text        = "System test view";
     Visible     = false;
     EFSSystem   = efsSystem;
     Refresh();
 }
コード例 #4
0
ファイル: Program.cs プロジェクト: fakoor/ERTMSFormalSpecs
        /// <summary>
        /// The main program
        /// </summary>
        /// <param name="args"></param>
        /// <returns></returns>
        static int Main(string[] args)
        {
            int retVal = 0;

            // We do not want auto compilation of the system
            DataDictionary.EFSSystem system = DataDictionary.EFSSystem.INSTANCE;
            system.Stop();

            // Check parameters
            if (args.Count() != PARAM_COUNT)
            {
                System.Console.Error.WriteLine("Incorrect number of parameters, found " + args.Count() + ", expected " + PARAM_COUNT);

                displayHelp();
                retVal = -1;
            }

            // Load dictionary
            DataDictionary.Dictionary dictionary = null;
            if (retVal == 0)
            {
                bool lockFiles  = false;
                bool updateGuid = false;
                dictionary = DataDictionary.Util.load(args[DICTIONARY_FILE], system, lockFiles, null, updateGuid);
                if (dictionary == null)
                {
                    System.Console.Error.WriteLine("Cannot read dictionary file " + args[DICTIONARY_FILE]);
                    retVal = -1;
                }
            }

            // Generates the HTML pages
            if (retVal == 0)
            {
                HTMLGenerator generator = new HTMLGenerator(args[OUTPUT_PATH]);
                generator.GenerateHTML(dictionary);
            }

            return(retVal);
        }
コード例 #5
0
 /// <summary>
 /// Constructor
 /// </summary>
 /// <param name="efsSystem">The EFSSystem for which this rule set selector is created</param>
 public DictionarySelector(DataDictionary.EFSSystem efsSystem)
 {
     InitializeComponent();
     EFSSystem = efsSystem;
 }
コード例 #6
0
 /// <summary>
 /// Initialises the dialog
 /// </summary>
 /// <param name="efsSystem"></param>
 public void Initialise(DataDictionary.EFSSystem efsSystem)
 {
     EFSSystem = efsSystem;
 }
コード例 #7
0
 /// <summary>
 /// Constructor
 /// </summary>
 /// <param name="efsSystem"></param>
 public RulesPerformances(DataDictionary.EFSSystem efsSystem)
 {
     EFSSystem = efsSystem;
     InitializeComponent();
     Refresh();
 }