CVS difference for arm/source/pre_standard.mss
--- arm/source/pre_standard.mss 2000/05/26 05:03:28 1.13
+++ arm/source/pre_standard.mss 2000/05/27 04:44:03 1.14
@@ -1,8 +1,8 @@
@comment{ $Source: e:\\cvsroot/ARM/Source/pre_standard.mss,v $ }
-@comment{ $Revision: 1.13 $ $Date: 2000/05/26 05:03:28 $ $Author: Randy $ }
+@comment{ $Revision: 1.14 $ $Date: 2000/05/27 04:44:03 $ $Author: Randy $ }
@Part(predefstandard, Root="ada.mss")
-@Comment{$Date: 2000/05/26 05:03:28 $}
+@Comment{$Date: 2000/05/27 04:44:03 $}
@LabeledClause{The Package Standard}
@@ -36,45 +36,42 @@
@LangDefType{Package=[Standard],Type=[Boolean]}
@key[type] Boolean @key[is] (False, True);
-@Hinge{}
- --@i{ The predefined relational operators for this type are as follows:}
-@Hinge{}
+@Keepnext --@RI{ The predefined relational operators for this type are as follows:}
+
-- @key[function] "=" (Left, Right : Boolean) @key[return] Boolean;
-- @key[function] "/=" (Left, Right : Boolean) @key[return] Boolean;
-- @key[function] "<" (Left, Right : Boolean) @key[return] Boolean;
-- @key[function] "<=" (Left, Right : Boolean) @key[return] Boolean;
-- @key[function] ">" (Left, Right : Boolean) @key[return] Boolean;
-- @key[function] ">=" (Left, Right : Boolean) @key[return] Boolean;
-@Hinge{}
+
- --@i{ The predefined logical operators and the predefined logical}
- --@i{ negation operator are as follows:}
-@Hinge{}
+@Keepnext --@RI{ The predefined logical operators and the predefined logical}
+ --@RI{ negation operator are as follows:}
-- @key[function] "@key[and]" (Left, Right : Boolean) @key[return] Boolean;
-- @key[function] "@key[or]" (Left, Right : Boolean) @key[return] Boolean;
-- @key[function] "@key[xor]" (Left, Right : Boolean) @key[return] Boolean;
-@Hinge{}
+
-- @key[function] "@key[not]" (Right : Boolean) @key[return] Boolean;
-@Hinge{}
+
+
+ --@RI{ The integer type root_integer is predefined.}
+ --@RI{ The corresponding universal type is universal_integer.}
- --@i{ The integer type @i{root_integer} is predefined.}
- --@i{ The corresponding universal type is @i{universal_integer}.}
-@Hinge{}
@LangDefType{Package=[Standard],Type=[Integer]}
- @key[type] Integer @key[is] @key{range} @i{implementation-defined};
-@Hinge{}
+ @key[type] Integer @key[is] @key{range} @RI{implementation-defined};
+
@key[subtype] Natural @key[is] Integer @key[range] 0 .. Integer'Last;
@key[subtype] Positive @key[is] Integer @key[range] 1 .. Integer'Last;
-@Hinge{}
+
- --@i{ The predefined operators for type Integer are as follows:}
-@Hinge{}
+@Keepnext --@RI{ The predefined operators for type Integer are as follows:}
-- @key[function] "=" (Left, Right : Integer'Base) @key[return] Boolean;
-- @key[function] "/=" (Left, Right : Integer'Base) @key[return] Boolean;
@@ -82,12 +79,12 @@
-- @key[function] "<=" (Left, Right : Integer'Base) @key[return] Boolean;
-- @key[function] ">" (Left, Right : Integer'Base) @key[return] Boolean;
-- @key[function] ">=" (Left, Right : Integer'Base) @key[return] Boolean;
-@Hinge{}
+
-- @key[function] "+" (Right : Integer'Base) @key[return] Integer'Base;
-- @key[function] "-" (Right : Integer'Base) @key[return] Integer'Base;
-- @key[function] "@key[abs]" (Right : Integer'Base) @key[return] Integer'Base;
-@Hinge{}
+
-- @key[function] "+" (Left, Right : Integer'Base) @key[return] Integer'Base;
-- @key[function] "-" (Left, Right : Integer'Base) @key[return] Integer'Base;
@@ -95,29 +92,28 @@
-- @key[function] "/" (Left, Right : Integer'Base) @key[return] Integer'Base;
-- @key[function] "@key[rem]" (Left, Right : Integer'Base) @key[return] Integer'Base;
-- @key[function] "@key[mod]" (Left, Right : Integer'Base) @key[return] Integer'Base;
-@Hinge{}
+
-- @key[function] "**" (Left : Integer'Base; Right : Natural) @key[return] Integer'Base;
-@Hinge{}
+
+
+ --@RI{ The specification of each operator for the type}
+ --@RI{ root_integer, or for any additional predefined integer}
+ --@RI{ type, is obtained by replacing Integer by the name of the type}
+ --@RI{ in the specification of the corresponding operator of the type}
+ --@RI{ Integer. The right operand of the exponentiation operator}
+ --@RI{ remains as subtype Natural.}
+
- --@i{ The specification of each operator for the type}
- --@i{ @i{root_integer}, or for any additional predefined integer}
- --@i{ type, is obtained by replacing Integer by the name of the type}
- --@i{ in the specification of the corresponding operator of the type}
- --@i{ Integer. The right operand of the exponentiation operator}
- --@i{ remains as subtype Natural.}
-@Hinge{}
-
- --@i{ The floating point type @i{root_real} is predefined.}
- --@i{ The corresponding universal type is @i{universal_real}.}
-@Hinge{}
+ --@RI{ The floating point type root_real is predefined.}
+ --@RI{ The corresponding universal type is universal_real.}
+
@LangDefType{Package=[Standard],Type=[Float]}
- @key[type] Float @key[is] @key{digits} @i{implementation-defined};
-@Hinge{}
+ @key[type] Float @key[is] @key{digits} @RI{implementation-defined};
+
- --@i{ The predefined operators for this type are as follows:}
-@Hinge{}
+@Keepnext --@RI{ The predefined operators for this type are as follows:}
-- @key[function] "=" (Left, Right : Float) @key[return] Boolean;
-- @key[function] "/=" (Left, Right : Float) @key[return] Boolean;
@@ -125,171 +121,165 @@
-- @key[function] "<=" (Left, Right : Float) @key[return] Boolean;
-- @key[function] ">" (Left, Right : Float) @key[return] Boolean;
-- @key[function] ">=" (Left, Right : Float) @key[return] Boolean;
-@Hinge{}
+
-- @key[function] "+" (Right : Float) @key[return] Float;
-- @key[function] "-" (Right : Float) @key[return] Float;
-- @key[function] "@key[abs]" (Right : Float) @key[return] Float;
-@Hinge{}
+
-- @key[function] "+" (Left, Right : Float) @key[return] Float;
-- @key[function] "-" (Left, Right : Float) @key[return] Float;
-- @key[function] "*" (Left, Right : Float) @key[return] Float;
-- @key[function] "/" (Left, Right : Float) @key[return] Float;
-@Hinge{}
+
-- @key[function] "**" (Left : Float; Right : Integer'Base) @key[return] Float;
-@Hinge{}
+
+
+ --@RI{ The specification of each operator for the type root_real, or for}
+ --@RI{ any additional predefined floating point type, is obtained by}
+ --@RI{ replacing Float by the name of the type in the specification of the}
+ --@RI{ corresponding operator of the type Float.}
+
+
+@Keepnext --@RI{ In addition, the following operators are predefined for the root}
+ --@RI{ numeric types:}
- --@i{ The specification of each operator for the type @i{root_real}, or for}
- --@i{ any additional predefined floating point type, is obtained by}
- --@i{ replacing Float by the name of the type in the specification of the}
- --@i{ corresponding operator of the type Float.}
-@Hinge{}
+ @key[function] "*" (Left : @RI{root_integer}; Right : @RI{root_real})
+ @key[return] @RI{root_real};
- --@i{ In addition, the following operators are predefined for the root}
- --@i{ numeric types:}
-@Hinge{}
- @key[function] "*" (Left : @i{root_integer}; Right : @i{root_real})
- @key[return] @i{root_real};
-@Hinge{}
+ @key[function] "*" (Left : @RI{root_real}; Right : @RI{root_integer})
+ @key[return] @RI{root_real};
- @key[function] "*" (Left : @i{root_real}; Right : @i{root_integer})
- @key[return] @i{root_real};
-@Hinge{}
- @key[function] "/" (Left : @i{root_real}; Right : @i{root_integer})
- @key[return] @i{root_real};
-@Hinge{}
+ @key[function] "/" (Left : @RI{root_real}; Right : @RI{root_integer})
+ @key[return] @RI{root_real};
- --@i{ The type universal_fixed is predefined.}
- --@i{ The only multiplying operators defined between}
- --@i{ fixed point types are}
- @key[function] "*" (Left : @i[universal_fixed]; Right : @i[universal_fixed])
- @key[return] @i[universal_fixed];
+ --@RI{ The type universal_fixed is predefined.}
+ --@RI{ The only multiplying operators defined between}
+ --@RI{ fixed point types are}
- @key[function] "/" (Left : @i[universal_fixed]; Right : @i[universal_fixed])
- @key[return] @i[universal_fixed];
-@Hinge{}
+ @key[function] "*" (Left : @RI[universal_fixed]; Right : @RI[universal_fixed])
+ @key[return] @RI[universal_fixed];
+
+ @key[function] "/" (Left : @RI[universal_fixed]; Right : @RI[universal_fixed])
+ @key[return] @RI[universal_fixed];
+
+@tabclear()@tabset(P7, P14, P21, P28, P37, P44, P51, P58, P68)
@comment{blank line}
+ --@RI{ The declaration of type Character is based on the standard ISO 8859-1 character set.}
@comment{blank line}
- --@i{ The declaration of type Character is based on the standard ISO 8859-1 character set.}
-
-@tabclear()@tabset(4, 8, 12, 16, 22, 26, 30, 34, 40)
- --@i{ There are no character literals corresponding to the positions for control characters.}
- --@i{ They are indicated in italics in this definition. See @refsecnum[Character Types].}
+ --@RI{ There are no character literals corresponding to the positions for control characters.}
+ --@RI{ They are indicated in italics in this definition. See @refsecnum[Character Types].}
@comment[blank line]
@LangDefType{Package=[Standard],Type=[Character]}
@key[type] Character @key[is]
- (@i[nul], @\@i[soh], @\@i[stx], @\@i[etx], @\@i[eot], @\@i[enq], @\@i[ack], @\@i[bel], @\--@i{0 (16#00#) .. 7 (16#07#)}]
- @i[bs], @\@i[ht], @\@i[lf], @\@i[vt], @\@i[ff], @\@i[cr], @\@i[so], @\@i[si], @\--@i{8 (16#08#) .. 15 (16#0F#)}]
+ (@RI[nul],@\@RI[soh],@\@RI[stx],@\@RI[etx],@\@RI[eot],@\@RI[enq],@\@RI[ack],@\@RI[bel],@\--@RI{0 (16#00#) .. 7 (16#07#)}
+ @RI[bs],@\@RI[ht],@\@RI[lf],@\@RI[vt],@\@RI[ff],@\@RI[cr],@\@RI[so],@\@RI[si],@\--@RI{8 (16#08#) .. 15 (16#0F#)}
@comment{blank line}
- @i[dle], @\@i[dc1], @\@i[dc2], @\@i[dc3], @\@i[dc4], @\@i[nak], @\@i[syn], @\@i[etb], @\--@i{16 (16#10#) .. 23 (16#17#)}]
- @i[can], @\@i[em], @\@i[sub], @\@i[esc], @\@i[fs], @\@i[gs], @\@i[rs], @\@i[us], @\--@i{24 (16#18#) .. 31 (16#1F#)}]
+ @RI[dle],@\@RI[dc1],@\@RI[dc2],@\@RI[dc3],@\@RI[dc4],@\@RI[nak],@\@RI[syn],@\@RI[etb],@\--@RI{16 (16#10#) .. 23 (16#17#)}
+ @RI[can],@\@RI[em],@\@RI[sub],@\@RI[esc],@\@RI[fs],@\@RI[gs],@\@RI[rs],@\@RI[us],@\--@RI{24 (16#18#) .. 31 (16#1F#)}
@comment{blank line}
- ' ', '!', '"', '#', '$', '%', '&', ''', @\--@i{32 (16#20#) .. 39 (16#27#)}]
- '(', ')', '*', '+', ',', '-', '.', '/', @\--@i{40 (16#28#) .. 47 (16#2F#)}]
+ ' ',@\'!',@\'"',@\'#',@\'$',@\'%',@\'&',@\''',@\--@RI{32 (16#20#) .. 39 (16#27#)}
+ '(',@\')',@\'*',@\'+',@\',',@\'-',@\'.',@\'/',@\--@RI{40 (16#28#) .. 47 (16#2F#)}
@comment{blank line}
- '0', '1', '2', '3', '4', '5', '6', '7', @\--@i{48 (16#30#) .. 55 (16#37#)}]
- '8', '9', ':', ';', '<', '=', '>', '?', @\--@i{56 (16#38#) .. 63 (16#3F#)}]
+ '0',@\'1',@\'2',@\'3',@\'4',@\'5',@\'6',@\'7',@\--@RI{48 (16#30#) .. 55 (16#37#)}
+ '8',@\'9',@\':',@\';',@\'<',@\'=',@\'>',@\'?',@\--@RI{56 (16#38#) .. 63 (16#3F#)}
@comment{blank line}
- '@@', 'A', 'B', 'C', 'D', 'E', 'F', 'G', @\--@i{64 (16#40#) .. 71 (16#47#)}]
- 'H', 'I', 'J', 'K', 'L', 'M', 'N', 'O', @\--@i{72 (16#48#) .. 79 (16#4F#)}]
+ '@@',@\'A',@\'B',@\'C',@\'D',@\'E',@\'F',@\'G',@\--@RI{64 (16#40#) .. 71 (16#47#)}
+ 'H',@\'I',@\'J',@\'K',@\'L',@\'M',@\'N',@\'O',@\--@RI{72 (16#48#) .. 79 (16#4F#)}
@comment{blank line}
- 'P', 'Q', 'R', 'S', 'T', 'U', 'V', 'W', @\--@i{80 (16#50#) .. 87 (16#57#)}]
- 'X', 'Y', 'Z', '[', '\', ']', '^', '_', @\--@i{88 (16#58#) .. 95 (16#5F#)}]
+ 'P',@\'Q',@\'R',@\'S',@\'T',@\'U',@\'V',@\'W',@\--@RI{80 (16#50#) .. 87 (16#57#)}
+ 'X',@\'Y',@\'Z',@\'[',@\'\',@\']',@\'^',@\'_',@\--@RI{88 (16#58#) .. 95 (16#5F#)}
@comment{blank line}
- '`', 'a', 'b', 'c', 'd', 'e', 'f', 'g', @\--@i{96 (16#60#) .. 103 (16#67#)}]
- 'h', 'i', 'j', 'k', 'l', 'm', 'n', 'o', @\--@i{104 (16#68#) .. 111 (16#6F#)}]
+ '`',@\'a',@\'b',@\'c',@\'d',@\'e',@\'f',@\'g',@\--@RI{96 (16#60#) .. 103 (16#67#)}
+ 'h',@\'i',@\'j',@\'k',@\'l',@\'m',@\'n',@\'o',@\--@RI{104 (16#68#) .. 111 (16#6F#)}
@comment{blank line}
- 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', @\--@i{112 (16#70#) .. 119 (16#77#)}]
- 'x', 'y', 'z', '{', '|', '}', '~', @i[del], @\--@i{120 (16#78#) .. 127 (16#7F#)}]
+ 'p',@\'q',@\'r',@\'s',@\'t',@\'u',@\'v',@\'w',@\--@RI{112 (16#70#) .. 119 (16#77#)}
+ 'x',@\'y',@\'z',@\'{',@\'|',@\'}',@\'~',@\@RI[del],@\--@RI{120 (16#78#) .. 127 (16#7F#)}
@Comment{Blank line}
- @i[reserved_128], @\@i[reserved_129], @\@i[bph], @\@i[nbh], @\ @\ @\--@i{128 (16#80#) .. 131 (16#83#)}]
- @i[reserved_132], @\@i[nel], @\@i[ssa], @\@i[esa], @\ @\ @\ @\--@i{132 (16#84#) .. 135 (16#87#)}]
- @i[hts], @\@i[htj], @\@i[vts], @\@i[pld], @\@i[plu], @\@i[ri], @\@i[ss2], @\@i[ss3], @\--@i{136 (16#88#) .. 143 (16#8F#)}]
+ @RI[reserved_128],@\@RI[reserved_129],@\@RI[bph],@\@RI[nbh],@\@\@\--@RI{128 (16#80#) .. 131 (16#83#)}
+ @RI[reserved_132],@\@RI[nel],@\@RI[ssa],@\@RI[esa],@\@\@\@\--@RI{132 (16#84#) .. 135 (16#87#)}
+ @RI[hts],@\@RI[htj],@\@RI[vts],@\@RI[pld],@\@RI[plu],@\@RI[ri],@\@RI[ss2],@\@RI[ss3],@\--@RI{136 (16#88#) .. 143 (16#8F#)}
@comment{blank line}
- @i[dcs], @\@i[pu1], @\@i[pu2], @\@i[sts], @\@i[cch], @\@i[mw], @\@i[spa], @\@i[epa], @\--@i{144 (16#90#) .. 151 (16#97#)}]
- @i[sos], @\@i[reserved_153], @\@i[sci], @\@i[csi], @\ @\ @\@\--@i{152 (16#98#) .. 155 (16#9B#)}]
- @i[st], @\@i[osc], @\@i[pm], @\@i[apc], @\ @\ @\ @\ @\--@i{156 (16#9C#) .. 159 (16#9F#)}]
-
+ @RI[dcs],@\@RI[pu1],@\@RI[pu2],@\@RI[sts],@\@RI[cch],@\@RI[mw],@\@RI[spa],@\@RI[epa],@\--@RI{144 (16#90#) .. 151 (16#97#)}
+ @RI[sos],@\@RI[reserved_153],@\@RI[sci],@\@RI[csi],@\@\@\@\--@RI{152 (16#98#) .. 155 (16#9B#)}
+ @RI[st],@\@RI[osc],@\@RI[pm],@\@RI[apc],@\@\@\@\@\--@RI{156 (16#9C#) .. 159 (16#9F#)}
@comment{blank line}
- ' ', '@latin1(161)', '@latin1(162)', '@latin1(163)', '@latin1(164)', '@latin1(165)', '@latin1(166)', '@latin1(167)', @\--@i{160 (16#A0#) .. 167 (16#A7#)}
- '@latin1(168)', '@latin1(169)', '@latin1(170)', '@latin1(171)', '@latin1(172)', '@latin1(173)', '@latin1(174)', '@latin1(175)', @\--@i{168 (16#A8#) .. 175 (16#AF#)}
+ ' ',@\'@latin1(161)',@\'@latin1(162)',@\'@latin1(163)',@\'@latin1(164)',@\'@latin1(165)',@\'@latin1(166)',@\'@latin1(167)',@\--@RI{160 (16#A0#) .. 167 (16#A7#)}
+ '@latin1(168)',@\'@latin1(169)',@\'@latin1(170)',@\'@latin1(171)',@\'@latin1(172)',@\'@latin1(173)',@\'@latin1(174)',@\'@latin1(175)',@\--@RI{168 (16#A8#) .. 175 (16#AF#)}
@comment{blank line}
- '@latin1(176)', '@latin1(177)', '@latin1(178)', '@latin1(179)', '@latin1(180)', '@latin1(181)', '@latin1(182)', '@latin1(183)', @\--@i{176 (16#B0#) .. 183 (16#B7#)}
- '@latin1(184)', '@latin1(185)', '@latin1(186)', '@latin1(187)', '@latin1(188)', '@latin1(189)', '@latin1(190)', '@latin1(191)', @\--@i{184 (16#B8#) .. 191 (16#BF#)}
+ '@latin1(176)',@\'@latin1(177)',@\'@latin1(178)',@\'@latin1(179)',@\'@latin1(180)',@\'@latin1(181)',@\'@latin1(182)',@\'@latin1(183)',@\--@RI{176 (16#B0#) .. 183 (16#B7#)}
+ '@latin1(184)',@\'@latin1(185)',@\'@latin1(186)',@\'@latin1(187)',@\'@latin1(188)',@\'@latin1(189)',@\'@latin1(190)',@\'@latin1(191)',@\--@RI{184 (16#B8#) .. 191 (16#BF#)}
@comment{blank line}
- '@latin1(192)', '@latin1(193)', '@latin1(194)', '@latin1(195)', '@latin1(196)', '@latin1(197)', '@latin1(198)', '@latin1(199)', @\--@i{192 (16#C0#) .. 199 (16#C7#)}
- '@latin1(200)', '@latin1(201)', '@latin1(202)', '@latin1(203)', '@latin1(204)', '@latin1(205)', '@latin1(206)', '@latin1(207)', @\--@i{200 (16#C8#) .. 207 (16#CF#)}
+ '@latin1(192)',@\'@latin1(193)',@\'@latin1(194)',@\'@latin1(195)',@\'@latin1(196)',@\'@latin1(197)',@\'@latin1(198)',@\'@latin1(199)',@\--@RI{192 (16#C0#) .. 199 (16#C7#)}
+ '@latin1(200)',@\'@latin1(201)',@\'@latin1(202)',@\'@latin1(203)',@\'@latin1(204)',@\'@latin1(205)',@\'@latin1(206)',@\'@latin1(207)',@\--@RI{200 (16#C8#) .. 207 (16#CF#)}
@comment{blank line}
- '@latin1(208)', '@latin1(209)', '@latin1(210)', '@latin1(211)', '@latin1(212)', '@latin1(213)', '@latin1(214)', '@latin1(215)', @\--@i{208 (16#D0#) .. 215 (16#D7#)}
- '@latin1(216)', '@latin1(217)', '@latin1(218)', '@latin1(219)', '@latin1(220)', '@latin1(221)', '@latin1(222)', '@latin1(223)', @\--@i{216 (16#D8#) .. 223 (16#DF#)}
+ '@latin1(208)',@\'@latin1(209)',@\'@latin1(210)',@\'@latin1(211)',@\'@latin1(212)',@\'@latin1(213)',@\'@latin1(214)',@\'@latin1(215)',@\--@RI{208 (16#D0#) .. 215 (16#D7#)}
+ '@latin1(216)',@\'@latin1(217)',@\'@latin1(218)',@\'@latin1(219)',@\'@latin1(220)',@\'@latin1(221)',@\'@latin1(222)',@\'@latin1(223)',@\--@RI{216 (16#D8#) .. 223 (16#DF#)}
@comment{blank line}
- '@latin1(224)', '@latin1(225)', '@latin1(226)', '@latin1(227)', '@latin1(228)', '@latin1(229)', '@latin1(230)', '@latin1(231)', @\--@i{224 (16#E0#) .. 231 (16#E7#)}
- '@latin1(232)', '@latin1(233)', '@latin1(234)', '@latin1(235)', '@latin1(236)', '@latin1(237)', '@latin1(238)', '@latin1(239)', @\--@i{232 (16#E8#) .. 239 (16#EF#)}
+ '@latin1(224)',@\'@latin1(225)',@\'@latin1(226)',@\'@latin1(227)',@\'@latin1(228)',@\'@latin1(229)',@\'@latin1(230)',@\'@latin1(231)',@\--@RI{224 (16#E0#) .. 231 (16#E7#)}
+ '@latin1(232)',@\'@latin1(233)',@\'@latin1(234)',@\'@latin1(235)',@\'@latin1(236)',@\'@latin1(237)',@\'@latin1(238)',@\'@latin1(239)',@\--@RI{232 (16#E8#) .. 239 (16#EF#)}
@comment{blank line}
- '@latin1(240)', '@latin1(241)', '@latin1(242)', '@latin1(243)', '@latin1(244)', '@latin1(245)', '@latin1(246)', '@latin1(247)', @\--@i{240 (16#F0#) .. 247 (16#F7#)}
- '@latin1(248)', '@latin1(249)', '@latin1(250)', '@latin1(251)', '@latin1(252)', '@latin1(253)', '@latin1(254)', '@latin1(255)', @\--@i{248 (16#F8#) .. 255 (16#FF#)}
-@Hinge{}
+ '@latin1(240)',@\'@latin1(241)',@\'@latin1(242)',@\'@latin1(243)',@\'@latin1(244)',@\'@latin1(245)',@\'@latin1(246)',@\'@latin1(247)',@\--@RI{240 (16#F0#) .. 247 (16#F7#)}
+ '@latin1(248)',@\'@latin1(249)',@\'@latin1(250)',@\'@latin1(251)',@\'@latin1(252)',@\'@latin1(253)',@\'@latin1(254)',@\'@latin1(255)',@\--@RI{248 (16#F8#) .. 255 (16#FF#)}
- --@i{ The predefined operators for the type Character are the same as for}
- --@i{ any enumeration type.}
-@Hinge{}
-@comment[blank line]
+
+ --@RI{ The predefined operators for the type Character are the same as for}
+ --@RI{ any enumeration type.}
+@Softpage@;@comment[blank line]
@comment[blank line]
- --@i{ The declaration of type Wide_Character is based on the standard ISO 10646 BMP character set.}
- --@i{ The first 256 positions have the same contents as type Character. See @refsecnum[Character types].}
+ --@RI{ The declaration of type Wide_Character is based on the standard ISO 10646 BMP character set.}
+ --@RI{ The first 256 positions have the same contents as type Character. See @refsecnum[Character types].}
@comment[blank line]
@LangDefType{Package=[Standard],Type=[Wide_Character]}
- @key[type] Wide_Character @key[is] (@i[nul], @i[soh] ... @i[FFFE], @i[FFFF]);
+ @key[type] Wide_Character @key[is] (@RI[nul], @RI[soh] ... @RI[FFFE], @RI[FFFF]);
@comment[blank line]
@comment[blank line]
- @key[package] ASCII @key[is] ... @key[end] ASCII; @i{--Obsolescent; see @RefSecNum[ASCII]}
+ @key[package] ASCII @key[is] ... @key[end] ASCII; @RI{--Obsolescent; see @RefSecNum[ASCII]}
@Defn2{Term=[ASCII], Sec=(package physically nested within the declaration of Standard)}
-@Hinge{}
@comment[blank line]
-@comment[blank line]
- --@i{ Predefined string types:}
+ --@RI{ Predefined string types:}
+@comment[blank line]
@LangDefType{Package=[Standard],Type=[String]}
@key[type] String @key[is] @key[array](Positive @key[range] <>) @key[of] Character;
@key[pragma] Pack(String);
- --@i{ The predefined operators for this type are as follows:}
+@Keepnext --@RI{ The predefined operators for this type are as follows:}
-- @key[function] "=" (Left, Right: String) @key[return] Boolean;
- -- @key[function] "/=" (Left, Right: String) @key[return] Boolean;
-@Hinge{}
+ -- @key[function] "/=" (Left, Right: String) @key[return] Boolean;@Softpage
-- @key[function] "<" (Left, Right: String) @key[return] Boolean;
-- @key[function] "<=" (Left, Right: String) @key[return] Boolean;
-- @key[function] ">" (Left, Right: String) @key[return] Boolean;
-- @key[function] ">=" (Left, Right: String) @key[return] Boolean;
-@Hinge{}
+
-- @key[function] "&" (Left: String; Right: String) @key[return] String;
-- @key[function] "&" (Left: Character; Right: String) @key[return] String;
-- @key[function] "&" (Left: String; Right: Character) @key[return] String;
-- @key[function] "&" (Left: Character; Right: Character) @key[return] String;
-@Hinge{}
+
@LangDefType{Package=[Standard],Type=[Wide_String]}
@key[type] Wide_String @key[is] @key[array](Positive @key[range] <>) @key[of] Wide_Character;
@key[pragma] Pack(Wide_String);
- --@i{ The predefined operators for this type correspond to those for String}
-@Hinge{}
+ --@RI{ The predefined operators for this type correspond to those for String}
+
@LangDefType{Package=[Standard],Type=[Duration]}
- @key[type] Duration @key[is] @key[delta] @i{implementation-defined} @key[range] @i{implementation-defined};
+ @key[type] Duration @key[is] @key[delta] @RI{implementation-defined} @key[range] @RI{implementation-defined};
+
+ --@RI{ The predefined operators for the type Duration are the same as for}
+ --@RI{ any fixed point type.}
- --@i{ The predefined operators for the type Duration are the same as for}
- --@i{ any fixed point type.}
-@Hinge{}
- --@i{ The predefined exceptions:}
+@Keepnext --@RI{ The predefined exceptions:}
Constraint_Error: @key[exception];
Program_Error : @key[exception];
@@ -424,4 +414,4 @@
forward reference.
There's no real need to move Positive, too @em it just came along for
the ride.
-@end{DiffWord83}
+@end{DiffWord83}
\ No newline at end of file
Questions? Ask the ACAA Technical Agent