public MapFileName ( string path ) : string | ||
path | string | |
Résultat | string |
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); } } }
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); } } }