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 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205
|
<!DOCTYPE HTML SYSTEM>
<!-- Generated by Lisaac shorter / html style -->
<html>
<head>
<title>
Lisaac prototype interface
</title>
</head>
<body BGCOLOR="#FFFFFF">
<br><br><strong><font color="#A020F0">Section</font></strong> <strong><font color="#A020F0">Header</font></strong>
<br><br><strong><font color="#FF0000">    +</font></strong> <strong><font color="#0000FF">name</font></strong> := <strong><font color="#A020F0">Expanded</font></strong> <a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> -> <a href="UINTEGER_16.html"><font color="#008000">UINTEGER_16</font></a>;
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">comment</font></strong> := <font color="#BC8F8F">"Static Unicode Character library ."</font>;
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">type</font></strong> := <em><strong><font color="#A4DEA4">`unsigned short`</font></strong></em>;
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">default</font></strong> := <font color="#5F9EA0">'\0'</font>;
<br><br><strong><font color="#A020F0">Section</font></strong> <strong><font color="#A020F0">Insert</font></strong>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">parent_character_ref</font></strong>:<a href="CHARACTER_REF.html"><font color="#008000">CHARACTER_REF</font></a> :=
<br><br><strong><font color="#A020F0">Section</font></strong> <strong><font color="#A020F0">Public</font></strong>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">in_range</font></strong> low:<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> <strong><font color="#0000FF">to</font></strong> up:<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> :<a href="BOOLEAN.html"><font color="#008000">BOOLEAN</font></a> <-
<br><font FACE="Sans-serif" color="#000000"><B></B></font>
<br><font FACE="Sans-serif" color="#000000"><B> General :</B></font>
<br><font FACE="Sans-serif" color="#000000"><B></B></font>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">object_size</font></strong>:<a href="INTEGER.html"><font color="#008000">INTEGER</font></a> :=
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">pointer_size</font></strong>:<a href="INTEGER.html"><font color="#008000">INTEGER</font></a> :=
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">maximum</font></strong>:<a href="INTEGER.html"><font color="#008000">INTEGER</font></a> :=
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">minimum</font></strong>:<a href="INTEGER.html"><font color="#008000">INTEGER</font></a> :=
<br><font FACE="Sans-serif" color="#000000"><B> - '==' other:CHAR_UNICODE :BOOLEAN <- (code == other.code); BSBS=> JBJB A revoir</B></font>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">to_uinteger_16</font></strong>:<a href="UINTEGER_16.html"><font color="#008000">UINTEGER_16</font></a> <-
<br><em><strong><font color="#707070">        Auto-cast</font></strong></em>
<br><font FACE="Sans-serif" color="#000000"><B> - print <- to_uinteger_16.print; BSBS-> JBJB a revoir !!</B></font>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">to_integer</font></strong>:<a href="INTEGER.html"><font color="#008000">INTEGER</font></a> <-
<br><em><strong><font color="#707070">        Sign-extended conversion.</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">code</font></strong>:<a href="INTEGER_8.html"><font color="#008000">INTEGER_8</font></a> <-
<br><em><strong><font color="#707070">        ASCII code of Current.</font></strong></em>
<br><em><strong><font color="#707070">        No Sign-extended conversion.</font></strong></em>
<br><font FACE="Sans-serif" color="#000000"><B></B></font>
<br><font FACE="Sans-serif" color="#000000"><B> Print.</B></font>
<br><font FACE="Sans-serif" color="#000000"><B></B></font>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">print</font></strong> <-
<br><font FACE="Sans-serif" color="#000000"><B></B></font>
<br><font FACE="Sans-serif" color="#000000"><B> Switch case :</B></font>
<br><font FACE="Sans-serif" color="#000000"><B></B></font>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">when</font></strong> value:<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> <strong><font color="#0000FF">then</font></strong> block:<a href="BLOCK.html"><font color="#008000">BLOCK</font></a> :<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> <-
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">when</font></strong> first_value:<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> <strong><font color="#0000FF">to</font></strong> last_value:<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> <strong><font color="#0000FF">then</font></strong> block:<a href="BLOCK.html"><font color="#008000">BLOCK</font></a> :<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> <-
<br><font FACE="Sans-serif" color="#000000"><B></B></font>
<br><font FACE="Sans-serif" color="#000000"><B> Binary operator :</B></font>
<br><font FACE="Sans-serif" color="#000000"><B></B></font>
<br><br><strong><font color="#FF0000">    -</font></strong> '<font color="#B8860B">+</font>' other:<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> :<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> <-
<br><br><strong><font color="#FF0000">    -</font></strong> '<font color="#B8860B">-</font>' other:<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> :<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> <-
<br><br><strong><font color="#FF0000">    -</font></strong> '<font color="#B8860B">!==</font>' other:<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> :<a href="BOOLEAN.html"><font color="#008000">BOOLEAN</font></a> <-
<br><em><strong><font color="#707070">        Comparison using `code'.</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> '<font color="#B8860B">==</font>' other:<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> :<a href="BOOLEAN.html"><font color="#008000">BOOLEAN</font></a> <-
<br><em><strong><font color="#707070">        Comparison using `code'.</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> '<font color="#B8860B"><</font>' other:<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> :<a href="BOOLEAN.html"><font color="#008000">BOOLEAN</font></a> <-
<br><em><strong><font color="#707070">        Comparison using `code'.</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> '<font color="#B8860B"><=</font>' other:<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> :<a href="BOOLEAN.html"><font color="#008000">BOOLEAN</font></a> <-
<br><em><strong><font color="#707070">        Comparison using `code'.</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> '<font color="#B8860B">></font>' other:<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> :<a href="BOOLEAN.html"><font color="#008000">BOOLEAN</font></a> <-
<br><em><strong><font color="#707070">        Comparison using `code'.</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> '<font color="#B8860B">>=</font>' other:<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> :<a href="BOOLEAN.html"><font color="#008000">BOOLEAN</font></a> <-
<br><em><strong><font color="#707070">        Comparison using `code'.</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">decimal_value</font></strong>:<a href="INTEGER.html"><font color="#008000">INTEGER</font></a> <-
<br><em><strong><font color="#707070">        Gives the value of a decimal digit.</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">binary_value</font></strong>:<a href="INTEGER.html"><font color="#008000">INTEGER</font></a> <-
<br><em><strong><font color="#707070">        Gives the value of a binary digit.</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">octal_value</font></strong>:<a href="INTEGER.html"><font color="#008000">INTEGER</font></a> <-
<br><em><strong><font color="#707070">        Gives the value of an octal digit.</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">hexadecimal_value</font></strong>:<a href="INTEGER.html"><font color="#008000">INTEGER</font></a> <-
<br><em><strong><font color="#707070">        Gives the value of an hexadecimal digit.</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">same_as</font></strong> other:<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> :<a href="BOOLEAN.html"><font color="#008000">BOOLEAN</font></a> <-
<br><em><strong><font color="#707070">        Case insensitive comparison.</font></strong></em>
<br><em><strong><font color="#707070">        No difference between upper/lower case letters.</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">to_upper</font></strong>:<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> <-
<br><em><strong><font color="#707070">        Conversion to the corresponding upper case.</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">to_lower</font></strong>:<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> <-
<br><em><strong><font color="#707070">        Conversion to the corresponding lower case.</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">is_letter</font></strong>:<a href="BOOLEAN.html"><font color="#008000">BOOLEAN</font></a> <-
<br><em><strong><font color="#707070">        Is it a letter ('a' .. 'z' or 'A' .. 'Z') ?</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">is_digit</font></strong>:<a href="BOOLEAN.html"><font color="#008000">BOOLEAN</font></a> <-
<br><em><strong><font color="#707070">        Belongs to '0'..'9'.</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">is_binary_digit</font></strong>:<a href="BOOLEAN.html"><font color="#008000">BOOLEAN</font></a> <-
<br><em><strong><font color="#707070">        Belongs to '0'..'1'.</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">is_octal_digit</font></strong>:<a href="BOOLEAN.html"><font color="#008000">BOOLEAN</font></a> <-
<br><em><strong><font color="#707070">        Belongs to '0'..'7'.</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">is_hexadecimal_digit</font></strong>:<a href="BOOLEAN.html"><font color="#008000">BOOLEAN</font></a> <-
<br><em><strong><font color="#707070">        Is it one character of "0123456789abcdefABCDEF" ?</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">is_lower</font></strong>:<a href="BOOLEAN.html"><font color="#008000">BOOLEAN</font></a> <-
<br><em><strong><font color="#707070">        Is it some lowercase letter ('a'..'z')?</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">is_upper</font></strong>:<a href="BOOLEAN.html"><font color="#008000">BOOLEAN</font></a> <-
<br><em><strong><font color="#707070">        Is it some uppercase letter ('A'..'Z')?</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">is_separator</font></strong>:<a href="BOOLEAN.html"><font color="#008000">BOOLEAN</font></a> <-
<br><em><strong><font color="#707070">        True when character is a separator.</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">is_letter_or_digit</font></strong>:<a href="BOOLEAN.html"><font color="#008000">BOOLEAN</font></a> <-
<br><em><strong><font color="#707070">        Is it a letter (see `is_letter') or a digit (see `is_digit') ?</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">is_ascii</font></strong>:<a href="BOOLEAN.html"><font color="#008000">BOOLEAN</font></a> :=
<br><em><strong><font color="#707070">        Is character a 8-bit ASCII character?</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">is_bit</font></strong>:<a href="BOOLEAN.html"><font color="#008000">BOOLEAN</font></a> <-
<br><em><strong><font color="#707070">        True for `0' and `1'.</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">next</font></strong>:<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> <-
<br><em><strong><font color="#707070">        Give the next character (the following `code');</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">previous</font></strong>:<a href="CHAR_UNICODE.html"><font color="#008000">CHAR_UNICODE</font></a> <-
<br><em><strong><font color="#707070">        Give the previous character (the `code' before);</font></strong></em>
<br><font FACE="Sans-serif" color="#000000"><B></B></font>
<br><font FACE="Sans-serif" color="#000000"><B> Conversions:</B></font>
<br><font FACE="Sans-serif" color="#000000"><B></B></font>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">to_hexadecimal</font></strong>:<a href="STRING.html"><font color="#008000">STRING</font></a> <-
<br><em><strong><font color="#707070">        Create a new STRING giving the `code' in hexadecimal.</font></strong></em>
<br><em><strong><font color="#707070">        For example :</font></strong></em>
<br><em><strong><font color="#707070">        (255).to_character.to_hexadecimal gives "FF".</font></strong></em>
<br><em><strong><font color="#707070">        Note: see `to_hexadecimal_in' to save memory.</font></strong></em>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">to_hexadecimal_in</font></strong> str:<a href="STRING.html"><font color="#008000">STRING</font></a> <-
<br><em><strong><font color="#707070">        Append the equivalent of `to_hexadecimal' at the end of</font></strong></em>
<br><em><strong><font color="#707070">        `str'. Thus you can save memory because no other</font></strong></em>
<br><em><strong><font color="#707070">        STRING is allocate for the job.</font></strong></em>
<br><font FACE="Sans-serif" color="#000000"><B></B></font>
<br><font FACE="Sans-serif" color="#000000"><B> Miscellaneous:</B></font>
<br><font FACE="Sans-serif" color="#000000"><B></B></font>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">is_alpha</font></strong>:<a href="BOOLEAN.html"><font color="#008000">BOOLEAN</font></a> <-
<br><em><strong><font color="#707070">        See `is_letter' (yes this is just a call to `is_letter').</font></strong></em>
<br><em><strong><font color="#707070">        Isn't `is_letter' better English ;-)</font></strong></em>
<br><font FACE="Sans-serif" color="#000000"><B></B></font>
<br><font FACE="Sans-serif" color="#000000"><B> Hashing :</B></font>
<br><font FACE="Sans-serif" color="#000000"><B></B></font>
<br><br><strong><font color="#FF0000">    -</font></strong> <strong><font color="#0000FF">hash_code</font></strong>: <a href="INTEGER.html"><font color="#008000">INTEGER</font></a> <-
</body>
</html>
|