public static void ReadObjectFile(FileInfo file, Linker linker)
{
FileInfo objectFile = new FileInfo(file.FullName + ".obj");
try {
BinaryReader dataInputStream =
new BinaryReader(File.OpenRead(objectFile.FullName));
int linkerSetSize = dataInputStream.ReadInt32();
for (int count = 0; count < linkerSetSize; ++count)
{
StaticSymbolWindows staticSymbol = new StaticSymbolWindows();
staticSymbol.Read(dataInputStream);
linker.Add(staticSymbol);
}
dataInputStream.Close();
}
catch (Exception exception) {
Console.Out.WriteLine(exception.StackTrace);
Assert.Error(exception.Message);
}
}
