F´ Flight Software - C/C++ Documentation
A framework for building embedded system applications to NASA flight quality standards.
Models.cpp
Go to the documentation of this file.
1 // ======================================================================
2 // \title Os/Models/Models.cpp
3 // \brief test used to validate Os/Models before use
4 // ======================================================================
5 #include "Os/CountingSemaphore.hpp"
6 #include "Os/Directory.hpp"
7 #include "Os/File.hpp"
8 #include "Os/FileSystem.hpp"
9 #include "Os/Models/CountingSemaphoreStatusEnumAc.hpp"
10 #include "Os/Models/DirectoryOpenModeEnumAc.hpp"
11 #include "Os/Models/DirectoryStatusEnumAc.hpp"
12 #include "Os/Models/FileModeEnumAc.hpp"
13 #include "Os/Models/FileStatusEnumAc.hpp"
14 #include "Os/Models/FileSystemStatusEnumAc.hpp"
15 #include "Os/Models/FppConstantsAc.hpp"
16 #include "Os/Models/GenericStatusEnumAc.hpp"
17 #include "Os/Models/MutexStatusEnumAc.hpp"
18 #include "Os/Models/QueueBlockingTypeEnumAc.hpp"
19 #include "Os/Models/QueueStatusEnumAc.hpp"
20 #include "Os/Models/RawTimeStatusEnumAc.hpp"
21 #include "Os/Models/TaskStatusEnumAc.hpp"
22 #include "Os/Mutex.hpp"
23 #include "Os/Os.hpp"
24 #include "Os/Queue.hpp"
25 #include "Os/RawTime.hpp"
26 #include "Os/Task.hpp"
27 
28 // Check consistency of every constant in the Os::File::Status enum
29 static_assert(static_cast<FwIndexType>(Os::File::Status::MAX_STATUS) ==
30  static_cast<FwIndexType>(Os::FileStatus::NUM_CONSTANTS),
31  "File status and FPP shadow enum have inconsistent number of values");
32 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::OP_OK) == Os::FileStatus::T::OP_OK,
33  "File status and FPP shadow enum do not match");
34 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::DOESNT_EXIST) == Os::FileStatus::T::DOESNT_EXIST,
35  "File status and FPP shadow enum do not match");
36 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::NO_SPACE) == Os::FileStatus::T::NO_SPACE,
37  "File status and FPP shadow enum do not match");
38 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::NO_PERMISSION) == Os::FileStatus::T::NO_PERMISSION,
39  "File status and FPP shadow enum do not match");
40 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::BAD_SIZE) == Os::FileStatus::T::BAD_SIZE,
41  "File status and FPP shadow enum do not match");
42 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::NOT_OPENED) == Os::FileStatus::T::NOT_OPENED,
43  "File status and FPP shadow enum do not match");
44 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::FILE_EXISTS) == Os::FileStatus::T::FILE_EXISTS,
45  "File status and FPP shadow enum do not match");
46 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::NOT_SUPPORTED) == Os::FileStatus::T::NOT_SUPPORTED,
47  "File status and FPP shadow enum do not match");
48 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::INVALID_MODE) == Os::FileStatus::T::INVALID_MODE,
49  "File status and FPP shadow enum do not match");
50 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::INVALID_ARGUMENT) == Os::FileStatus::T::INVALID_ARGUMENT,
51  "File status and FPP shadow enum do not match");
52 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::NO_MORE_RESOURCES) ==
53  Os::FileStatus::T::NO_MORE_RESOURCES,
54  "File status and FPP shadow enum do not match");
55 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::OTHER_ERROR) == Os::FileStatus::T::OTHER_ERROR,
56  "File status and FPP shadow enum do not match");
57 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::OUTSIDE_SANDBOX) == Os::FileStatus::T::OUTSIDE_SANDBOX,
58  "File status and FPP shadow enum do not match");
59 
60 // Check consistency of every constant in the Os::File::Mode enum
61 static_assert(static_cast<FwIndexType>(Os::File::Mode::MAX_OPEN_MODE) ==
62  static_cast<FwIndexType>(Os::FileMode::NUM_CONSTANTS),
63  "File mode and FPP shadow enum have inconsistent number of values");
64 static_assert(static_cast<Os::FileMode::T>(Os::File::Mode::OPEN_NO_MODE) == Os::FileMode::T::OPEN_NO_MODE,
65  "File mode and FPP shadow enum do not match");
66 static_assert(static_cast<Os::FileMode::T>(Os::File::Mode::OPEN_READ) == Os::FileMode::T::OPEN_READ,
67  "File mode and FPP shadow enum do not match");
68 static_assert(static_cast<Os::FileMode::T>(Os::File::Mode::OPEN_CREATE) == Os::FileMode::T::OPEN_CREATE,
69  "File mode and FPP shadow enum do not match");
70 static_assert(static_cast<Os::FileMode::T>(Os::File::Mode::OPEN_WRITE) == Os::FileMode::T::OPEN_WRITE,
71  "File mode and FPP shadow enum do not match");
72 static_assert(static_cast<Os::FileMode::T>(Os::File::Mode::OPEN_SYNC_WRITE) == Os::FileMode::T::OPEN_SYNC_WRITE,
73  "File mode and FPP shadow enum do not match");
74 static_assert(static_cast<Os::FileMode::T>(Os::File::Mode::OPEN_APPEND) == Os::FileMode::T::OPEN_APPEND,
75  "File mode and FPP shadow enum do not match");
76 
77 // Check consistency of the Os::Task::TASK_DEFAULT sentinel with its FPP shadow constant
78 static_assert(static_cast<FwSizeType>(Os::TASK_DEFAULT) == Os::Task::TASK_DEFAULT,
79  "Task default and FPP shadow constant do not match");
80 
81 // Check consistency of every constant in the Os::Task::Status enum
82 static_assert(static_cast<FwIndexType>(Os::Task::Status::INVALID_STATE) + 1 ==
83  static_cast<FwIndexType>(Os::TaskStatus::NUM_CONSTANTS),
84  "Task status and FPP shadow enum have inconsistent number of values");
85 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::OP_OK) == Os::TaskStatus::T::OP_OK,
86  "Task status and FPP shadow enum do not match");
87 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::INVALID_HANDLE) == Os::TaskStatus::T::INVALID_HANDLE,
88  "Task status and FPP shadow enum do not match");
89 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::INVALID_PARAMS) == Os::TaskStatus::T::INVALID_PARAMS,
90  "Task status and FPP shadow enum do not match");
91 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::INVALID_PRIORITY) == Os::TaskStatus::T::INVALID_PRIORITY,
92  "Task status and FPP shadow enum do not match");
93 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::INVALID_STACK) == Os::TaskStatus::T::INVALID_STACK,
94  "Task status and FPP shadow enum do not match");
95 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::UNKNOWN_ERROR) == Os::TaskStatus::T::UNKNOWN_ERROR,
96  "Task status and FPP shadow enum do not match");
97 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::INVALID_AFFINITY) == Os::TaskStatus::T::INVALID_AFFINITY,
98  "Task status and FPP shadow enum do not match");
99 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::DELAY_ERROR) == Os::TaskStatus::T::DELAY_ERROR,
100  "Task status and FPP shadow enum do not match");
101 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::JOIN_ERROR) == Os::TaskStatus::T::JOIN_ERROR,
102  "Task status and FPP shadow enum do not match");
103 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::ERROR_RESOURCES) == Os::TaskStatus::T::ERROR_RESOURCES,
104  "Task status and FPP shadow enum do not match");
105 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::ERROR_PERMISSION) == Os::TaskStatus::T::ERROR_PERMISSION,
106  "Task status and FPP shadow enum do not match");
107 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::INVALID_STATE) == Os::TaskStatus::T::INVALID_STATE,
108  "Task status and FPP shadow enum do not match");
109 
110 // Check consistency of every constant in the Os::Mutex::Status enum
111 static_assert(static_cast<FwIndexType>(Os::Mutex::Status::ERROR_OTHER) + 1 ==
112  static_cast<FwIndexType>(Os::MutexStatus::NUM_CONSTANTS),
113  "Mutex status and FPP shadow enum have inconsistent number of values");
114 static_assert(static_cast<Os::MutexStatus::T>(Os::Mutex::Status::OP_OK) == Os::MutexStatus::T::OP_OK,
115  "Mutex status and FPP shadow enum do not match");
116 static_assert(static_cast<Os::MutexStatus::T>(Os::Mutex::Status::ERROR_BUSY) == Os::MutexStatus::T::ERROR_BUSY,
117  "Mutex status and FPP shadow enum do not match");
118 static_assert(static_cast<Os::MutexStatus::T>(Os::Mutex::Status::ERROR_DEADLOCK) == Os::MutexStatus::T::ERROR_DEADLOCK,
119  "Mutex status and FPP shadow enum do not match");
120 static_assert(static_cast<Os::MutexStatus::T>(Os::Mutex::Status::ERROR_OTHER) == Os::MutexStatus::T::ERROR_OTHER,
121  "Mutex status and FPP shadow enum do not match");
122 
123 // Check consistency of every constant in the Os::Directory::Status enum
124 static_assert(static_cast<FwIndexType>(Os::Directory::Status::OTHER_ERROR) + 1 ==
125  static_cast<FwIndexType>(Os::DirectoryStatus::NUM_CONSTANTS),
126  "Directory status and FPP shadow enum have inconsistent number of values");
127 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::OP_OK) == Os::DirectoryStatus::T::OP_OK,
128  "Directory status and FPP shadow enum do not match");
129 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::DOESNT_EXIST) ==
130  Os::DirectoryStatus::T::DOESNT_EXIST,
131  "Directory status and FPP shadow enum do not match");
132 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::NO_PERMISSION) ==
133  Os::DirectoryStatus::T::NO_PERMISSION,
134  "Directory status and FPP shadow enum do not match");
135 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::NOT_OPENED) ==
136  Os::DirectoryStatus::T::NOT_OPENED,
137  "Directory status and FPP shadow enum do not match");
138 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::NOT_DIR) == Os::DirectoryStatus::T::NOT_DIR,
139  "Directory status and FPP shadow enum do not match");
140 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::NO_MORE_FILES) ==
141  Os::DirectoryStatus::T::NO_MORE_FILES,
142  "Directory status and FPP shadow enum do not match");
143 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::FILE_LIMIT) ==
144  Os::DirectoryStatus::T::FILE_LIMIT,
145  "Directory status and FPP shadow enum do not match");
146 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::BAD_DESCRIPTOR) ==
147  Os::DirectoryStatus::T::BAD_DESCRIPTOR,
148  "Directory status and FPP shadow enum do not match");
149 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::ALREADY_EXISTS) ==
150  Os::DirectoryStatus::T::ALREADY_EXISTS,
151  "Directory status and FPP shadow enum do not match");
152 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::NOT_SUPPORTED) ==
153  Os::DirectoryStatus::T::NOT_SUPPORTED,
154  "Directory status and FPP shadow enum do not match");
155 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::OTHER_ERROR) ==
156  Os::DirectoryStatus::T::OTHER_ERROR,
157  "Directory status and FPP shadow enum do not match");
158 
159 // Check consistency of every constant in the Os::Directory::Mode enum
160 static_assert(static_cast<FwIndexType>(Os::Directory::OpenMode::MAX_OPEN_MODE) ==
161  static_cast<FwIndexType>(Os::DirectoryOpenMode::NUM_CONSTANTS),
162  "File mode and FPP shadow enum have inconsistent number of values");
163 static_assert(static_cast<Os::DirectoryOpenMode::T>(Os::Directory::OpenMode::READ) == Os::DirectoryOpenMode::T::READ,
164  "Directory mode and FPP shadow enum do not match");
165 static_assert(static_cast<Os::DirectoryOpenMode::T>(Os::Directory::OpenMode::CREATE_IF_MISSING) ==
166  Os::DirectoryOpenMode::T::CREATE_IF_MISSING,
167  "Directory mode and FPP shadow enum do not match");
168 static_assert(static_cast<Os::DirectoryOpenMode::T>(Os::Directory::OpenMode::CREATE_EXCLUSIVE) ==
169  Os::DirectoryOpenMode::T::CREATE_EXCLUSIVE,
170  "Directory mode and FPP shadow enum do not match");
171 
172 // Check consistency of every constant in the Os::FileSystem::Status enum
173 static_assert(static_cast<FwIndexType>(Os::FileSystem::Status::OTHER_ERROR) + 1 ==
174  static_cast<FwIndexType>(Os::FileSystemStatus::NUM_CONSTANTS),
175  "FileSystem status and FPP shadow enum have inconsistent number of values");
176 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::OP_OK) == Os::FileSystemStatus::T::OP_OK,
177  "FileSystem status and FPP shadow enum do not match");
178 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::ALREADY_EXISTS) ==
179  Os::FileSystemStatus::T::ALREADY_EXISTS,
180  "FileSystem status and FPP shadow enum do not match");
181 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::NO_SPACE) ==
182  Os::FileSystemStatus::T::NO_SPACE,
183  "FileSystem status and FPP shadow enum do not match");
184 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::NO_PERMISSION) ==
185  Os::FileSystemStatus::T::NO_PERMISSION,
186  "FileSystem status and FPP shadow enum do not match");
187 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::NOT_DIR) == Os::FileSystemStatus::T::NOT_DIR,
188  "FileSystem status and FPP shadow enum do not match");
189 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::IS_DIR) == Os::FileSystemStatus::T::IS_DIR,
190  "FileSystem status and FPP shadow enum do not match");
191 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::NOT_EMPTY) ==
192  Os::FileSystemStatus::T::NOT_EMPTY,
193  "FileSystem status and FPP shadow enum do not match");
194 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::INVALID_PATH) ==
195  Os::FileSystemStatus::T::INVALID_PATH,
196  "FileSystem status and FPP shadow enum do not match");
197 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::DOESNT_EXIST) ==
198  Os::FileSystemStatus::T::DOESNT_EXIST,
199  "FileSystem status and FPP shadow enum do not match");
200 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::FILE_LIMIT) ==
201  Os::FileSystemStatus::T::FILE_LIMIT,
202  "FileSystem status and FPP shadow enum do not match");
203 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::BUSY) == Os::FileSystemStatus::T::BUSY,
204  "FileSystem status and FPP shadow enum do not match");
205 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::NO_MORE_FILES) ==
206  Os::FileSystemStatus::T::NO_MORE_FILES,
207  "FileSystem status and FPP shadow enum do not match");
208 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::BUFFER_TOO_SMALL) ==
209  Os::FileSystemStatus::T::BUFFER_TOO_SMALL,
210  "FileSystem status and FPP shadow enum do not match");
211 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::EXDEV_ERROR) ==
212  Os::FileSystemStatus::T::EXDEV_ERROR,
213  "FileSystem status and FPP shadow enum do not match");
214 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::OVERFLOW_ERROR) ==
215  Os::FileSystemStatus::T::OVERFLOW_ERROR,
216  "FileSystem status and FPP shadow enum do not match");
217 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::NOT_SUPPORTED) ==
218  Os::FileSystemStatus::T::NOT_SUPPORTED,
219  "FileSystem status and FPP shadow enum do not match");
220 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::OTHER_ERROR) ==
221  Os::FileSystemStatus::T::OTHER_ERROR,
222  "FileSystem status and FPP shadow enum do not match");
223 
224 // Check consistency of every constant in the Os::RawTime::Status enum
225 static_assert(static_cast<FwIndexType>(Os::RawTime::Status::OTHER_ERROR) + 1 ==
226  static_cast<FwIndexType>(Os::RawTimeStatus::NUM_CONSTANTS),
227  "RawTime status and FPP shadow enum have inconsistent number of values");
228 static_assert(static_cast<Os::RawTimeStatus::T>(Os::RawTime::Status::OP_OK) == Os::RawTimeStatus::T::OP_OK,
229  "RawTime status enums do not match");
230 static_assert(static_cast<Os::RawTimeStatus::T>(Os::RawTime::Status::OP_OVERFLOW) == Os::RawTimeStatus::T::OP_OVERFLOW,
231  "RawTime status enums do not match");
232 static_assert(static_cast<Os::RawTimeStatus::T>(Os::RawTime::Status::INVALID_PARAMS) ==
233  Os::RawTimeStatus::T::INVALID_PARAMS,
234  "RawTime status enums do not match");
235 static_assert(static_cast<Os::RawTimeStatus::T>(Os::RawTime::Status::OTHER_ERROR) == Os::RawTimeStatus::T::OTHER_ERROR,
236  "Generic status enums do not match");
237 
238 // Check consistency of every constant in the Os::Queue::Status enum
239 static_assert(static_cast<FwIndexType>(Os::Queue::Status::UNKNOWN_ERROR) + 1 ==
240  static_cast<FwIndexType>(Os::QueueStatus::NUM_CONSTANTS),
241  "Queue status and FPP shadow enum have inconsistent number of values");
242 static_assert(static_cast<Os::QueueStatus::T>(Os::Queue::Status::OP_OK) == Os::QueueStatus::T::OP_OK,
243  "Queue status enums do not match");
244 static_assert(static_cast<Os::QueueStatus::T>(Os::Queue::Status::ALREADY_CREATED) ==
245  Os::QueueStatus::T::ALREADY_CREATED,
246  "Queue status enums do not match");
247 static_assert(static_cast<Os::QueueStatus::T>(Os::Queue::Status::EMPTY) == Os::QueueStatus::T::EMPTY,
248  "Queue status enums do not match");
249 static_assert(static_cast<Os::QueueStatus::T>(Os::Queue::Status::UNINITIALIZED) == Os::QueueStatus::T::UNINITIALIZED,
250  "Queue status enums do not match");
251 static_assert(static_cast<Os::QueueStatus::T>(Os::Queue::Status::SIZE_MISMATCH) == Os::QueueStatus::T::SIZE_MISMATCH,
252  "Queue status enums do not match");
253 static_assert(static_cast<Os::QueueStatus::T>(Os::Queue::Status::SEND_ERROR) == Os::QueueStatus::T::SEND_ERROR,
254  "Queue status enums do not match");
255 static_assert(static_cast<Os::QueueStatus::T>(Os::Queue::Status::RECEIVE_ERROR) == Os::QueueStatus::T::RECEIVE_ERROR,
256  "Queue status enums do not match");
257 static_assert(static_cast<Os::QueueStatus::T>(Os::Queue::Status::INVALID_PRIORITY) ==
258  Os::QueueStatus::T::INVALID_PRIORITY,
259  "Queue status enums do not match");
260 static_assert(static_cast<Os::QueueStatus::T>(Os::Queue::Status::FULL) == Os::QueueStatus::T::FULL,
261  "Queue status enums do not match");
262 static_assert(static_cast<Os::QueueStatus::T>(Os::Queue::Status::UNKNOWN_ERROR) == Os::QueueStatus::T::UNKNOWN_ERROR,
263  "Queue status enums do not match");
264 static_assert(static_cast<Os::QueueStatus::T>(Os::Queue::Status::ALLOCATION_FAILED) ==
265  Os::QueueStatus::T::ALLOCATION_FAILED,
266  "Queue status enums do not match");
267 
268 // Check consistency of every constant in the Os::Queue::BlockingType enum
269 static_assert(static_cast<FwIndexType>(Os::Queue::BlockingType::NONBLOCKING) + 1 ==
270  static_cast<FwIndexType>(Os::QueueBlockingType::NUM_CONSTANTS),
271  "Queue BlockingType and FPP shadow enum have inconsistent number of values");
272 static_assert(static_cast<Os::QueueBlockingType::T>(Os::Queue::BlockingType::BLOCKING) ==
273  Os::QueueBlockingType::T::BLOCKING,
274  "Queue BlockingType enums do not match");
275 static_assert(static_cast<Os::QueueBlockingType::T>(Os::Queue::BlockingType::NONBLOCKING) ==
276  Os::QueueBlockingType::T::NONBLOCKING,
277  "Queue BlockingType enums do not match");
278 
279 // Check Generic mappings
280 static_assert(static_cast<FwIndexType>(Os::Generic::Status::ERROR) + 1 ==
281  static_cast<FwIndexType>(Os::GenericStatus::NUM_CONSTANTS),
282  "Generic status and FPP shadow enum have inconsistent number of values");
283 static_assert(static_cast<Os::GenericStatus::T>(Os::Generic::Status::OP_OK) == Os::GenericStatus::T::OP_OK,
284  "Generic status enums do not match");
285 static_assert(static_cast<Os::GenericStatus::T>(Os::Generic::Status::ERROR) == Os::GenericStatus::T::ERROR,
286  "Generic status enums do not match");
287 
288 // Check consistency of every constant in the Os::CountingSemaphore::Status enum
289 static_assert(static_cast<FwIndexType>(Os::CountingSemaphore::Status::ERROR_OTHER) + 1 ==
290  static_cast<FwIndexType>(Os::CountingSemaphoreStatus::NUM_CONSTANTS),
291  "CountingSemaphore status and FPP shadow enum have inconsistent number of values");
292 static_assert(static_cast<Os::CountingSemaphoreStatus::T>(Os::CountingSemaphore::Status::OP_OK) ==
293  Os::CountingSemaphoreStatus::T::OP_OK,
294  "CountingSemaphore status enums do not match");
295 static_assert(static_cast<Os::CountingSemaphoreStatus::T>(Os::CountingSemaphore::Status::ERROR_TIMEOUT) ==
296  Os::CountingSemaphoreStatus::T::ERROR_TIMEOUT,
297  "CountingSemaphore status enums do not match");
298 static_assert(static_cast<Os::CountingSemaphoreStatus::T>(Os::CountingSemaphore::Status::ERROR_INVALID) ==
299  Os::CountingSemaphoreStatus::T::ERROR_INVALID,
300  "CountingSemaphore status enums do not match");
301 static_assert(static_cast<Os::CountingSemaphoreStatus::T>(Os::CountingSemaphore::Status::ERROR_NOT_IMPLEMENTED) ==
302  Os::CountingSemaphoreStatus::T::ERROR_NOT_IMPLEMENTED,
303  "CountingSemaphore status enums do not match");
304 static_assert(static_cast<Os::CountingSemaphoreStatus::T>(Os::CountingSemaphore::Status::NOT_SUPPORTED) ==
305  Os::CountingSemaphoreStatus::T::NOT_SUPPORTED,
306  "CountingSemaphore status enums do not match");
307 static_assert(static_cast<Os::CountingSemaphoreStatus::T>(Os::CountingSemaphore::Status::ERROR_OTHER) ==
308  Os::CountingSemaphoreStatus::T::ERROR_OTHER,
309  "CountingSemaphore status enums do not match");
Os::TaskInterface::TASK_DEFAULT
static constexpr FwSizeType TASK_DEFAULT
Definition: Task.hpp:41
Os::FileMode::NUM_CONSTANTS
The number of enumerated constants.
Definition: FileModeEnumAc.hpp:60
Os::FilePathUtils::OUTSIDE_SANDBOX
Resolved path falls outside the allowed directory.
Definition: FilePathUtils.hpp:24
Os::Generic::OP_OK
Operation succeeded.
Definition: Os.hpp:27
Os::ValidateFile::OTHER_ERROR
A catch-all for other errors. Have to look in implementation-specific code.
Definition: ValidateFile.hpp:41
FppConstantsAc.hpp
CountingSemaphoreStatusEnumAc.hpp
Os::Generic::ERROR
Operation failed.
Definition: Os.hpp:28
RawTimeStatusEnumAc.hpp
Os::DirectoryOpenMode::NUM_CONSTANTS
The number of enumerated constants.
Definition: DirectoryOpenModeEnumAc.hpp:53
Os::FilePathUtils::INVALID_PATH
Path is malformed or cannot be resolved.
Definition: FilePathUtils.hpp:25
Queue.hpp
RawTime.hpp
FileSystem.hpp
MutexStatusEnumAc.hpp
Os::QueueStatus::NUM_CONSTANTS
The number of enumerated constants.
Definition: QueueStatusEnumAc.hpp:72
File.hpp
FileSystemStatusEnumAc.hpp
DirectoryStatusEnumAc.hpp
Mutex.hpp
QueueStatusEnumAc.hpp
Os::GenericStatus::NUM_CONSTANTS
The number of enumerated constants.
Definition: GenericStatusEnumAc.hpp:52
Directory.hpp
Os::MutexStatus::NUM_CONSTANTS
The number of enumerated constants.
Definition: MutexStatusEnumAc.hpp:58
Os::FileSystemStatus::NUM_CONSTANTS
The number of enumerated constants.
Definition: FileSystemStatusEnumAc.hpp:82
Os::DirectoryStatus::NUM_CONSTANTS
The number of enumerated constants.
Definition: DirectoryStatusEnumAc.hpp:70
Os::TaskStatus::NUM_CONSTANTS
The number of enumerated constants.
Definition: TaskStatusEnumAc.hpp:74
GenericStatusEnumAc.hpp
QueueBlockingTypeEnumAc.hpp
Os::ValidateFile::NO_SPACE
No space left on the device for writing.
Definition: ValidateFile.hpp:40
Os::QueueBlockingType::NUM_CONSTANTS
The number of enumerated constants.
Definition: QueueBlockingTypeEnumAc.hpp:52
Os.hpp
DirectoryOpenModeEnumAc.hpp
FileModeEnumAc.hpp
Task.hpp
CountingSemaphore.hpp
Os::FileStatus::NUM_CONSTANTS
The number of enumerated constants.
Definition: FileStatusEnumAc.hpp:74
Os::RawTimeStatus::NUM_CONSTANTS
The number of enumerated constants.
Definition: RawTimeStatusEnumAc.hpp:58
FileStatusEnumAc.hpp
TaskStatusEnumAc.hpp