public static void Initialize(string file, DebugFlags flags)
{
writer = new ReportWriter(file, flags);
}
public static void Initialize(ReportWriter the_writer)
{
writer = the_writer;
}
public static void Initialize()
{
writer = new ReportWriter();
}
public static void Initialize(string file, DebugFlags flags)
{
writer = new ReportWriter (file, flags);
}
public static void Initialize(ReportWriter the_writer)
{
writer = the_writer;
}
public static void Initialize()
{
writer = new ReportWriter ();
}