JML

java.lang
Class Character.UnicodeBlock

java.lang.Object
  extended byjava.lang.Character.Subset
      extended byjava.lang.Character.UnicodeBlock
Enclosing class:
Character

public static final class Character.UnicodeBlock
extends Character.Subset


Class Specifications

Specifications inherited from class Object
represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT;
public represents _getClass <- \typeof(this);

Model Field Summary
 
Model fields inherited from class java.lang.Object
_getClass, objectState, theString
 
Ghost Field Summary
 
Ghost fields inherited from class java.lang.Object
objectTimesFinalized, owner
 
Field Summary
static Character.UnicodeBlock ALPHABETIC_PRESENTATION_FORMS
           
static Character.UnicodeBlock ARABIC
           
static Character.UnicodeBlock ARABIC_PRESENTATION_FORMS_A
           
static Character.UnicodeBlock ARABIC_PRESENTATION_FORMS_B
           
static Character.UnicodeBlock ARMENIAN
           
static Character.UnicodeBlock ARROWS
           
static Character.UnicodeBlock BASIC_LATIN
           
static Character.UnicodeBlock BENGALI
           
static Character.UnicodeBlock BLOCK_ELEMENTS
           
static Character.UnicodeBlock BOPOMOFO
           
static Character.UnicodeBlock BOPOMOFO_EXTENDED
           
static Character.UnicodeBlock BOX_DRAWING
           
static Character.UnicodeBlock BRAILLE_PATTERNS
           
static Character.UnicodeBlock CHEROKEE
           
static Character.UnicodeBlock CJK_COMPATIBILITY
           
static Character.UnicodeBlock CJK_COMPATIBILITY_FORMS
           
static Character.UnicodeBlock CJK_COMPATIBILITY_IDEOGRAPHS
           
static Character.UnicodeBlock CJK_RADICALS_SUPPLEMENT
           
static Character.UnicodeBlock CJK_SYMBOLS_AND_PUNCTUATION
           
static Character.UnicodeBlock CJK_UNIFIED_IDEOGRAPHS
           
static Character.UnicodeBlock CJK_UNIFIED_IDEOGRAPHS_EXTENSION_A
           
static Character.UnicodeBlock COMBINING_DIACRITICAL_MARKS
           
static Character.UnicodeBlock COMBINING_HALF_MARKS
           
static Character.UnicodeBlock COMBINING_MARKS_FOR_SYMBOLS
           
static Character.UnicodeBlock CONTROL_PICTURES
           
static Character.UnicodeBlock CURRENCY_SYMBOLS
           
static Character.UnicodeBlock CYRILLIC
           
static Character.UnicodeBlock DEVANAGARI
           
static Character.UnicodeBlock DINGBATS
           
static Character.UnicodeBlock ENCLOSED_ALPHANUMERICS
           
static Character.UnicodeBlock ENCLOSED_CJK_LETTERS_AND_MONTHS
           
static Character.UnicodeBlock ETHIOPIC
           
static Character.UnicodeBlock GENERAL_PUNCTUATION
           
static Character.UnicodeBlock GEOMETRIC_SHAPES
           
static Character.UnicodeBlock GEORGIAN
           
static Character.UnicodeBlock GREEK
           
static Character.UnicodeBlock GREEK_EXTENDED
           
static Character.UnicodeBlock GUJARATI
           
static Character.UnicodeBlock GURMUKHI
           
static Character.UnicodeBlock HALFWIDTH_AND_FULLWIDTH_FORMS
           
static Character.UnicodeBlock HANGUL_COMPATIBILITY_JAMO
           
static Character.UnicodeBlock HANGUL_JAMO
           
static Character.UnicodeBlock HANGUL_SYLLABLES
           
static Character.UnicodeBlock HEBREW
           
static Character.UnicodeBlock HIRAGANA
           
static Character.UnicodeBlock IDEOGRAPHIC_DESCRIPTION_CHARACTERS
           
static Character.UnicodeBlock IPA_EXTENSIONS
           
static Character.UnicodeBlock KANBUN
           
static Character.UnicodeBlock KANGXI_RADICALS
           
static Character.UnicodeBlock KANNADA
           
static Character.UnicodeBlock KATAKANA
           
static Character.UnicodeBlock KHMER
           
static Character.UnicodeBlock LAO
           
static Character.UnicodeBlock LATIN_1_SUPPLEMENT
           
static Character.UnicodeBlock LATIN_EXTENDED_A
           
static Character.UnicodeBlock LATIN_EXTENDED_ADDITIONAL
           
static Character.UnicodeBlock LATIN_EXTENDED_B
           
static Character.UnicodeBlock LETTERLIKE_SYMBOLS
           
static Character.UnicodeBlock MALAYALAM
           
static Character.UnicodeBlock MATHEMATICAL_OPERATORS
           
static Character.UnicodeBlock MISCELLANEOUS_SYMBOLS
           
static Character.UnicodeBlock MISCELLANEOUS_TECHNICAL
           
static Character.UnicodeBlock MONGOLIAN
           
static Character.UnicodeBlock MYANMAR
           
static Character.UnicodeBlock NUMBER_FORMS
           
static Character.UnicodeBlock OGHAM
           
static Character.UnicodeBlock OPTICAL_CHARACTER_RECOGNITION
           
static Character.UnicodeBlock ORIYA
           
static Character.UnicodeBlock PRIVATE_USE_AREA
           
static Character.UnicodeBlock RUNIC
           
static Character.UnicodeBlock SINHALA
           
static Character.UnicodeBlock SMALL_FORM_VARIANTS
           
static Character.UnicodeBlock SPACING_MODIFIER_LETTERS
           
static Character.UnicodeBlock SPECIALS
           
static Character.UnicodeBlock SUPERSCRIPTS_AND_SUBSCRIPTS
           
static Character.UnicodeBlock SURROGATES_AREA
           
static Character.UnicodeBlock SYRIAC
           
static Character.UnicodeBlock TAMIL
           
static Character.UnicodeBlock TELUGU
           
static Character.UnicodeBlock THAANA
           
static Character.UnicodeBlock THAI
           
static Character.UnicodeBlock TIBETAN
           
static Character.UnicodeBlock UNIFIED_CANADIAN_ABORIGINAL_SYLLABICS
           
static Character.UnicodeBlock YI_RADICALS
           
static Character.UnicodeBlock YI_SYLLABLES
           
 
Constructor Summary
private Character.UnicodeBlock(non_null String name)
           
 
Model Method Summary
 
Model methods inherited from class java.lang.Object
hashValue
 
Method Summary
static Character.UnicodeBlock of(char c)
           
 
Methods inherited from class java.lang.Character.Subset
equals, hashCode, toString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

BASIC_LATIN

public static final Character.UnicodeBlock BASIC_LATIN
Specifications: non_null

LATIN_1_SUPPLEMENT

public static final Character.UnicodeBlock LATIN_1_SUPPLEMENT
Specifications: non_null

LATIN_EXTENDED_A

public static final Character.UnicodeBlock LATIN_EXTENDED_A
Specifications: non_null

LATIN_EXTENDED_B

public static final Character.UnicodeBlock LATIN_EXTENDED_B
Specifications: non_null

IPA_EXTENSIONS

public static final Character.UnicodeBlock IPA_EXTENSIONS
Specifications: non_null

SPACING_MODIFIER_LETTERS

public static final Character.UnicodeBlock SPACING_MODIFIER_LETTERS
Specifications: non_null

COMBINING_DIACRITICAL_MARKS

public static final Character.UnicodeBlock COMBINING_DIACRITICAL_MARKS
Specifications: non_null

GREEK

public static final Character.UnicodeBlock GREEK
Specifications: non_null

CYRILLIC

public static final Character.UnicodeBlock CYRILLIC
Specifications: non_null

ARMENIAN

public static final Character.UnicodeBlock ARMENIAN
Specifications: non_null

HEBREW

public static final Character.UnicodeBlock HEBREW
Specifications: non_null

ARABIC

public static final Character.UnicodeBlock ARABIC
Specifications: non_null

DEVANAGARI

public static final Character.UnicodeBlock DEVANAGARI
Specifications: non_null

BENGALI

public static final Character.UnicodeBlock BENGALI
Specifications: non_null

GURMUKHI

public static final Character.UnicodeBlock GURMUKHI
Specifications: non_null

GUJARATI

public static final Character.UnicodeBlock GUJARATI
Specifications: non_null

ORIYA

public static final Character.UnicodeBlock ORIYA
Specifications: non_null

TAMIL

public static final Character.UnicodeBlock TAMIL
Specifications: non_null

TELUGU

public static final Character.UnicodeBlock TELUGU
Specifications: non_null

KANNADA

public static final Character.UnicodeBlock KANNADA
Specifications: non_null

MALAYALAM

public static final Character.UnicodeBlock MALAYALAM
Specifications: non_null

THAI

public static final Character.UnicodeBlock THAI
Specifications: non_null

LAO

public static final Character.UnicodeBlock LAO
Specifications: non_null

TIBETAN

public static final Character.UnicodeBlock TIBETAN
Specifications: non_null

GEORGIAN

public static final Character.UnicodeBlock GEORGIAN
Specifications: non_null

HANGUL_JAMO

public static final Character.UnicodeBlock HANGUL_JAMO
Specifications: non_null

LATIN_EXTENDED_ADDITIONAL

public static final Character.UnicodeBlock LATIN_EXTENDED_ADDITIONAL
Specifications: non_null

GREEK_EXTENDED

public static final Character.UnicodeBlock GREEK_EXTENDED
Specifications: non_null

GENERAL_PUNCTUATION

public static final Character.UnicodeBlock GENERAL_PUNCTUATION
Specifications: non_null

SUPERSCRIPTS_AND_SUBSCRIPTS

public static final Character.UnicodeBlock SUPERSCRIPTS_AND_SUBSCRIPTS
Specifications: non_null

CURRENCY_SYMBOLS

public static final Character.UnicodeBlock CURRENCY_SYMBOLS
Specifications: non_null

COMBINING_MARKS_FOR_SYMBOLS

public static final Character.UnicodeBlock COMBINING_MARKS_FOR_SYMBOLS
Specifications: non_null

LETTERLIKE_SYMBOLS

public static final Character.UnicodeBlock LETTERLIKE_SYMBOLS
Specifications: non_null

NUMBER_FORMS

public static final Character.UnicodeBlock NUMBER_FORMS
Specifications: non_null

ARROWS

public static final Character.UnicodeBlock ARROWS
Specifications: non_null

MATHEMATICAL_OPERATORS

public static final Character.UnicodeBlock MATHEMATICAL_OPERATORS
Specifications: non_null

MISCELLANEOUS_TECHNICAL

public static final Character.UnicodeBlock MISCELLANEOUS_TECHNICAL
Specifications: non_null

CONTROL_PICTURES

public static final Character.UnicodeBlock CONTROL_PICTURES
Specifications: non_null

OPTICAL_CHARACTER_RECOGNITION

public static final Character.UnicodeBlock OPTICAL_CHARACTER_RECOGNITION
Specifications: non_null

ENCLOSED_ALPHANUMERICS

public static final Character.UnicodeBlock ENCLOSED_ALPHANUMERICS
Specifications: non_null

BOX_DRAWING

public static final Character.UnicodeBlock BOX_DRAWING
Specifications: non_null

BLOCK_ELEMENTS

public static final Character.UnicodeBlock BLOCK_ELEMENTS
Specifications: non_null

GEOMETRIC_SHAPES

public static final Character.UnicodeBlock GEOMETRIC_SHAPES
Specifications: non_null

MISCELLANEOUS_SYMBOLS

public static final Character.UnicodeBlock MISCELLANEOUS_SYMBOLS
Specifications: non_null

DINGBATS

public static final Character.UnicodeBlock DINGBATS
Specifications: non_null

CJK_SYMBOLS_AND_PUNCTUATION

public static final Character.UnicodeBlock CJK_SYMBOLS_AND_PUNCTUATION
Specifications: non_null

HIRAGANA

public static final Character.UnicodeBlock HIRAGANA
Specifications: non_null

KATAKANA

public static final Character.UnicodeBlock KATAKANA
Specifications: non_null

BOPOMOFO

public static final Character.UnicodeBlock BOPOMOFO
Specifications: non_null

HANGUL_COMPATIBILITY_JAMO

public static final Character.UnicodeBlock HANGUL_COMPATIBILITY_JAMO
Specifications: non_null

KANBUN

public static final Character.UnicodeBlock KANBUN
Specifications: non_null

ENCLOSED_CJK_LETTERS_AND_MONTHS

public static final Character.UnicodeBlock ENCLOSED_CJK_LETTERS_AND_MONTHS
Specifications: non_null

CJK_COMPATIBILITY

public static final Character.UnicodeBlock CJK_COMPATIBILITY
Specifications: non_null

CJK_UNIFIED_IDEOGRAPHS

public static final Character.UnicodeBlock CJK_UNIFIED_IDEOGRAPHS
Specifications: non_null

HANGUL_SYLLABLES

public static final Character.UnicodeBlock HANGUL_SYLLABLES
Specifications: non_null

SURROGATES_AREA

public static final Character.UnicodeBlock SURROGATES_AREA
Specifications: non_null

PRIVATE_USE_AREA

public static final Character.UnicodeBlock PRIVATE_USE_AREA
Specifications: non_null

CJK_COMPATIBILITY_IDEOGRAPHS

public static final Character.UnicodeBlock CJK_COMPATIBILITY_IDEOGRAPHS
Specifications: non_null

ALPHABETIC_PRESENTATION_FORMS

public static final Character.UnicodeBlock ALPHABETIC_PRESENTATION_FORMS
Specifications: non_null

ARABIC_PRESENTATION_FORMS_A

public static final Character.UnicodeBlock ARABIC_PRESENTATION_FORMS_A
Specifications: non_null

COMBINING_HALF_MARKS

public static final Character.UnicodeBlock COMBINING_HALF_MARKS
Specifications: non_null

CJK_COMPATIBILITY_FORMS

public static final Character.UnicodeBlock CJK_COMPATIBILITY_FORMS
Specifications: non_null

SMALL_FORM_VARIANTS

public static final Character.UnicodeBlock SMALL_FORM_VARIANTS
Specifications: non_null

ARABIC_PRESENTATION_FORMS_B

public static final Character.UnicodeBlock ARABIC_PRESENTATION_FORMS_B
Specifications: non_null

HALFWIDTH_AND_FULLWIDTH_FORMS

public static final Character.UnicodeBlock HALFWIDTH_AND_FULLWIDTH_FORMS
Specifications: non_null

SPECIALS

public static final Character.UnicodeBlock SPECIALS
Specifications: non_null

SYRIAC

public static final Character.UnicodeBlock SYRIAC
Specifications: non_null

THAANA

public static final Character.UnicodeBlock THAANA
Specifications: non_null

SINHALA

public static final Character.UnicodeBlock SINHALA
Specifications: non_null

MYANMAR

public static final Character.UnicodeBlock MYANMAR
Specifications: non_null

ETHIOPIC

public static final Character.UnicodeBlock ETHIOPIC
Specifications: non_null

CHEROKEE

public static final Character.UnicodeBlock CHEROKEE
Specifications: non_null

UNIFIED_CANADIAN_ABORIGINAL_SYLLABICS

public static final Character.UnicodeBlock UNIFIED_CANADIAN_ABORIGINAL_SYLLABICS
Specifications: non_null

OGHAM

public static final Character.UnicodeBlock OGHAM
Specifications: non_null

RUNIC

public static final Character.UnicodeBlock RUNIC
Specifications: non_null

KHMER

public static final Character.UnicodeBlock KHMER
Specifications: non_null

MONGOLIAN

public static final Character.UnicodeBlock MONGOLIAN
Specifications: non_null

BRAILLE_PATTERNS

public static final Character.UnicodeBlock BRAILLE_PATTERNS
Specifications: non_null

CJK_RADICALS_SUPPLEMENT

public static final Character.UnicodeBlock CJK_RADICALS_SUPPLEMENT
Specifications: non_null

KANGXI_RADICALS

public static final Character.UnicodeBlock KANGXI_RADICALS
Specifications: non_null

IDEOGRAPHIC_DESCRIPTION_CHARACTERS

public static final Character.UnicodeBlock IDEOGRAPHIC_DESCRIPTION_CHARACTERS
Specifications: non_null

BOPOMOFO_EXTENDED

public static final Character.UnicodeBlock BOPOMOFO_EXTENDED
Specifications: non_null

CJK_UNIFIED_IDEOGRAPHS_EXTENSION_A

public static final Character.UnicodeBlock CJK_UNIFIED_IDEOGRAPHS_EXTENSION_A
Specifications: non_null

YI_SYLLABLES

public static final Character.UnicodeBlock YI_SYLLABLES
Specifications: non_null

YI_RADICALS

public static final Character.UnicodeBlock YI_RADICALS
Specifications: non_null
Constructor Detail

Character.UnicodeBlock

private Character.UnicodeBlock(non_null String name)
Method Detail

of

public static Character.UnicodeBlock of(char c)
Specifications: pure non_null

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.