returns the height of this board , i.e. the amount of rows . concode_field_sep Square[][] board concode_field_sep boolean withinBorders concode_elem_sep Square squareAt concode_elem_sep int getWidth concode_elem_sep boolean invariant
int function ( ) { return board [ 0 ] . length ; }