[rtems-central commit] spec: Use proxies for grlib

Sebastian Huber sebh at rtems.org
Tue May 9 13:45:26 UTC 2023


Module:    rtems-central
Branch:    master
Commit:    dbe24a21487dbbbda3897f83647b6fae87988766
Changeset: http://git.rtems.org/rtems-central/commit/?id=dbe24a21487dbbbda3897f83647b6fae87988766

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Fri May  5 14:41:19 2023 +0200

spec: Use proxies for grlib

---

 spec/bsp/sparc/if/grlib-io-header.yml                   |  4 +++-
 spec/bsp/sparc/if/grlib-load-08.yml                     |  4 +++-
 spec/bsp/sparc/if/grlib-load-16.yml                     |  4 +++-
 spec/bsp/sparc/if/grlib-load-32.yml                     |  4 +++-
 spec/bsp/sparc/if/grlib-load-64.yml                     |  4 +++-
 spec/bsp/sparc/if/grlib-store-08.yml                    |  4 +++-
 spec/bsp/sparc/if/grlib-store-16.yml                    |  4 +++-
 spec/bsp/sparc/if/grlib-store-32.yml                    |  4 +++-
 spec/bsp/sparc/if/grlib-store-64.yml                    |  4 +++-
 spec/bsp/sparc/req/grlib-store-08.yml                   | 16 ----------------
 spec/bsp/sparc/req/grlib-store-16.yml                   | 16 ----------------
 spec/bsp/sparc/req/grlib-store-64.yml                   | 16 ----------------
 spec/dev/grlib/if/io-header-default.yml                 | 17 +++++++++++++++++
 spec/dev/grlib/if/io-header.yml                         | 16 +++-------------
 spec/dev/grlib/if/load-08-default.yml                   | 17 +++++++++++++++++
 spec/dev/grlib/if/load-08.yml                           | 14 +++-----------
 spec/dev/grlib/if/load-16-default.yml                   | 17 +++++++++++++++++
 spec/dev/grlib/if/load-16.yml                           | 14 +++-----------
 spec/dev/grlib/if/load-32-default.yml                   | 17 +++++++++++++++++
 spec/dev/grlib/if/load-32.yml                           | 14 +++-----------
 spec/dev/grlib/if/load-64-default.yml                   | 17 +++++++++++++++++
 spec/dev/grlib/if/load-64.yml                           | 14 +++-----------
 spec/dev/grlib/if/store-08-default.yml                  | 17 +++++++++++++++++
 spec/dev/grlib/if/store-08.yml                          | 14 +++-----------
 spec/dev/grlib/if/store-16-default.yml                  | 17 +++++++++++++++++
 spec/dev/grlib/if/store-16.yml                          | 14 +++-----------
 spec/dev/grlib/if/store-32-default.yml                  | 17 +++++++++++++++++
 spec/dev/grlib/if/store-32.yml                          | 14 +++-----------
 spec/dev/grlib/if/store-64-default.yml                  | 17 +++++++++++++++++
 spec/dev/grlib/if/store-64.yml                          | 14 +++-----------
 .../req/grlib-load-08.yml => dev/grlib/req/load-08.yml} |  6 +++---
 .../req/grlib-load-16.yml => dev/grlib/req/load-16.yml} |  6 +++---
 .../req/grlib-load-32.yml => dev/grlib/req/load-32.yml} |  6 +++---
 .../req/grlib-load-64.yml => dev/grlib/req/load-64.yml} |  6 +++---
 spec/dev/grlib/req/store-08.yml                         | 16 ++++++++++++++++
 spec/dev/grlib/req/store-16.yml                         | 16 ++++++++++++++++
 spec/dev/grlib/req/store-32.yml                         | 16 ++++++++++++++++
 .../grlib-store-32.yml => dev/grlib/req/store-64.yml}   |  8 ++++----
 spec/dev/grlib/val/io.yml                               | 16 ++++++++--------
 39 files changed, 279 insertions(+), 182 deletions(-)

diff --git a/spec/bsp/sparc/if/grlib-io-header.yml b/spec/bsp/sparc/if/grlib-io-header.yml
index c0d9fe64..35bd9aa1 100644
--- a/spec/bsp/sparc/if/grlib-io-header.yml
+++ b/spec/bsp/sparc/if/grlib-io-header.yml
@@ -3,7 +3,7 @@ brief: |
   This header file defines the register load/store interface.
 copyrights:
 - Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
-enabled-by: true
+enabled-by: sparc
 index-entries: []
 interface-type: header-file
 links:
@@ -11,6 +11,8 @@ links:
   uid: /if/domain
 - role: interface-ingroup
   uid: grlib-io-group
+- role: proxy-member
+  uid: /dev/grlib/if/io-header
 path: grlib/io.h
 prefix: bsps/sparc/include
 type: interface
diff --git a/spec/bsp/sparc/if/grlib-load-08.yml b/spec/bsp/sparc/if/grlib-load-08.yml
index aefcc8e9..87c97a11 100644
--- a/spec/bsp/sparc/if/grlib-load-08.yml
+++ b/spec/bsp/sparc/if/grlib-load-08.yml
@@ -13,7 +13,7 @@ definition:
     return: ${/c/if/uint8_t:/name}
   variants: []
 description: null
-enabled-by: true
+enabled-by: sparc
 index-entries: []
 interface-type: function
 links:
@@ -21,6 +21,8 @@ links:
   uid: grlib-io-header
 - role: interface-ingroup
   uid: grlib-io-group
+- role: proxy-member
+  uid: /dev/grlib/if/load-08
 name: grlib_load_8
 notes: null
 params:
diff --git a/spec/bsp/sparc/if/grlib-load-16.yml b/spec/bsp/sparc/if/grlib-load-16.yml
index 59ac4ff1..f39dbe0f 100644
--- a/spec/bsp/sparc/if/grlib-load-16.yml
+++ b/spec/bsp/sparc/if/grlib-load-16.yml
@@ -13,7 +13,7 @@ definition:
     return: ${/c/if/uint16_t:/name}
   variants: []
 description: null
-enabled-by: true
+enabled-by: sparc
 index-entries: []
 interface-type: function
 links:
@@ -21,6 +21,8 @@ links:
   uid: grlib-io-header
 - role: interface-ingroup
   uid: grlib-io-group
+- role: proxy-member
+  uid: /dev/grlib/if/load-16
 name: grlib_load_16
 notes: null
 params:
diff --git a/spec/bsp/sparc/if/grlib-load-32.yml b/spec/bsp/sparc/if/grlib-load-32.yml
index 9e843f65..e3fc721c 100644
--- a/spec/bsp/sparc/if/grlib-load-32.yml
+++ b/spec/bsp/sparc/if/grlib-load-32.yml
@@ -13,7 +13,7 @@ definition:
     return: ${/c/if/uint32_t:/name}
   variants: []
 description: null
-enabled-by: true
+enabled-by: sparc
 index-entries: []
 interface-type: function
 links:
@@ -21,6 +21,8 @@ links:
   uid: grlib-io-header
 - role: interface-ingroup
   uid: grlib-io-group
+- role: proxy-member
+  uid: /dev/grlib/if/load-32
 name: grlib_load_32
 notes: null
 params:
diff --git a/spec/bsp/sparc/if/grlib-load-64.yml b/spec/bsp/sparc/if/grlib-load-64.yml
index 85f9a4b8..3a14a211 100644
--- a/spec/bsp/sparc/if/grlib-load-64.yml
+++ b/spec/bsp/sparc/if/grlib-load-64.yml
@@ -13,7 +13,7 @@ definition:
     return: ${/c/if/uint64_t:/name}
   variants: []
 description: null
-enabled-by: true
+enabled-by: sparc
 index-entries: []
 interface-type: function
 links:
@@ -21,6 +21,8 @@ links:
   uid: grlib-io-header
 - role: interface-ingroup
   uid: grlib-io-group
+- role: proxy-member
+  uid: /dev/grlib/if/load-64
 name: grlib_load_64
 notes: null
 params:
diff --git a/spec/bsp/sparc/if/grlib-store-08.yml b/spec/bsp/sparc/if/grlib-store-08.yml
index 8fbdf4bb..7c4df4ef 100644
--- a/spec/bsp/sparc/if/grlib-store-08.yml
+++ b/spec/bsp/sparc/if/grlib-store-08.yml
@@ -14,7 +14,7 @@ definition:
     return: void
   variants: []
 description: null
-enabled-by: true
+enabled-by: sparc
 index-entries: []
 interface-type: function
 links:
@@ -22,6 +22,8 @@ links:
   uid: grlib-io-header
 - role: interface-ingroup
   uid: grlib-io-group
+- role: proxy-member
+  uid: /dev/grlib/if/store-08
 name: grlib_store_8
 notes: null
 params:
diff --git a/spec/bsp/sparc/if/grlib-store-16.yml b/spec/bsp/sparc/if/grlib-store-16.yml
index 67760255..b8c1fdd1 100644
--- a/spec/bsp/sparc/if/grlib-store-16.yml
+++ b/spec/bsp/sparc/if/grlib-store-16.yml
@@ -14,7 +14,7 @@ definition:
     return: void
   variants: []
 description: null
-enabled-by: true
+enabled-by: sparc
 index-entries: []
 interface-type: function
 links:
@@ -22,6 +22,8 @@ links:
   uid: grlib-io-header
 - role: interface-ingroup
   uid: grlib-io-group
+- role: proxy-member
+  uid: /dev/grlib/if/store-16
 name: grlib_store_16
 notes: null
 params:
diff --git a/spec/bsp/sparc/if/grlib-store-32.yml b/spec/bsp/sparc/if/grlib-store-32.yml
index 5ce38355..22259e9d 100644
--- a/spec/bsp/sparc/if/grlib-store-32.yml
+++ b/spec/bsp/sparc/if/grlib-store-32.yml
@@ -14,7 +14,7 @@ definition:
     return: void
   variants: []
 description: null
-enabled-by: true
+enabled-by: sparc
 index-entries: []
 interface-type: function
 links:
@@ -22,6 +22,8 @@ links:
   uid: grlib-io-header
 - role: interface-ingroup
   uid: grlib-io-group
+- role: proxy-member
+  uid: /dev/grlib/if/store-32
 name: grlib_store_32
 notes: null
 params:
diff --git a/spec/bsp/sparc/if/grlib-store-64.yml b/spec/bsp/sparc/if/grlib-store-64.yml
index fa1786b0..46829ce8 100644
--- a/spec/bsp/sparc/if/grlib-store-64.yml
+++ b/spec/bsp/sparc/if/grlib-store-64.yml
@@ -14,7 +14,7 @@ definition:
     return: void
   variants: []
 description: null
-enabled-by: true
+enabled-by: sparc
 index-entries: []
 interface-type: function
 links:
@@ -22,6 +22,8 @@ links:
   uid: grlib-io-header
 - role: interface-ingroup
   uid: grlib-io-group
+- role: proxy-member
+  uid: /dev/grlib/if/store-64
 name: grlib_store_64
 notes: null
 params:
diff --git a/spec/bsp/sparc/req/grlib-store-08.yml b/spec/bsp/sparc/req/grlib-store-08.yml
deleted file mode 100644
index 28ec713b..00000000
--- a/spec/bsp/sparc/req/grlib-store-08.yml
+++ /dev/null
@@ -1,16 +0,0 @@
-SPDX-License-Identifier: CC-BY-SA-4.0
-copyrights:
-- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
-enabled-by: true
-links:
-- role: interface-function
-  uid: ../if/grlib-store-08
-functional-type: function
-rationale: null
-references: []
-requirement-type: functional
-text: |
-  The ${../if/grlib-store-08:/name} directive shall store the unsigned 8-bit
-  value specified by ${../if/grlib-store-08:/params[1]/name} to the address
-  specified by ${../if/grlib-store-08:/params[0]/name}.
-type: requirement
diff --git a/spec/bsp/sparc/req/grlib-store-16.yml b/spec/bsp/sparc/req/grlib-store-16.yml
deleted file mode 100644
index b27549e4..00000000
--- a/spec/bsp/sparc/req/grlib-store-16.yml
+++ /dev/null
@@ -1,16 +0,0 @@
-SPDX-License-Identifier: CC-BY-SA-4.0
-copyrights:
-- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
-enabled-by: true
-links:
-- role: interface-function
-  uid: ../if/grlib-store-16
-functional-type: function
-rationale: null
-references: []
-requirement-type: functional
-text: |
-  The ${../if/grlib-store-16:/name} directive shall store the unsigned 16-bit
-  value specified by ${../if/grlib-store-16:/params[1]/name} to the address
-  specified by ${../if/grlib-store-16:/params[0]/name}.
-type: requirement
diff --git a/spec/bsp/sparc/req/grlib-store-64.yml b/spec/bsp/sparc/req/grlib-store-64.yml
deleted file mode 100644
index f28ff374..00000000
--- a/spec/bsp/sparc/req/grlib-store-64.yml
+++ /dev/null
@@ -1,16 +0,0 @@
-SPDX-License-Identifier: CC-BY-SA-4.0
-copyrights:
-- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
-enabled-by: true
-links:
-- role: interface-function
-  uid: ../if/grlib-store-64
-functional-type: function
-rationale: null
-references: []
-requirement-type: functional
-text: |
-  The ${../if/grlib-store-64:/name} directive shall store the unsigned 64-bit
-  value specified by ${../if/grlib-store-64:/params[1]/name} to the address
-  specified by ${../if/grlib-store-64:/params[0]/name}.
-type: requirement
diff --git a/spec/dev/grlib/if/io-header-default.yml b/spec/dev/grlib/if/io-header-default.yml
new file mode 100644
index 00000000..b924a4bc
--- /dev/null
+++ b/spec/dev/grlib/if/io-header-default.yml
@@ -0,0 +1,17 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2023 embedded brains GmbH & Co. KG
+enabled-by:
+  not: sparc
+index-entries: []
+interface-type: unspecified-header-file
+links:
+- role: interface-placement
+  uid: /bsp/if/domain
+- role: interface-ingroup
+  uid: group
+- role: proxy-member
+  uid: io-header
+path: grlib/io.h
+references: []
+type: interface
diff --git a/spec/dev/grlib/if/io-header.yml b/spec/dev/grlib/if/io-header.yml
index aa4a36bb..e131fe30 100644
--- a/spec/dev/grlib/if/io-header.yml
+++ b/spec/dev/grlib/if/io-header.yml
@@ -1,16 +1,6 @@
 SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
-brief: |
-  This header file defines the register load/store interface.
 copyrights:
-- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+- Copyright (C) 2023 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
-index-entries: []
-interface-type: header-file
-links:
-- role: interface-placement
-  uid: /bsp/if/domain
-- role: interface-ingroup
-  uid: group
-path: grlib/io.h
-prefix: bsps/include
-type: interface
+links: []
+type: proxy
diff --git a/spec/dev/grlib/if/load-08-default.yml b/spec/dev/grlib/if/load-08-default.yml
new file mode 100644
index 00000000..59e138b0
--- /dev/null
+++ b/spec/dev/grlib/if/load-08-default.yml
@@ -0,0 +1,17 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by:
+  not: sparc
+index-entries: []
+interface-type: unspecified-function
+links:
+- role: interface-placement
+  uid: io-header-default
+- role: interface-ingroup
+  uid: group
+- role: proxy-member
+  uid: load-08
+name: grlib_load_8
+references: []
+type: interface
diff --git a/spec/dev/grlib/if/load-08.yml b/spec/dev/grlib/if/load-08.yml
index c2a22f58..e131fe30 100644
--- a/spec/dev/grlib/if/load-08.yml
+++ b/spec/dev/grlib/if/load-08.yml
@@ -1,14 +1,6 @@
 SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
 copyrights:
-- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+- Copyright (C) 2023 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
-index-entries: []
-interface-type: unspecified-function
-links:
-- role: interface-placement
-  uid: io-header
-- role: interface-ingroup
-  uid: group
-name: grlib_load_8
-references: []
-type: interface
+links: []
+type: proxy
diff --git a/spec/dev/grlib/if/load-16-default.yml b/spec/dev/grlib/if/load-16-default.yml
new file mode 100644
index 00000000..5d45eb96
--- /dev/null
+++ b/spec/dev/grlib/if/load-16-default.yml
@@ -0,0 +1,17 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by:
+  not: sparc
+index-entries: []
+interface-type: unspecified-function
+links:
+- role: interface-placement
+  uid: io-header-default
+- role: interface-ingroup
+  uid: group
+- role: proxy-member
+  uid: load-16
+name: grlib_load_16
+references: []
+type: interface
diff --git a/spec/dev/grlib/if/load-16.yml b/spec/dev/grlib/if/load-16.yml
index bbb6d8e0..e131fe30 100644
--- a/spec/dev/grlib/if/load-16.yml
+++ b/spec/dev/grlib/if/load-16.yml
@@ -1,14 +1,6 @@
 SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
 copyrights:
-- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+- Copyright (C) 2023 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
-index-entries: []
-interface-type: unspecified-function
-links:
-- role: interface-placement
-  uid: io-header
-- role: interface-ingroup
-  uid: group
-name: grlib_load_16
-references: []
-type: interface
+links: []
+type: proxy
diff --git a/spec/dev/grlib/if/load-32-default.yml b/spec/dev/grlib/if/load-32-default.yml
new file mode 100644
index 00000000..8b0d59d8
--- /dev/null
+++ b/spec/dev/grlib/if/load-32-default.yml
@@ -0,0 +1,17 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by:
+  not: sparc
+index-entries: []
+interface-type: unspecified-function
+links:
+- role: interface-placement
+  uid: io-header-default
+- role: interface-ingroup
+  uid: group
+- role: proxy-member
+  uid: load-32
+name: grlib_load_32
+references: []
+type: interface
diff --git a/spec/dev/grlib/if/load-32.yml b/spec/dev/grlib/if/load-32.yml
index 740a899f..e131fe30 100644
--- a/spec/dev/grlib/if/load-32.yml
+++ b/spec/dev/grlib/if/load-32.yml
@@ -1,14 +1,6 @@
 SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
 copyrights:
-- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+- Copyright (C) 2023 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
-index-entries: []
-interface-type: unspecified-function
-links:
-- role: interface-placement
-  uid: io-header
-- role: interface-ingroup
-  uid: group
-name: grlib_load_32
-references: []
-type: interface
+links: []
+type: proxy
diff --git a/spec/dev/grlib/if/load-64-default.yml b/spec/dev/grlib/if/load-64-default.yml
new file mode 100644
index 00000000..81f0491e
--- /dev/null
+++ b/spec/dev/grlib/if/load-64-default.yml
@@ -0,0 +1,17 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by:
+  not: sparc
+index-entries: []
+interface-type: unspecified-function
+links:
+- role: interface-placement
+  uid: io-header-default
+- role: interface-ingroup
+  uid: group
+- role: proxy-member
+  uid: load-64
+name: grlib_load_64
+references: []
+type: interface
diff --git a/spec/dev/grlib/if/load-64.yml b/spec/dev/grlib/if/load-64.yml
index ce4a598d..e131fe30 100644
--- a/spec/dev/grlib/if/load-64.yml
+++ b/spec/dev/grlib/if/load-64.yml
@@ -1,14 +1,6 @@
 SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
 copyrights:
-- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+- Copyright (C) 2023 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
-index-entries: []
-interface-type: unspecified-function
-links:
-- role: interface-placement
-  uid: io-header
-- role: interface-ingroup
-  uid: group
-name: grlib_load_64
-references: []
-type: interface
+links: []
+type: proxy
diff --git a/spec/dev/grlib/if/store-08-default.yml b/spec/dev/grlib/if/store-08-default.yml
new file mode 100644
index 00000000..46620a9a
--- /dev/null
+++ b/spec/dev/grlib/if/store-08-default.yml
@@ -0,0 +1,17 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by:
+  not: sparc
+index-entries: []
+interface-type: unspecified-function
+links:
+- role: interface-placement
+  uid: io-header-default
+- role: interface-ingroup
+  uid: group
+- role: proxy-member
+  uid: store-08
+name: grlib_store_8
+references: []
+type: interface
diff --git a/spec/dev/grlib/if/store-08.yml b/spec/dev/grlib/if/store-08.yml
index 3fe048b8..e131fe30 100644
--- a/spec/dev/grlib/if/store-08.yml
+++ b/spec/dev/grlib/if/store-08.yml
@@ -1,14 +1,6 @@
 SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
 copyrights:
-- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+- Copyright (C) 2023 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
-index-entries: []
-interface-type: unspecified-function
-links:
-- role: interface-placement
-  uid: io-header
-- role: interface-ingroup
-  uid: group
-name: grlib_store_8
-references: []
-type: interface
+links: []
+type: proxy
diff --git a/spec/dev/grlib/if/store-16-default.yml b/spec/dev/grlib/if/store-16-default.yml
new file mode 100644
index 00000000..1cbbcca6
--- /dev/null
+++ b/spec/dev/grlib/if/store-16-default.yml
@@ -0,0 +1,17 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by:
+  not: sparc
+index-entries: []
+interface-type: unspecified-function
+links:
+- role: interface-placement
+  uid: io-header-default
+- role: interface-ingroup
+  uid: group
+- role: proxy-member
+  uid: store-16
+name: grlib_store_16
+references: []
+type: interface
diff --git a/spec/dev/grlib/if/store-16.yml b/spec/dev/grlib/if/store-16.yml
index a4cbe296..e131fe30 100644
--- a/spec/dev/grlib/if/store-16.yml
+++ b/spec/dev/grlib/if/store-16.yml
@@ -1,14 +1,6 @@
 SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
 copyrights:
-- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+- Copyright (C) 2023 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
-index-entries: []
-interface-type: unspecified-function
-links:
-- role: interface-placement
-  uid: io-header
-- role: interface-ingroup
-  uid: group
-name: grlib_store_16
-references: []
-type: interface
+links: []
+type: proxy
diff --git a/spec/dev/grlib/if/store-32-default.yml b/spec/dev/grlib/if/store-32-default.yml
new file mode 100644
index 00000000..42dc09df
--- /dev/null
+++ b/spec/dev/grlib/if/store-32-default.yml
@@ -0,0 +1,17 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by:
+  not: sparc
+index-entries: []
+interface-type: unspecified-function
+links:
+- role: interface-placement
+  uid: io-header-default
+- role: interface-ingroup
+  uid: group
+- role: proxy-member
+  uid: store-32
+name: grlib_store_32
+references: []
+type: interface
diff --git a/spec/dev/grlib/if/store-32.yml b/spec/dev/grlib/if/store-32.yml
index fc4122ec..e131fe30 100644
--- a/spec/dev/grlib/if/store-32.yml
+++ b/spec/dev/grlib/if/store-32.yml
@@ -1,14 +1,6 @@
 SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
 copyrights:
-- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+- Copyright (C) 2023 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
-index-entries: []
-interface-type: unspecified-function
-links:
-- role: interface-placement
-  uid: io-header
-- role: interface-ingroup
-  uid: group
-name: grlib_store_32
-references: []
-type: interface
+links: []
+type: proxy
diff --git a/spec/dev/grlib/if/store-64-default.yml b/spec/dev/grlib/if/store-64-default.yml
new file mode 100644
index 00000000..0d644da7
--- /dev/null
+++ b/spec/dev/grlib/if/store-64-default.yml
@@ -0,0 +1,17 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by:
+  not: sparc
+index-entries: []
+interface-type: unspecified-function
+links:
+- role: interface-placement
+  uid: io-header-default
+- role: interface-ingroup
+  uid: group
+- role: proxy-member
+  uid: store-64
+name: grlib_store_64
+references: []
+type: interface
diff --git a/spec/dev/grlib/if/store-64.yml b/spec/dev/grlib/if/store-64.yml
index 3e46f6eb..e131fe30 100644
--- a/spec/dev/grlib/if/store-64.yml
+++ b/spec/dev/grlib/if/store-64.yml
@@ -1,14 +1,6 @@
 SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
 copyrights:
-- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+- Copyright (C) 2023 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
-index-entries: []
-interface-type: unspecified-function
-links:
-- role: interface-placement
-  uid: io-header
-- role: interface-ingroup
-  uid: group
-name: grlib_store_64
-references: []
-type: interface
+links: []
+type: proxy
diff --git a/spec/bsp/sparc/req/grlib-load-08.yml b/spec/dev/grlib/req/load-08.yml
similarity index 63%
rename from spec/bsp/sparc/req/grlib-load-08.yml
rename to spec/dev/grlib/req/load-08.yml
index b4eaf93e..0fa89204 100644
--- a/spec/bsp/sparc/req/grlib-load-08.yml
+++ b/spec/dev/grlib/req/load-08.yml
@@ -4,13 +4,13 @@ copyrights:
 enabled-by: true
 links:
 - role: interface-function
-  uid: ../if/grlib-load-08
+  uid: ../if/load-08
 functional-type: function
 rationale: null
 references: []
 requirement-type: functional
 text: |
-  The ${../if/grlib-load-08:/name} directive shall load an unsigned 8-bit
-  value from the address specified by ${../if/grlib-load-08:/params[0]/name}
+  The ${../if/load-08:/name} directive shall load an unsigned 8-bit
+  value from the address specified by ${../if/load-08:/params[0]/name}
   and return it.
 type: requirement
diff --git a/spec/bsp/sparc/req/grlib-load-16.yml b/spec/dev/grlib/req/load-16.yml
similarity index 62%
rename from spec/bsp/sparc/req/grlib-load-16.yml
rename to spec/dev/grlib/req/load-16.yml
index e0f0e7c8..820982a2 100644
--- a/spec/bsp/sparc/req/grlib-load-16.yml
+++ b/spec/dev/grlib/req/load-16.yml
@@ -4,13 +4,13 @@ copyrights:
 enabled-by: true
 links:
 - role: interface-function
-  uid: ../if/grlib-load-16
+  uid: ../if/load-16
 functional-type: function
 rationale: null
 references: []
 requirement-type: functional
 text: |
-  The ${../if/grlib-load-16:/name} directive shall load an unsigned 16-bit value
-  from the address specified by ${../if/grlib-load-16:/params[0]/name} and
+  The ${../if/load-16:/name} directive shall load an unsigned 16-bit value
+  from the address specified by ${../if/load-16:/params[0]/name} and
   return it.
 type: requirement
diff --git a/spec/bsp/sparc/req/grlib-load-32.yml b/spec/dev/grlib/req/load-32.yml
similarity index 62%
rename from spec/bsp/sparc/req/grlib-load-32.yml
rename to spec/dev/grlib/req/load-32.yml
index ea8b69ae..a013cd61 100644
--- a/spec/bsp/sparc/req/grlib-load-32.yml
+++ b/spec/dev/grlib/req/load-32.yml
@@ -4,13 +4,13 @@ copyrights:
 enabled-by: true
 links:
 - role: interface-function
-  uid: ../if/grlib-load-32
+  uid: ../if/load-32
 functional-type: function
 rationale: null
 references: []
 requirement-type: functional
 text: |
-  The ${../if/grlib-load-32:/name} directive shall load an unsigned 32-bit value
-  from the address specified by ${../if/grlib-load-32:/params[0]/name} and
+  The ${../if/load-32:/name} directive shall load an unsigned 32-bit value
+  from the address specified by ${../if/load-32:/params[0]/name} and
   return it.
 type: requirement
diff --git a/spec/bsp/sparc/req/grlib-load-64.yml b/spec/dev/grlib/req/load-64.yml
similarity index 62%
rename from spec/bsp/sparc/req/grlib-load-64.yml
rename to spec/dev/grlib/req/load-64.yml
index c3e08f89..32fb16c8 100644
--- a/spec/bsp/sparc/req/grlib-load-64.yml
+++ b/spec/dev/grlib/req/load-64.yml
@@ -4,13 +4,13 @@ copyrights:
 enabled-by: true
 links:
 - role: interface-function
-  uid: ../if/grlib-load-64
+  uid: ../if/load-64
 functional-type: function
 rationale: null
 references: []
 requirement-type: functional
 text: |
-  The ${../if/grlib-load-64:/name} directive shall load an unsigned 64-bit value
-  from the address specified by ${../if/grlib-load-64:/params[0]/name} and
+  The ${../if/load-64:/name} directive shall load an unsigned 64-bit value
+  from the address specified by ${../if/load-64:/params[0]/name} and
   return it.
 type: requirement
diff --git a/spec/dev/grlib/req/store-08.yml b/spec/dev/grlib/req/store-08.yml
new file mode 100644
index 00000000..8a6e1ee7
--- /dev/null
+++ b/spec/dev/grlib/req/store-08.yml
@@ -0,0 +1,16 @@
+SPDX-License-Identifier: CC-BY-SA-4.0
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: interface-function
+  uid: ../if/store-08
+functional-type: function
+rationale: null
+references: []
+requirement-type: functional
+text: |
+  The ${../if/store-08:/name} directive shall store the unsigned 8-bit
+  value specified by ${../if/store-08:/params[1]/name} to the address
+  specified by ${../if/store-08:/params[0]/name}.
+type: requirement
diff --git a/spec/dev/grlib/req/store-16.yml b/spec/dev/grlib/req/store-16.yml
new file mode 100644
index 00000000..bfbd03f4
--- /dev/null
+++ b/spec/dev/grlib/req/store-16.yml
@@ -0,0 +1,16 @@
+SPDX-License-Identifier: CC-BY-SA-4.0
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: interface-function
+  uid: ../if/store-16
+functional-type: function
+rationale: null
+references: []
+requirement-type: functional
+text: |
+  The ${../if/store-16:/name} directive shall store the unsigned 16-bit
+  value specified by ${../if/store-16:/params[1]/name} to the address
+  specified by ${../if/store-16:/params[0]/name}.
+type: requirement
diff --git a/spec/dev/grlib/req/store-32.yml b/spec/dev/grlib/req/store-32.yml
new file mode 100644
index 00000000..5853cb08
--- /dev/null
+++ b/spec/dev/grlib/req/store-32.yml
@@ -0,0 +1,16 @@
+SPDX-License-Identifier: CC-BY-SA-4.0
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: interface-function
+  uid: ../if/store-32
+functional-type: function
+rationale: null
+references: []
+requirement-type: functional
+text: |
+  The ${../if/store-32:/name} directive shall store the unsigned 32-bit
+  value specified by ${../if/store-32:/params[1]/name} to the address
+  specified by ${../if/store-32:/params[0]/name}.
+type: requirement
diff --git a/spec/bsp/sparc/req/grlib-store-32.yml b/spec/dev/grlib/req/store-64.yml
similarity index 64%
rename from spec/bsp/sparc/req/grlib-store-32.yml
rename to spec/dev/grlib/req/store-64.yml
index 4c8d54a8..6dce1f3d 100644
--- a/spec/bsp/sparc/req/grlib-store-32.yml
+++ b/spec/dev/grlib/req/store-64.yml
@@ -4,13 +4,13 @@ copyrights:
 enabled-by: true
 links:
 - role: interface-function
-  uid: ../if/grlib-store-32
+  uid: ../if/store-64
 functional-type: function
 rationale: null
 references: []
 requirement-type: functional
 text: |
-  The ${../if/grlib-store-32:/name} directive shall store the unsigned 32-bit
-  value specified by ${../if/grlib-store-32:/params[1]/name} to the address
-  specified by ${../if/grlib-store-32:/params[0]/name}.
+  The ${../if/store-64:/name} directive shall store the unsigned 64-bit
+  value specified by ${../if/store-64:/params[1]/name} to the address
+  specified by ${../if/store-64:/params[0]/name}.
 type: requirement
diff --git a/spec/dev/grlib/val/io.yml b/spec/dev/grlib/val/io.yml
index bfa41313..0d7d46c6 100644
--- a/spec/dev/grlib/val/io.yml
+++ b/spec/dev/grlib/val/io.yml
@@ -19,7 +19,7 @@ test-actions:
       T_step_eq_u8( ${step}, val_8, 0x81 );
     links:
     - role: validation
-      uid: /bsp/sparc/req/grlib-load-08
+      uid: ../req/load-08
   links: []
 - action-brief: |
     Call ${../if/load-16:/name} to load a prepared value.
@@ -36,7 +36,7 @@ test-actions:
       T_step_eq_u16( ${step}, val_16, 0x8001 );
     links:
     - role: validation
-      uid: /bsp/sparc/req/grlib-load-16
+      uid: ../req/load-16
   links: []
 - action-brief: |
     Call ${../if/load-32:/name} to load a prepared value.
@@ -53,7 +53,7 @@ test-actions:
       T_step_eq_u32( ${step}, val_32, 0x80000001 );
     links:
     - role: validation
-      uid: /bsp/sparc/req/grlib-load-32
+      uid: ../req/load-32
   links: []
 - action-brief: |
     Call ${../if/load-64:/name} to load a prepared value.
@@ -70,7 +70,7 @@ test-actions:
       T_step_eq_u64( ${step}, val_64, 0x8000000000000001 );
     links:
     - role: validation
-      uid: /bsp/sparc/req/grlib-load-64
+      uid: ../req/load-64
   links: []
 - action-brief: |
     Call ${../if/store-08:/name} to store a value to an object.
@@ -85,7 +85,7 @@ test-actions:
       T_step_eq_u8( ${step}, reg_8, 0x81 );
     links:
     - role: validation
-      uid: /bsp/sparc/req/grlib-store-08
+      uid: ../req/store-08
   links: []
 - action-brief: |
     Call ${../if/store-16:/name} to store a value to an object.
@@ -100,7 +100,7 @@ test-actions:
       T_step_eq_u16( ${step}, reg_16, 0x8001 );
     links:
     - role: validation
-      uid: /bsp/sparc/req/grlib-store-16
+      uid: ../req/store-16
   links: []
 - action-brief: |
     Call ${../if/store-32:/name} to store a value to an object.
@@ -115,7 +115,7 @@ test-actions:
       T_step_eq_u32( ${step}, reg_32, 0x80000001 );
     links:
     - role: validation
-      uid: /bsp/sparc/req/grlib-store-32
+      uid: ../req/store-32
   links: []
 - action-brief: |
     Call ${../if/store-64:/name} to store a value to an object.
@@ -130,7 +130,7 @@ test-actions:
       T_step_eq_u64( ${step}, reg_64, 0x8000000000000001 );
     links:
     - role: validation
-      uid: /bsp/sparc/req/grlib-store-64
+      uid: ../req/store-64
   links: []
 - action-brief: |
     Call ${../if/apbuart-outbyte-polled:/name} to store a character to the data



More information about the vc mailing list