[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