private string PosMsg() { return ("line " + this.line.ToString() + ", column " + this.linechar.ToString()); }