public SourceInfo(Irony.Parsing.SourceLocation loc, string file)
{
FileName = file;
SourceLocation = loc;
}
public static SourceLocation Convert(Irony.Parsing.SourceLocation sourceLocation)
{
return(new SourceLocation(sourceLocation.SourceFilename, sourceLocation.Position, sourceLocation.Line, sourceLocation.Column));
}
public SourceInfo(Irony.Parsing.SourceLocation loc) : this(loc, "<submission>")
{
}
public static SourceLocation FromIrony(Irony.Parsing.SourceLocation location, string source)
{
return(new SourceLocation(location.Line, location.Column, location.Position, source));
}
