/// <summary>
/// Constructs a new stream loader.
/// </summary>
/// <param name="parent">The parent manager.</param>
/// <param name="pdbStream">
/// The stream to load from (must be left open).
/// </param>
public StreamLoader(DebugInformationManager parent, Stream pdbStream)
{
Parent = parent;
PDBStream = pdbStream;
}
/// <summary>
/// Constructs a new file loader.
/// </summary>
/// <param name="parent">The parent manager.</param>
/// <param name="pdbFileName">The file name to load.</param>
public FileLoader(DebugInformationManager parent, string pdbFileName)
{
Parent = parent;
PDBFileName = pdbFileName;
}
/// <summary>
/// Constructs a new automatic file loader.
/// </summary>
/// <param name="parent">The parent manager.</param>
public AutoFileLoader(DebugInformationManager parent)
{
Parent = parent;
}