public SourcePos IndexToLine(int index) { return SourcePos.Nowhere; } public int LineToIndex(int lineNo)