public void SetLineInfo (int lineNumber, int linePosition) { line = lineNumber; column = linePosition; lineinfo_was_given = true; }