public frmMain() { InitializeComponent(); lstViewGoal.FullRowSelect = true; _simulationStatus = SIMULATION_STATUS.NOT_READY; _util = null; }
private bool LoadTestOracle(FileInfo oracleFile) { string[] goalList; string utilFile; try { _toGenerator = new ComparingEngine(oracleFile.FullName); goalList = _toGenerator.RetrieveGoalList(); lstGoalsResult.Items.Clear(); foreach (string s in goalList) { lstGoalsResult.Items.Add(s); } //goalList = _tcGenerator.RetrieveGoalList(); EnableOracle(true); _fOracle = oracleFile; txtOraclePath.Text = _fOracle.FullName; SetupGoalList(goalList); utilFile = UtilityFunc.UtilityFuncLib.GetUtilityFuncLibrary(oracleFile.FullName); if (utilFile != null) { _util = UtilityFunc.UtilityFuncLib.LoadUtilityFuncLib(utilFile, s); } return(true); } catch (Exception) { // Error loading xml file } return(false); }