Commit 3f910f7b by Robert Dewar Committed by Arnaud Charlet

einfo.adb, [...]: Minor reformatting.

2013-09-10  Robert Dewar  <dewar@adacore.com>

	* einfo.adb, sem_prag.adb, rtsfind.ads: Minor reformatting.

From-SVN: r202452
parent a98838ff
2013-09-10 Robert Dewar <dewar@adacore.com>
* einfo.adb, sem_prag.adb, rtsfind.ads: Minor reformatting.
2013-09-10 Hristian Kirtchev <kirtchev@adacore.com> 2013-09-10 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Get_SPARK_Mode_Id): Handle the * sem_prag.adb (Get_SPARK_Mode_Id): Handle the
......
...@@ -6287,7 +6287,7 @@ package body Einfo is ...@@ -6287,7 +6287,7 @@ package body Einfo is
Id = Pragma_Contract_Cases or else Id = Pragma_Test_Case; Id = Pragma_Contract_Cases or else Id = Pragma_Test_Case;
Is_PPC : constant Boolean := Is_PPC : constant Boolean :=
Id = Pragma_Precondition or else Id = Pragma_Postcondition; Id = Pragma_Precondition or else Id = Pragma_Postcondition;
Delayed : constant Boolean := Is_CDG or else Is_CTC or else Is_PPC; Delayed : constant Boolean := Is_CDG or Is_CTC or Is_PPC;
Item : Node_Id; Item : Node_Id;
Items : Node_Id; Items : Node_Id;
......
...@@ -586,8 +586,8 @@ package Rtsfind is ...@@ -586,8 +586,8 @@ package Rtsfind is
RO_RT_Delay_Until, -- Ada.Real_Time.Delays RO_RT_Delay_Until, -- Ada.Real_Time.Delays
RO_RT_To_Duration, -- Ada.Real_Time.Delays RO_RT_To_Duration, -- Ada.Real_Time.Delays
RE_Set_Handler, -- Ada_Real_Time.Timing_Events RE_Set_Handler, -- Ada.Real_Time.Timing_Events
RE_Timing_Event, -- Ada_Real_Time.Timing_Events RE_Timing_Event, -- Ada.Real_Time.Timing_Events
RE_Root_Stream_Type, -- Ada.Streams RE_Root_Stream_Type, -- Ada.Streams
RE_Stream_Element, -- Ada.Streams RE_Stream_Element, -- Ada.Streams
...@@ -789,13 +789,13 @@ package Rtsfind is ...@@ -789,13 +789,13 @@ package Rtsfind is
RE_Bit_Or, -- System.Bit_Ops RE_Bit_Or, -- System.Bit_Ops
RE_Bit_Xor, -- System.Bit_Ops RE_Bit_Xor, -- System.Bit_Ops
RE_Vector_Not, -- System_Boolean_Array_Operations, RE_Vector_Not, -- System.Boolean_Array_Operations,
RE_Vector_And, -- System_Boolean_Array_Operations, RE_Vector_And, -- System.Boolean_Array_Operations,
RE_Vector_Or, -- System_Boolean_Array_Operations, RE_Vector_Or, -- System.Boolean_Array_Operations,
RE_Vector_Nand, -- System_Boolean_Array_Operations, RE_Vector_Nand, -- System.Boolean_Array_Operations,
RE_Vector_Nor, -- System_Boolean_Array_Operations, RE_Vector_Nor, -- System.Boolean_Array_Operations,
RE_Vector_Nxor, -- System_Boolean_Array_Operations, RE_Vector_Nxor, -- System.Boolean_Array_Operations,
RE_Vector_Xor, -- System_Boolean_Array_Operations, RE_Vector_Xor, -- System.Boolean_Array_Operations,
RE_Bswap_16, -- System.Byte_Swapping RE_Bswap_16, -- System.Byte_Swapping
RE_Bswap_32, -- System.Byte_Swapping RE_Bswap_32, -- System.Byte_Swapping
...@@ -1227,7 +1227,7 @@ package Rtsfind is ...@@ -1227,7 +1227,7 @@ package Rtsfind is
RE_Get_63, -- System.Pack_63 RE_Get_63, -- System.Pack_63
RE_Set_63, -- System.Pack_63 RE_Set_63, -- System.Pack_63
RE_Adjust_Storage_Size, -- System_Parameters RE_Adjust_Storage_Size, -- System.Parameters
RE_Default_Stack_Size, -- System.Parameters RE_Default_Stack_Size, -- System.Parameters
RE_Garbage_Collected, -- System.Parameters RE_Garbage_Collected, -- System.Parameters
RE_Size_Type, -- System.Parameters RE_Size_Type, -- System.Parameters
...@@ -1692,7 +1692,7 @@ package Rtsfind is ...@@ -1692,7 +1692,7 @@ package Rtsfind is
RE_Width_Wide_Character, -- System.Wid_WChar RE_Width_Wide_Character, -- System.Wid_WChar
RE_Width_Wide_Wide_Character, -- System.Wid_WChar RE_Width_Wide_Wide_Character, -- System.Wid_WChar
RE_Dispatching_Domain, -- Dispatching_Domains RE_Dispatching_Domain, -- Multiprocessors.Dispatching_Domains
RE_Protected_Entry_Body_Array, -- Tasking.Protected_Objects.Entries RE_Protected_Entry_Body_Array, -- Tasking.Protected_Objects.Entries
RE_Protected_Entry_Names_Array, -- Tasking.Protected_Objects.Entries RE_Protected_Entry_Names_Array, -- Tasking.Protected_Objects.Entries
...@@ -1780,7 +1780,7 @@ package Rtsfind is ...@@ -1780,7 +1780,7 @@ package Rtsfind is
RE_Complete_Task, -- System.Tasking.Stages RE_Complete_Task, -- System.Tasking.Stages
RE_Free_Task, -- System.Tasking.Stages RE_Free_Task, -- System.Tasking.Stages
RE_Expunge_Unactivated_Tasks, -- System.Tasking.Stages RE_Expunge_Unactivated_Tasks, -- System.Tasking.Stages
RE_Move_Activation_Chain, -- System_Tasking_Stages RE_Move_Activation_Chain, -- System.Tasking_Stages
RE_Terminated); -- System.Tasking.Stages RE_Terminated); -- System.Tasking.Stages
-- The following declarations build a table that is indexed by the RTE -- The following declarations build a table that is indexed by the RTE
......
...@@ -3595,7 +3595,7 @@ package body Sem_Prag is ...@@ -3595,7 +3595,7 @@ package body Sem_Prag is
-- N_Contract node. -- N_Contract node.
if Acts_As_Spec (PO) if Acts_As_Spec (PO)
and then (SPARK_Mode or else Formal_Extensions) and then (SPARK_Mode or Formal_Extensions)
then then
declare declare
Prag : constant Node_Id := New_Copy_Tree (N); Prag : constant Node_Id := New_Copy_Tree (N);
...@@ -16612,8 +16612,7 @@ package body Sem_Prag is ...@@ -16612,8 +16612,7 @@ package body Sem_Prag is
Chain_Pragma (Body_Id, N); Chain_Pragma (Body_Id, N);
Check_Conformance (Spec_Id, Body_Id); Check_Conformance (Spec_Id, Body_Id);
-- The pragma does not apply to a legal construct, issue an -- The pragma does not apply to a legal construct, issue error
-- error.
else else
Pragma_Misplaced; Pragma_Misplaced;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment