diff options
author | Robert Dewar <dewar@adacore.com> | 2014-02-19 10:32:17 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-19 11:32:17 +0100 |
commit | 82d4f39092f2326e7097edff2ddbfb3a4516c86e (patch) | |
tree | 4ef5d203fb9a75b2440f6fd6a287a91a74f0985a /gcc/ada/sem_ch13.ads | |
parent | dd2bf554e085d52c64d9596bc4843751e082804b (diff) | |
download | gcc-82d4f39092f2326e7097edff2ddbfb3a4516c86e.zip gcc-82d4f39092f2326e7097edff2ddbfb3a4516c86e.tar.gz gcc-82d4f39092f2326e7097edff2ddbfb3a4516c86e.tar.bz2 |
par-ch9.adb, [...]: Minor reformatting.
2014-02-19 Robert Dewar <dewar@adacore.com>
* par-ch9.adb, exp_ch5.adb, sem_ch5.adb, exp_attr.adb, sem_util.adb,
sem_util.ads, sem_ch13.adb, sem_ch13.ads: Minor reformatting.
From-SVN: r207882
Diffstat (limited to 'gcc/ada/sem_ch13.ads')
-rw-r--r-- | gcc/ada/sem_ch13.ads | 54 |
1 files changed, 27 insertions, 27 deletions
diff --git a/gcc/ada/sem_ch13.ads b/gcc/ada/sem_ch13.ads index d99d579..222ae06 100644 --- a/gcc/ada/sem_ch13.ads +++ b/gcc/ada/sem_ch13.ads @@ -133,46 +133,45 @@ package Sem_Ch13 is -- Esize and RM_Size are reset to the allowed minimum value in T. function Rep_Item_Too_Early (T : Entity_Id; N : Node_Id) return Boolean; - -- Called at the start of processing a representation clause or a - -- representation pragma. Used to check that the representation item - -- is not being applied to an incomplete type or to a generic formal - -- type or a type derived from a generic formal type. Returns False if - -- no such error occurs. If this error does occur, appropriate error - -- messages are posted on node N, and True is returned. + -- Called at start of processing a representation clause/pragma. Used to + -- check that the representation item is not being applied to an incomplete + -- type or to a generic formal type or a type derived from a generic formal + -- type. Returns False if no such error occurs. If this error does occur, + -- appropriate error messages are posted on node N, and True is returned. function Rep_Item_Too_Late (T : Entity_Id; N : Node_Id; FOnly : Boolean := False) return Boolean; -- Called at the start of processing a representation clause or a - -- representation pragma. Used to check that a representation item - -- for entity T does not appear too late (according to the rules in - -- RM 13.1(9) and RM 13.1(10)). N is the associated node, which in - -- the pragma case is the pragma or representation clause itself, used - -- for placing error messages if the item is too late. + -- representation pragma. Used to check that a representation item for + -- entity T does not appear too late (according to the rules in RM 13.1(9) + -- and RM 13.1(10)). N is the associated node, which in the pragma case + -- is the pragma or representation clause itself, used for placing error + -- messages if the item is too late. -- -- Fonly is a flag that causes only the freezing rule (para 9) to be - -- applied, and the tests of para 10 are skipped. This is appropriate - -- for both subtype related attributes (Alignment and Size) and for - -- stream attributes, which, although certainly not subtype related - -- attributes, clearly should not be subject to the para 10 restrictions - -- (see AI95-00137). Similarly, we also skip the para 10 restrictions for + -- applied, and the tests of para 10 are skipped. This is appropriate for + -- both subtype related attributes (Alignment and Size) and for stream + -- attributes, which, although certainly not subtype related attributes, + -- clearly should not be subject to the para 10 restrictions (see + -- AI95-00137). Similarly, we also skip the para 10 restrictions for -- the Storage_Size case where they also clearly do not apply, and for -- Stream_Convert which is in the same category as the stream attributes. -- - -- If the rep item is too late, an appropriate message is output and - -- True is returned, which is a signal that the caller should abandon - -- processing for the item. If the item is not too late, then False - -- is returned, and the caller can continue processing the item. + -- If the rep item is too late, an appropriate message is output and True + -- is returned, which is a signal that the caller should abandon processing + -- for the item. If the item is not too late, then False is returned, and + -- the caller can continue processing the item. -- -- If no error is detected, this call also as a side effect links the -- representation item onto the head of the representation item chain -- (referenced by the First_Rep_Item field of the entity). -- - -- Note: Rep_Item_Too_Late must be called with the underlying type in - -- the case of a private or incomplete type. The protocol is to first - -- check for Rep_Item_Too_Early using the initial entity, then take the - -- underlying type, then call Rep_Item_Too_Late on the result. + -- Note: Rep_Item_Too_Late must be called with the underlying type in the + -- case of a private or incomplete type. The protocol is to first check for + -- Rep_Item_Too_Early using the initial entity, then take the underlying + -- type, then call Rep_Item_Too_Late on the result. -- -- Note: Calls to Rep_Item_Too_Late are ignored for the case of attribute -- definition clauses which have From_Aspect_Specification set. This is @@ -328,7 +327,8 @@ package Sem_Ch13 is procedure Validate_Iterable_Aspect (Typ : Entity_Id; ASN : Node_Id); -- For SPARK 2014 formal containers. The expression has the form of an - -- aggregate, and each entry must denote a function with the proper - -- syntax for First, Next, and Has_Element. Optionally an Element primitive - -- may also be defined. + -- aggregate, and each entry must denote a function with the proper syntax + -- for First, Next, and Has_Element. Optionally an Element primitive may + -- also be defined. + end Sem_Ch13; |