From c7e5b746fc73ab8439093d7f75c2b56cd63ec27b Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Tue, 21 Nov 2023 11:13:16 +0100
Subject: spec: Validate C interfaces

---
 spec/c/if/flsl.yml                |  2 -
 spec/c/if/memcpy.yml              |  2 -
 spec/c/if/memset.yml              |  2 -
 spec/c/if/offsetof.yml            |  2 -
 spec/c/val/external-interface.yml | 89 +++++++++++++++++++++++++++++++++++++++
 5 files changed, 89 insertions(+), 8 deletions(-)
 create mode 100644 spec/c/val/external-interface.yml

diff --git a/spec/c/if/flsl.yml b/spec/c/if/flsl.yml
index 892ee4c0..0a0bec1d 100644
--- a/spec/c/if/flsl.yml
+++ b/spec/c/if/flsl.yml
@@ -9,8 +9,6 @@ links:
   uid: strings
 - role: interface-ingroup
   uid: group
-- role: constraint
-  uid: /constraint/directive-not-pre-qualified
 name: flsl
 references:
 - identifier: https://www.freebsd.org/cgi/man.cgi?query=fls&sektion=3
diff --git a/spec/c/if/memcpy.yml b/spec/c/if/memcpy.yml
index 7cff9ec2..17c79c4b 100644
--- a/spec/c/if/memcpy.yml
+++ b/spec/c/if/memcpy.yml
@@ -9,8 +9,6 @@ links:
   uid: string
 - role: interface-ingroup
   uid: group
-- role: constraint
-  uid: /constraint/directive-not-pre-qualified
 name: memcpy
 references:
 - identifier: https://en.cppreference.com/w/c/string/byte/memcpy
diff --git a/spec/c/if/memset.yml b/spec/c/if/memset.yml
index 35fbe7bd..4d68e55a 100644
--- a/spec/c/if/memset.yml
+++ b/spec/c/if/memset.yml
@@ -9,8 +9,6 @@ links:
   uid: string
 - role: interface-ingroup
   uid: group
-- role: constraint
-  uid: /constraint/directive-not-pre-qualified
 name: memset
 references:
 - identifier: https://en.cppreference.com/w/c/string/byte/memset
diff --git a/spec/c/if/offsetof.yml b/spec/c/if/offsetof.yml
index 91a98584..5e4fbca0 100644
--- a/spec/c/if/offsetof.yml
+++ b/spec/c/if/offsetof.yml
@@ -9,8 +9,6 @@ links:
   uid: stddef
 - role: interface-ingroup
   uid: group
-- role: constraint
-  uid: /constraint/directive-not-pre-qualified
 name: offsetof
 references: []
 type: interface
diff --git a/spec/c/val/external-interface.yml b/spec/c/val/external-interface.yml
new file mode 100644
index 00000000..1d3dfcc2
--- /dev/null
+++ b/spec/c/val/external-interface.yml
@@ -0,0 +1,89 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2023 embedded brains GmbH & Co. KG
+enabled-by: true
+links:
+- role: validation
+  uid: /c/if/bintime
+- role: validation
+  uid: /c/if/bool
+- role: validation
+  uid: /c/if/caddr-t
+- role: validation
+  uid: /c/if/clock-monotonic
+- role: validation
+  uid: /c/if/clock-realtime
+- role: validation
+  uid: /c/if/clock-settime
+- role: validation
+  uid: /c/if/cpu_set_t
+- role: validation
+  uid: /c/if/eagain
+- role: validation
+  uid: /c/if/ebusy
+- role: validation
+  uid: /c/if/einval
+- role: validation
+  uid: /c/if/enomem
+- role: validation
+  uid: /c/if/enotsup
+- role: validation
+  uid: /c/if/errno
+- role: validation
+  uid: /c/if/etimedout
+- role: validation
+  uid: /c/if/false
+- role: validation
+  uid: /c/if/int16_t
+- role: validation
+  uid: /c/if/int32_t
+- role: validation
+  uid: /c/if/int64_t
+- role: validation
+  uid: /c/if/int8_t
+- role: validation
+  uid: /c/if/intmax_t
+- role: validation
+  uid: /c/if/intptr_t
+- role: validation
+  uid: /c/if/null
+- role: validation
+  uid: /c/if/offsetof
+- role: validation
+  uid: /c/if/size_max
+- role: validation
+  uid: /c/if/size_t
+- role: validation
+  uid: /c/if/time_t
+- role: validation
+  uid: /c/if/timer-abstime
+- role: validation
+  uid: /c/if/timespec
+- role: validation
+  uid: /c/if/timeval
+- role: validation
+  uid: /c/if/true
+- role: validation
+  uid: /c/if/uint16_t
+- role: validation
+  uid: /c/if/uint32_max
+- role: validation
+  uid: /c/if/uint32_t
+- role: validation
+  uid: /c/if/uint64_t
+- role: validation
+  uid: /c/if/uint8_t
+- role: validation
+  uid: /c/if/uintmax_t
+- role: validation
+  uid: /c/if/uintptr_max
+- role: validation
+  uid: /c/if/uintptr_t
+- role: validation
+  uid: /c/if/va_list
+method: by-review-of-design
+references: []
+text: |
+  This interface is an external interface.  It is implicitly validated by
+  the ${/glossary/api:/term} elements which use this interface.
+type: validation
-- 
cgit v1.2.3