S529-023: Rename DocAnnotations.val -> value

AdaCore · Jun 10, 2019 · 5e159a0 · 5e159a0
1 parent dba3543
commit 5e159a0
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/ada/extensions/nodes/basic_decl/bodies b/ada/extensions/nodes/basic_decl/bodies
@@ -106,7 +106,7 @@ begin
       begin
          DSL_Key.Items := Key;
          DSL_Val.Items := Val;
-         Ret.Items (Idx) := (Key => DSL_Key, Val => DSL_Val);
+         Ret.Items (Idx) := (Key => DSL_Key, Value => DSL_Val);
       end;
       Idx := Idx + 1;
    end loop;

diff --git a/ada/language/ast.py b/ada/language/ast.py
@@ -1013,7 +1013,7 @@ class DocAnnotation(Struct):
     Documentation annotation.
     """
     key = UserField(T.String, doc="Annotation key")
-    val = UserField(T.String, doc="Annotation value")
+    value = UserField(T.String, doc="Annotation value")
 
 
 @abstract

diff --git a/ada/testsuite/tests/properties/doc/test.py b/ada/testsuite/tests/properties/doc/test.py
@@ -25,7 +25,7 @@ def test(label, buffer):
     if annotations:
         print('Annotations:')
         for a in annotations:
-            print('  * {} = {}'.format(a.key, a.val))
+            print('  * {} = {}'.format(a.key, a.value))
         print()
 
 

diff --git a/contrib/laldoc/laldoc/__init__.py b/contrib/laldoc/laldoc/__init__.py
@@ -98,7 +98,7 @@ def get_documentation(self, decl):
         """
         try:
             doc = decl.p_doc.splitlines()
-            annots = {a.key: self.decode_annotation(a.key, a.val)
+            annots = {a.key: self.decode_annotation(a.key, a.value)
                       for a in decl.p_doc_annotations}
         except lal.PropertyError:
             self.warn('Badly formatted doc for {}'.format(decl.entity_repr))