Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
JML
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Interface
java.lang.CharSequence

Packages that use CharSequence
java.io JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.lang JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.util.regex JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
 

Uses of CharSequence in java.io
 

Methods in java.io with parameters of type CharSequence
 Writer Writer.append(CharSequence)
           
 Writer Writer.append(CharSequence, int, int)
           
 Appendable Writer.append(CharSequence, int, int)
           
 Appendable Writer.append(CharSequence)
           
 PrintStream PrintStream.append(CharSequence)
           
 PrintStream PrintStream.append(CharSequence, int, int)
           
 Appendable PrintStream.append(CharSequence, int, int)
           
 Appendable PrintStream.append(CharSequence)
           
 PrintWriter PrintWriter.append(CharSequence)
           
 PrintWriter PrintWriter.append(CharSequence, int, int)
           
 Writer PrintWriter.append(CharSequence, int, int)
           
 Writer PrintWriter.append(CharSequence)
           
 Appendable PrintWriter.append(CharSequence, int, int)
           
 Appendable PrintWriter.append(CharSequence)
           
 

Uses of CharSequence in java.lang
 

Classes in java.lang that implement CharSequence
(package private)  class AbstractStringBuilder
           
 class String
           
 class StringBuffer
           
 

Methods in java.lang that return CharSequence
 CharSequence String.subSequence(int, int)
           
abstract  CharSequence CharSequence.subSequence(int, int)
           
 CharSequence AbstractStringBuilder.subSequence(int, int)
           
 CharSequence StringBuffer.subSequence(int, int)
           
 

Methods in java.lang with parameters of type CharSequence
 boolean String.contentEquals(CharSequence)
           
 boolean String.contains(CharSequence)
           
 String String.replace(CharSequence, CharSequence)
           
static int Character.codePointAt(CharSequence, int)
           
static int Character.codePointBefore(CharSequence, int)
           
static int Character.codePointCount(CharSequence, int, int)
           
static int Character.offsetByCodePoints(CharSequence, int, int)
           
 AbstractStringBuilder AbstractStringBuilder.append(CharSequence)
           
 AbstractStringBuilder AbstractStringBuilder.append(CharSequence, int, int)
           
 AbstractStringBuilder AbstractStringBuilder.insert(int, CharSequence)
           
 AbstractStringBuilder AbstractStringBuilder.insert(int, CharSequence, int, int)
           
 Appendable AbstractStringBuilder.append(CharSequence, int, int)
           
 Appendable AbstractStringBuilder.append(CharSequence)
           
abstract  Appendable Appendable.append(CharSequence)
           
abstract  Appendable Appendable.append(CharSequence, int, int)
           
 StringBuffer StringBuffer.append(CharSequence)
           
 StringBuffer StringBuffer.append(CharSequence, int, int)
           
 StringBuffer StringBuffer.insert(int, CharSequence)
           
 StringBuffer StringBuffer.insert(int, CharSequence, int, int)
           
 AbstractStringBuilder StringBuffer.insert(int, CharSequence, int, int)
           
 AbstractStringBuilder StringBuffer.insert(int, CharSequence)
           
 AbstractStringBuilder StringBuffer.append(CharSequence, int, int)
           
 AbstractStringBuilder StringBuffer.append(CharSequence)
           
 Appendable StringBuffer.append(CharSequence, int, int)
           
 Appendable StringBuffer.append(CharSequence)
           
 

Constructors in java.lang with parameters of type CharSequence
StringBuffer(CharSequence)
           
 

Uses of CharSequence in java.util.regex
 

Methods in java.util.regex with parameters of type CharSequence
 Matcher Pattern.matcher(CharSequence)
           
static boolean Pattern.matches(String, CharSequence)
           
 String[] Pattern.split(CharSequence, int)
           
 String[] Pattern.split(CharSequence)
           
private static int Pattern.countChars(CharSequence, int, int)
           
private static int Pattern.countCodePoints(CharSequence)
           
private static boolean Pattern.hasBaseCharacter(Matcher, int, CharSequence)
           
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
JML
 PREV   NEXT FRAMES    NO FRAMES    
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.