note description: "Unicode constants" library: "Gobo Eiffel Kernel Library" copyright: "Copyright (c) 2002-2005, Eric Bezault and others" license: "MIT License" date: "$Date: 2016-05-06 19:15:38 +0000 (Fri, 06 May 2016) $" revision: "$Revision: 98678 $" class interface UC_UNICODE_CONSTANTS create default_create -- Process instances of classes with no creation clause. -- (Default: do nothing.) -- (from ANY) feature -- Access Canonical_decomposition_mapping: INTEGER_32 = 0 -- Decomposition mapping is canonical Close_punctuation_category: INTEGER_32 = 15 -- Close punctuation Compatibility_decomposition_mapping: INTEGER_32 = 16 -- Decomposition mapping for unspecified compatibility character Connector_punctuation_category: INTEGER_32 = 12 -- Connector punctuation Control_other_category: INTEGER_32 = 26 -- Control character Currency_symbol_category: INTEGER_32 = 20 -- Currency symbol Dash_punctuation_category: INTEGER_32 = 13 -- Dash punctuation Decimal_digit_number_category: INTEGER_32 = 9 -- Decimal digit number Encircled_decomposition_mapping: INTEGER_32 = 7 -- Decomposition mapping for encircled form Enclosing_mark_category: INTEGER_32 = 8 -- Enclosing mark Final_decomposition_mapping: INTEGER_32 = 5 -- Decomposition mapping for Arabic final presentation form Final_quote_punctuation_category: INTEGER_32 = 17 -- Final_quote punctuation Font_decomposition_mapping: INTEGER_32 = 1 -- Decomposition mapping for font variant Format_other_category: INTEGER_32 = 27 -- Format character Fraction_decomposition_mapping: INTEGER_32 = 15 -- Decomposition mapping for vulgar fraction form generating_type: TYPE [detachable UC_UNICODE_CONSTANTS] -- Type of current object -- (type of which it is a direct instance) -- (from ANY) ensure -- from ANY generating_type_not_void: Result /= Void generator: STRING_8 -- Name of current object's generating class -- (base class of the type of which it is a direct instance) -- (from ANY) ensure -- from ANY generator_not_void: Result /= Void generator_not_empty: not Result.is_empty Initial_decomposition_mapping: INTEGER_32 = 3 -- Decomposition mapping for Arabic initial presentation form Initial_quote_punctuation_category: INTEGER_32 = 16 -- Initial punctuation Isolated_decomposition_mapping: INTEGER_32 = 6 -- Decomposition mapping for Arabic isolated presentation form Letter_number_category: INTEGER_32 = 10 -- Letter number Line_separator_category: INTEGER_32 = 24 -- Line separator Lowercase_letter_category: INTEGER_32 = 2 -- Lower case letter Math_symbol_category: INTEGER_32 = 19 -- Mathematics symbol Maximum_ascii_character: CHARACTER_8 = '%/127/' -- Largest ASCII character -- ensure -- definition: Result.code = maximum_ascii_code -- end Maximum_ascii_character_code: INTEGER_32 = 127 -- Largest code for ASCII characters -- (2^7 - 1) -- ensure -- definition: Result = 127 -- small_enough: Result <= Platform.Maximum_byte_code -- end Maximum_bmp_character_code: INTEGER_32 = 65535 -- Largest code for unicode characters in Basic Multi-lingual Plane (FFFF); -- ensure -- definition: Result = 65535 -- end Maximum_unicode_character_code: INTEGER_32 = 1114111 -- Largest code for unicode characters (10FFFF); -- Includes final two non-characters. -- ensure -- definition: Result = 1114111 -- end Maximum_unicode_surrogate_code: INTEGER_32 = 57343 -- Highest unicode surrogate code-point (0xDFFF) -- ensure -- definition: Result = 57343 -- end Medial_decomposition_mapping: INTEGER_32 = 4 -- Decomposition mapping for Arabic medial presentation form Minimum_ascii_character: CHARACTER_8 = '%U' -- Smallest ASCII character -- ensure -- definition: Result.code = minimum_ascii_code -- end Minimum_ascii_character_code: INTEGER_32 = 0 -- Smallest code for ASCII characters -- ensure -- definition: Result = 0 -- end Minimum_unicode_character_code: INTEGER_32 = 0 -- Smallest code for unicode characters -- ensure -- definition: Result = 0 -- end Minimum_unicode_surrogate_code: INTEGER_32 = 55296 -- Lowest unicode surrogate code-point (0xD800) -- ensure -- definition: Result = 55296 -- end Modifier_letter_category: INTEGER_32 = 4 -- Modifier letter Modifier_symbol_category: INTEGER_32 = 21 -- Modifier symbol Narrow_decomposition_mapping: INTEGER_32 = 12 -- Decomposition mapping for narrow (hankaku) compatibility character No_break_decomposition_mapping: INTEGER_32 = 2 -- Decomposition mapping for no-break variant Non_spacing_mark_category: INTEGER_32 = 6 -- Non-spacing mark Open_punctuation_category: INTEGER_32 = 14 -- Open punctuation Other_letter_category: INTEGER_32 = 5 -- Other letter Other_number_category: INTEGER_32 = 11 -- Other number Other_punctuation_category: INTEGER_32 = 18 -- Other punctuation Other_symbol_category: INTEGER_32 = 22 -- Other symbol Paragraph_separator_category: INTEGER_32 = 25 -- Paragraph separator Platform: KL_PLATFORM -- Platform-dependent properties -- (from KL_SHARED_PLATFORM) ensure -- from KL_SHARED_PLATFORM instance_free: class platform_not_void: Result /= Void Private_other_category: INTEGER_32 = 29 -- Private-use character Small_decomposition_mapping: INTEGER_32 = 13 -- Decomposition mapping for small variant form (CNS compatibility) Space_separator_category: INTEGER_32 = 23 -- Space separator Spacing_combining_mark_category: INTEGER_32 = 7 -- Spacing combining mark Square_decomposition_mapping: INTEGER_32 = 14 -- Decomposition mapping for CJK squared font variant Subscript_decomposition_mapping: INTEGER_32 = 9 -- Decomposition mapping for subscript form Superscript_decomposition_mapping: INTEGER_32 = 8 -- Decomposition mapping for superscript form Surrogate_other_category: INTEGER_32 = 28 -- Surrogate character Titlecase_letter_category: INTEGER_32 = 3 -- Title case letter Unassigned_other_category: INTEGER_32 = 0 -- Unassigned chacaracter Uppercase_letter_category: INTEGER_32 = 1 -- Upper case letter Vertical_decomposition_mapping: INTEGER_32 = 10 -- Decomposition mapping for vertical layout presentation form Wide_decomposition_mapping: INTEGER_32 = 11 -- Decomposition mapping for wide (zenkaku) compatibility character feature -- Comparison frozen deep_equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void -- or attached to isomorphic object structures? -- (from ANY) ensure -- from ANY instance_free: class shallow_implies_deep: standard_equal (a, b) implies Result both_or_none_void: (a = Void) implies (Result = (b = Void)) same_type: (Result and (a /= Void)) implies (b /= Void and then a.same_type (b)) symmetric: Result implies deep_equal (b, a) frozen equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void or attached -- to objects considered equal? -- (from ANY) ensure -- from ANY instance_free: class definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.is_equal (b)) frozen is_deep_equal (other: UC_UNICODE_CONSTANTS): BOOLEAN -- Are Current and other attached to isomorphic object structures? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY shallow_implies_deep: standard_is_equal (other) implies Result same_type: Result implies same_type (other) symmetric: Result implies other.is_deep_equal (Current) is_equal (other: UC_UNICODE_CONSTANTS): BOOLEAN -- Is other attached to an object considered -- equal to current object? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY symmetric: Result implies other ~ Current consistent: standard_is_equal (other) implies Result frozen standard_equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void or attached to -- field-by-field identical objects of the same type? -- Always uses default object comparison criterion. -- (from ANY) ensure -- from ANY instance_free: class definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.standard_is_equal (b)) frozen standard_is_equal (other: UC_UNICODE_CONSTANTS): BOOLEAN -- Is other attached to an object of the same type -- as current object, and field-by-field identical to it? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY same_type: Result implies same_type (other) symmetric: Result implies other.standard_is_equal (Current) feature -- Status report conforms_to (other: ANY): BOOLEAN -- Does type of current object conform to type -- of other (as per Eiffel: The Language, chapter 13)? -- (from ANY) require -- from ANY other_not_void: other /= Void same_type (other: ANY): BOOLEAN -- Is type of current object identical to type of other? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY definition: Result = (conforms_to (other) and other.conforms_to (Current)) feature -- Duplication copy (other: UC_UNICODE_CONSTANTS) -- Update current object using fields of object attached -- to other, so as to yield equal objects. -- (from ANY) require -- from ANY other_not_void: other /= Void type_identity: same_type (other) ensure -- from ANY is_equal: Current ~ other frozen deep_copy (other: UC_UNICODE_CONSTANTS) -- Effect equivalent to that of: -- copy (other . deep_twin) -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY deep_equal: deep_equal (Current, other) frozen deep_twin: UC_UNICODE_CONSTANTS -- New object structure recursively duplicated from Current. -- (from ANY) ensure -- from ANY deep_twin_not_void: Result /= Void deep_equal: deep_equal (Current, Result) frozen standard_copy (other: UC_UNICODE_CONSTANTS) -- Copy every field of other onto corresponding field -- of current object. -- (from ANY) require -- from ANY other_not_void: other /= Void type_identity: same_type (other) ensure -- from ANY is_standard_equal: standard_is_equal (other) frozen standard_twin: UC_UNICODE_CONSTANTS -- New object field-by-field identical to other. -- Always uses default copying semantics. -- (from ANY) ensure -- from ANY standard_twin_not_void: Result /= Void equal: standard_equal (Result, Current) frozen twin: UC_UNICODE_CONSTANTS -- New object equal to Current -- twin calls copy; to change copying/twinning semantics, redefine copy. -- (from ANY) ensure -- from ANY twin_not_void: Result /= Void is_equal: Result ~ Current feature -- Basic operations frozen default: detachable UC_UNICODE_CONSTANTS -- Default value of object's type -- (from ANY) frozen default_pointer: POINTER -- Default value of type POINTER -- (Avoid the need to write p.default for -- some p of type POINTER.) -- (from ANY) ensure -- from ANY instance_free: class default_rescue -- Process exception for routines with no Rescue clause. -- (Default: do nothing.) -- (from ANY) frozen do_nothing -- Execute a null action. -- (from ANY) ensure -- from ANY instance_free: class feature -- Output Io: STD_FILES -- Handle to standard file setup -- (from ANY) ensure -- from ANY instance_free: class io_not_void: Result /= Void out: STRING_8 -- New string containing terse printable representation -- of current object -- (from ANY) ensure -- from ANY out_not_void: Result /= Void print (o: detachable ANY) -- Write terse external representation of o -- on standard output. -- (from ANY) ensure -- from ANY instance_free: class frozen tagged_out: STRING_8 -- New string containing terse printable representation -- of current object -- (from ANY) ensure -- from ANY tagged_out_not_void: Result /= Void feature -- Platform Operating_environment: OPERATING_ENVIRONMENT -- Objects available from the operating system -- (from ANY) ensure -- from ANY instance_free: class operating_environment_not_void: Result /= Void invariant -- from ANY reflexive_equality: standard_is_equal (Current) reflexive_conformance: conforms_to (Current) end -- class UC_UNICODE_CONSTANTS
Generated by ISE EiffelStudio