Annotated Ada Reference ManualLegal Information
Contents   Index   References   Search   Previous   Next 

3.5.3 Boolean Types

Static Semantics

{Boolean} There is a predefined enumeration type named Boolean, [declared in the visible part of package Standard]. {False} {True} It has the two enumeration literals False and True ordered with the relation False < True. {boolean type} Any descendant of the predefined type Boolean is called a boolean type. 
Implementation Note: An implementation is not required to support enumeration representation clauses on boolean types that impose an unacceptable implementation burden. See 13.4, “Enumeration Representation Clauses”. However, it is generally straightforward to support representations where False is zero and True is 2**n – 1 for some n. 

Contents   Index   References   Search   Previous   Next 
Ada-Europe Sponsored by Ada-Europe