public SourceFileLocation(string symbol, string sourceFile, uint line) { Symbol = symbol; Sourcefile = sourceFile; Line = line; }