Merge pull request #23 from dinkelk/new_64_bit_packed

Adding 64-bit packed type models
lasp · Feb 13, 2024 · 02d5261 · 02d5261
2 parents 11c52bf + 230b791
commit 02d5261
Show file tree

Hide file tree

Showing 3 changed files with 25 additions and 0 deletions.
diff --git a/src/types/packed_types/packed_f64.record.yaml b/src/types/packed_types/packed_f64.record.yaml
@@ -0,0 +1,11 @@
+---
+description: Single component record for holding packed 64-bit floating point number.
+with:
+  - Interfaces
+preamble: |
+   subtype Float_64 is Interfaces.IEEE_Float_64;
+fields:
+  - name: Value
+    description: The 64-bit floating point number.
+    type: Float_64
+    format: F64
diff --git a/src/types/packed_types/packed_i64.record.yaml b/src/types/packed_types/packed_i64.record.yaml
@@ -0,0 +1,7 @@
+---
+description: Single component record for holding packed signed 64-bit value.
+fields:
+  - name: Value
+    description: The 64-bit signed integer.
+    type: Interfaces.Integer_64
+    format: I64
diff --git a/src/types/packed_types/packed_u64.record.yaml b/src/types/packed_types/packed_u64.record.yaml
@@ -0,0 +1,7 @@
+---
+description: Single component record for holding packed unsigned 64-bit value.
+fields:
+  - name: Value
+    description: The 64-bit unsigned integer.
+    type: Interfaces.Unsigned_64
+    format: U64