blob: 74516ab3af587fda4f9ddedc394debd3b9b14e11 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2002, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
// $OldId: Char.java,v 1.11 2002/05/15 15:03:38 roeckl Exp $
// $Id$
package scala;
public abstract class Char extends Int {
public String toString() { return String.valueOf((char)asInt()); }
/** @meta method scala.Boolean;
*/
public boolean isDigit() { return Character.isDigit((char)asInt()); }
/** @meta method scala.Boolean;
*/
public boolean isLetter() { return Character.isLetter((char)asInt()); }
/** @meta method scala.Boolean;
*/
public boolean isLetterOrDigit() { return Character.isLetterOrDigit((char)asInt()); }
/** @meta method scala.Boolean;
*/
public boolean isWhitespace() { return Character.isWhitespace((char)asInt()); }
}
|