Uses of Class
java.lang.Character

Packages that use Character

java.lang	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
org.jmlspecs.models	This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of Character in java.lang

Methods in java.lang with parameters of type Character

int	Character.compareTo(Character anotherCharacter)

Uses of Character in org.jmlspecs.models

Methods in org.jmlspecs.models that return Character

Character

JMLChar.getChar() Return a Character object containing this object's character.

Constructors in org.jmlspecs.models with parameters of type Character

JMLChar(Character inChar)
Initialize this to contain the character contained in the given Character.

Uses of Character in org.multijava.mjc

Fields in org.multijava.mjc declared as Character

private Character

JCharLiteral.value