public ParsingMessage(string text, ParsingMessageKind kind, SourceLocation location) { this.Text = text; this.Kind = kind; this.Location = location; }
public SourceSpan(SourceLocation start, SourceLocation end) : this() { this.Start = start; this.End = end; }