public static void ValidateInstanceFile(string btmFileName, string instanceFileName)
{
string outputDirName = Path.GetFileNameWithoutExtension(btmFileName);
if (Directory.Exists(outputDirName) == false)
{
Directory.CreateDirectory(outputDirName);
}
string btmFileDirName = Path.GetDirectoryName(btmFileName);
ConsoleExtensions.WriteInfo("Reading {0}", Path.GetFileName(btmFileName));
BTMFileInfo btmFileInfo = BTMFileReader.ReadBTMFile(btmFileName);
ConsoleExtensions.WriteInfo("\t{0}", btmFileInfo.SourceTree);
SpecCertGenerator srcSpecCert = new SpecCertGenerator(btmFileInfo.SourceTree, btmFileDirName, outputDirName);
srcSpecCert.Generate();
IDocumentPlug srcDocumentPlug = srcSpecCert.DocumentPlug;
ConsoleExtensions.WriteInfo("\t{0}", btmFileInfo.TargetTree);
SpecCertGenerator trgSpecCert = new SpecCertGenerator(btmFileInfo.TargetTree, btmFileDirName, outputDirName);
trgSpecCert.Generate();
IDocumentPlug trgDocumentPlug = srcSpecCert.DocumentPlug;
}
public static BTMFileInfo ReadBTMFile(string fileName)
{
if (File.Exists(fileName) == false)
{
throw new SpecCertGeneratorException(string.Format("{0} file does not exist", fileName));
}
BTMFileInfo btmFileInfo = new BTMFileInfo();
XElement btmFileRoot = XElement.Load(fileName);
btmFileInfo.SourceTree = GetLocationValue(btmFileRoot, "SrcTree");
btmFileInfo.TargetTree = GetLocationValue(btmFileRoot, "TrgTree");;
return(btmFileInfo);
}
