aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch13.ads
diff options
context:
space:
mode:
authorRobert Dewar <dewar@adacore.com>2014-02-19 10:32:17 +0000
committerArnaud Charlet <charlet@gcc.gnu.org>2014-02-19 11:32:17 +0100
commit82d4f39092f2326e7097edff2ddbfb3a4516c86e (patch)
tree4ef5d203fb9a75b2440f6fd6a287a91a74f0985a /gcc/ada/sem_ch13.ads
parentdd2bf554e085d52c64d9596bc4843751e082804b (diff)
downloadgcc-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.ads54
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;