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;
}
