JML

java.lang
Interface CharSequence

All Known Implementing Classes:
AbstractStringBuilder, String, StringBuffer

public interface CharSequence


Method Summary
 char charAt(int)
           
 boolean equals(Object)
           
 int hashCode()
           
 int length()
           
 CharSequence subSequence(int, int)
           
 String toString()
           
 

Method Detail

charAt

public char charAt(int)
                     throws IndexOutOfBoundsException
Throws:
IndexOutOfBoundsException

equals

public boolean equals(Object)

hashCode

public int hashCode()

length

public int length()

subSequence

public CharSequence subSequence(int,
                                int)
                                  throws IndexOutOfBoundsException
Throws:
IndexOutOfBoundsException

toString

public String toString()

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.