public ToLineColumn ( int position, int &line, int &column ) : void | ||
position | int | |
line | int | |
column | int | |
return | void |
public void ToLineColumn(int position, out int line, out int column)
//^^ requires position >= 0 && position <= this.Length;
//^^ ensures line >= 1 && column >= 1;
{
//^ assume position <= this.wrappedDocument.Length; //assume that things stay the same when unwrapping
this.wrappedDocument.ToLineColumn(position, out line, out column);
}