// ---------------------------------------------------------------------
// fills descriptor data from specified file
// note : filename should NOT have an extension
// TODO : validate that all necessary keys are present in file
public void ReadHeaderFile(String filename)
{
String headerFileName = filename + "." + FLTDataLib.Constants.HEADER_FILE_EXTENSION;
Report("Reading header file : " + headerFileName + "\n");
Descriptor = new FLTDescriptor();
try
{
Descriptor.ReadFromFile(headerFileName);
}
catch (System.IO.FileNotFoundException error)
{
Report("Error : Could not find descriptor file : " + headerFileName + "\n");
throw error;
}
catch
{
throw;
}
}
// ---------------------------------------------------------------------
// fills descriptor data from specified file
// note : filename should NOT have an extension
// TODO : validate that all necessary keys are present in file
public void ReadHeaderFile(String filename)
{
String headerFileName = filename + "." + FLTDataLib.Constants.HEADER_FILE_EXTENSION;
Report("Reading header file : " + headerFileName + "\n");
Descriptor = new FLTDescriptor();
try
{
Descriptor.ReadFromFile(headerFileName);
}
catch (System.IO.FileNotFoundException error)
{
Report("Error : Could not find descriptor file : " + headerFileName + "\n");
throw error;
}
catch
{
throw;
}
}
