diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-07-24 14:17:15 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-09-18 13:27:33 +0200 |
commit | 1fce758513a51f35fd38ce684a51c3f497a5d833 (patch) | |
tree | f2dcb0ebd9871b3de98bf7698ba4e957d7d0955d /spec/spec/spec-assert-float.yml | |
parent | e3563c1d0d1137d1397463fedeb754db61067677 (diff) |
spec: Move specification of specification items
This makes it reusable.
Diffstat (limited to 'spec/spec/spec-assert-float.yml')
-rw-r--r-- | spec/spec/spec-assert-float.yml | 71 |
1 files changed, 0 insertions, 71 deletions
diff --git a/spec/spec/spec-assert-float.yml b/spec/spec/spec-assert-float.yml deleted file mode 100644 index fd6f2564..00000000 --- a/spec/spec/spec-assert-float.yml +++ /dev/null @@ -1,71 +0,0 @@ -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 - floating-point 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-float-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: float - 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: float - 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: float - 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: float - 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: float - 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: float - not: - description: | - The *not* operator evaluates to the *logical not* of the evaluation - results of the expression. - spec-type: spec-assert-float - or: - description: | - The *or* operator evaluates to the *logical or* of the evaluation - results of the expressions in the list. - spec-type: spec-assert-float-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-float -spec-name: Specification Floating-Point Assert -spec-type: spec-assert-float -type: spec |