From 1fce758513a51f35fd38ce684a51c3f497a5d833 Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Fri, 24 Jul 2020 14:17:15 +0200
Subject: spec: Move specification of specification items

This makes it reusable.
---
 spec-spec/spec/spec-assert-int.yml | 70 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 70 insertions(+)
 create mode 100644 spec-spec/spec/spec-assert-int.yml

(limited to 'spec-spec/spec/spec-assert-int.yml')

diff --git a/spec-spec/spec/spec-assert-int.yml b/spec-spec/spec/spec-assert-int.yml
new file mode 100644
index 00000000..ec903b80
--- /dev/null
+++ b/spec-spec/spec/spec-assert-int.yml
@@ -0,0 +1,70 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: spec-member
+  uid: root
+spec-description: |
+  A value of this type shall be an expression which asserts that the integer
+  value of the specified attribute satisfies the required constraints.
+spec-example: null
+spec-info:
+  dict:
+    attributes:
+      and:
+        description: |
+          The *and* operator evaluates to the *logical and* of the evaluation
+          results of the expressions in the list.
+        spec-type: spec-assert-int-list
+      eq:
+        description: |
+          The *eq* operator evaluates to true, if the value to check is equal
+          to the value of this attribute, otherwise to false.
+        spec-type: int
+      ge:
+        description: |
+          The *ge* operator evaluates to true, if the value to check is greater
+          than or equal to the value of this attribute, otherwise to false.
+        spec-type: int
+      gt:
+        description: |
+          The *gt* operator evaluates to true, if the value to check is greater
+          than the value of this attribute, otherwise to false.
+        spec-type: int
+      le:
+        description: |
+          The *le* operator evaluates to true, if the value to check is less
+          than or equal to the value of this attribute, otherwise to false.
+        spec-type: int
+      lt:
+        description: |
+          The *lt* operator evaluates to true, if the value to check is less
+          than the value of this attribute, otherwise to false.
+        spec-type: int
+      ne:
+        description: |
+          The *ne* operator evaluates to true, if the value to check is not
+          equal to the value of this attribute, otherwise to false.
+        spec-type: int
+      not:
+        description: |
+          The *not* operator evaluates to the *logical not* of the evaluation
+          results of the expression.
+        spec-type: spec-assert-int
+      or:
+        description: |
+          The *or* operator evaluates to the *logical or* of the evaluation
+          results of the expressions in the list.
+        spec-type: spec-assert-int-list
+    description: |
+      Each attribute defines an operator.
+    mandatory-attributes: exactly-one
+  list:
+    description: |
+      This list of expressions evaluates to the *logical or* of the evaluation
+      results of the expressions in the list.
+    spec-type: spec-assert-int
+spec-name: Specification Integer Assert
+spec-type: spec-assert-int
+type: spec
-- 
cgit v1.2.3