Improve layout / style

Ref. #907
AdaCore · Jul 12, 2022 · 3e7568b · 3e7568b
1 parent d27399f
commit 3e7568b
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 13 deletions.
diff --git a/doc/Language-Reference.adoc b/doc/Language-Reference.adoc
@@ -1618,9 +1618,9 @@ A xref:syntax-case_expression[case expression] selects one of several alternativ
 
 *Static Semantics*
 
-The type of all the dependent_xref:syntax-expression[expression]s shall be compatible to the type of the xref:syntax-case_expression[case_expression].
-Each value of the type of the selecting_xref:syntax-expression[expression] shall be covered by a xref:syntax-discrete_choice[discrete_choice].
-Two distinct xref:syntax-discrete_choice[discrete_choices] of a xref:syntax-case_expression[case_expression] shall not cover the same value.
+The type of all the dependent xref:syntax-expression[expression]s shall be compatible to the type of the xref:syntax-case_expression[case expression].
+Each value of the type of the selecting xref:syntax-expression[expression] shall be covered by a xref:syntax-discrete_choice[discrete choice].
+Two distinct xref:syntax-discrete_choice[discrete choices] of a xref:syntax-case_expression[case expression] shall not cover the same value.
 
 *Example*
 

diff --git a/tests/integration/session_case_expression_aggregate/test.rflx b/tests/integration/session_case_expression_aggregate/test.rflx
@@ -28,13 +28,13 @@ package Test is
                                         Length       => 1,
                                         Value        => -- §S-E-CE
                                                         (case Recv_Type is
-                                                         when Universal::MT_Null | Universal::MT_Data =>   2,
-                                                         when Universal::MT_Value                     =>   8,
-                                                         when Universal::MT_Values                    =>  16,
-                                                         when Universal::MT_Option_Types              =>  32,
-                                                         when Universal::MT_Options                   =>  64,
-                                                         when Universal::MT_Unconstrained_Data        => 128,
-                                                         when Universal::MT_Unconstrained_Options     => 256));
+                                                            when Universal::MT_Null | Universal::MT_Data =>   2,
+                                                            when Universal::MT_Value                     =>   8,
+                                                            when Universal::MT_Values                    =>  16,
+                                                            when Universal::MT_Option_Types              =>  32,
+                                                            when Universal::MT_Options                   =>  64,
+                                                            when Universal::MT_Unconstrained_Data        => 128,
+                                                            when Universal::MT_Unconstrained_Options     => 256));
       transition
          goto Reply -- §S-S-T-N
       exception

diff --git a/tests/integration/session_case_expression_numeric/test.rflx b/tests/integration/session_case_expression_numeric/test.rflx
@@ -30,9 +30,9 @@ package Test is
          Value : Tiny_Int;
       begin
          Value := (case Message.Value is  -- §S-E-CE
-                   when 1 | 2 => 4,
-                   when 3     => 1,
-                   when 4     => 2);
+                      when 1 | 2 => 4,
+                      when 3     => 1,
+                      when 4     => 2);
          -- §S-S-A-A-MA
          Message := Message'(Value => Value);
       transition