public SourceFile(DebuggerSession session, Module module, string name)
{
this.id = ++next_id;
this.module = module;
if ((name == "") || (name == null)) {
this.path = this.filename = "";
} else if (session.Config.OpaqueFileNames) {
this.path = this.filename = name;
} else {
if ((name.Length > 1) && (name [1] == ':'))
name = session.MapFileName (name);
if ((name.Length > 1) && (name [1] == ':'))
this.path = this.filename = name;
else {
name = session.MapFileName (name);
this.path = Path.GetFullPath (name);
this.filename = Path.GetFileName (name);
}
}
}