int id = (int) source_files [path];
string other_name = ((SourceFile) source_list [id - 1]).Name;
if (name.Equals (other_name))
- Report.Warning (2002, "Source file `{0}' specified multiple times", name);
+ Report.Warning (2002, 1, "Source file `{0}' specified multiple times", other_name);
else
- Report.Warning (2002, "Source filenames `{0}' and `{1}' both refer to the same file: {2}", name, other_name, path);
+ Report.Warning (2002, 1, "Source filenames `{0}' and `{1}' both refer to the same file: {2}", name, other_name, path);
return;
}
// </remarks>
static public SourceFile LookupFile (string name)
{
- string path = name == "" ? "" : Path.GetFullPath (name);
+ string path = name.Length == 0 ? "" : Path.GetFullPath (name);
if (!source_files.Contains (path)) {
if (source_count >= (1 << checkpoint_bits))
return (SourceFile) source_list [index - 1];
}
- static public void Push (SourceFile file, int line)
+ static public void Push (SourceFile file)
{
current_source = file.Index;
// File is always pushed before being changed.