Cross Reference: /ropes-1.2.2/src/org/ahmadsoft/ropes/Rope.java

Lines Matching refs:length
76 	//@ ensures \result.length() == length() + 1;

86 	//@ ensures \result.length() == length() + suffix.length();

97     //@ requires start <= end && start > -1 && end <= csq.length();

98 	//@ ensures \result.length() == (length() + (end-start));

112      *             is negative, greater than <code>length()</code>, or

115     //@ requires start <= end && start > -1 && end <= length();

116 	//@ ensures \result.length() == (length() - (end-start));

135     //@ ensures \result >= -1 && \result < length();

155 	//@ requires fromIndex > -1 && fromIndex < length();

156     //@ ensures \result >= -1 && \result < length();

172     //@ ensures \result >= -1 && \result < length();

188 	//@ requires sequence != null && fromIndex > -1 && fromIndex < length();

189     //@ ensures \result >= -1 && \result < length();

207 	//@ requires dstOffset > -1 && dstOffset <= length();

215 	//@ requires start > -1 && start < length();

223 	//@ ensures \result.length() <= length();

301 	//@ ensures \result.length() <= length();

324      * @param length the range length.

326     public void write(Writer out, int offset, int length) throws IOException;

329      * Increase the length of this rope to the specified length by prepending 

330      * spaces to this rope. If the specified length is less than or equal to 

331      * the current length of the rope, the rope is returned unmodified.

332      * @param toLength the desired length.

339      * Increase the length of this rope to the specified length by repeatedly 

340      * prepending the specified character to this rope. If the specified length 

341      * is less than or equal to the current length of the rope, the rope is 

343      * @param toLength the desired length.

351      * Increase the length of this rope to the specified length by appending

352      * spaces to this rope. If the specified length is less than or equal to 

353      * the current length of the rope, the rope is returned unmodified.

354      * @param toLength the desired length.

361      * Increase the length of this rope to the specified length by repeatedly 

362      * appending the specified character to this rope. If the specified length 

363      * is less than or equal to the current length of the rope, the rope is 

365      * @param toLength the desired length.

373      * Returns true if and only if the length of this rope is zero.

374      * @return <code>true</code> if and only if the length of this