F´ Flight Software - C/C++ Documentation  devel
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/Models/FileStatusEnumAc.hpp"
6 #include "Os/Models/FileModeEnumAc.hpp"
7 #include "Os/Models/TaskStatusEnumAc.hpp"
8 #include "Os/Models/MutexStatusEnumAc.hpp"
9 #include "Os/Models/DirectoryStatusEnumAc.hpp"
10 #include "Os/Models/DirectoryOpenModeEnumAc.hpp"
11 #include "Os/Models/RawTimeStatusEnumAc.hpp"
12 #include "Os/Models/FileSystemStatusEnumAc.hpp"
13 #include "Os/Models/GenericStatusEnumAc.hpp"
14 #include "Os/Models/QueueStatusEnumAc.hpp"
15 #include "Os/Models/QueueBlockingTypeEnumAc.hpp"
16 #include "Os/File.hpp"
17 #include "Os/Task.hpp"
18 #include "Os/Mutex.hpp"
19 #include "Os/Directory.hpp"
20 #include "Os/FileSystem.hpp"
21 #include "Os/Os.hpp"
22 #include "Os/RawTime.hpp"
23 #include "Os/Queue.hpp"
24 
25 // Check consistency of every constant in the Os::File::Status enum
26 static_assert(static_cast<FwIndexType>(Os::File::Status::MAX_STATUS) ==
27  static_cast<FwIndexType>(Os::FileStatus::NUM_CONSTANTS),
28  "File status and FPP shadow enum have inconsistent number of values");
29 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::OP_OK) == Os::FileStatus::T::OP_OK,
30  "File status and FPP shadow enum do not match");
31 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::DOESNT_EXIST) == Os::FileStatus::T::DOESNT_EXIST,
32  "File status and FPP shadow enum do not match");
33 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::NO_SPACE) == Os::FileStatus::T::NO_SPACE,
34  "File status and FPP shadow enum do not match");
35 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::NO_PERMISSION) == Os::FileStatus::T::NO_PERMISSION,
36  "File status and FPP shadow enum do not match");
37 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::BAD_SIZE) == Os::FileStatus::T::BAD_SIZE,
38  "File status and FPP shadow enum do not match");
39 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::NOT_OPENED) == Os::FileStatus::T::NOT_OPENED,
40  "File status and FPP shadow enum do not match");
41 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::FILE_EXISTS) == Os::FileStatus::T::FILE_EXISTS,
42  "File status and FPP shadow enum do not match");
43 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::NOT_SUPPORTED) == Os::FileStatus::T::NOT_SUPPORTED,
44  "File status and FPP shadow enum do not match");
45 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::INVALID_MODE) == Os::FileStatus::T::INVALID_MODE,
46  "File status and FPP shadow enum do not match");
47 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::INVALID_ARGUMENT) == Os::FileStatus::T::INVALID_ARGUMENT,
48  "File status and FPP shadow enum do not match");
49 static_assert(static_cast<Os::FileStatus::T>(Os::File::Status::OTHER_ERROR) == Os::FileStatus::T::OTHER_ERROR,
50  "File status and FPP shadow enum do not match");
51 
52 // Check consistency of every constant in the Os::File::Mode enum
53 static_assert(static_cast<FwIndexType>(Os::File::Mode::MAX_OPEN_MODE) ==
54  static_cast<FwIndexType>(Os::FileMode::NUM_CONSTANTS),
55  "File mode and FPP shadow enum have inconsistent number of values");
56 static_assert(static_cast<Os::FileMode::T>(Os::File::Mode::OPEN_NO_MODE) == Os::FileMode::T::OPEN_NO_MODE,
57  "File mode and FPP shadow enum do not match");
58 static_assert(static_cast<Os::FileMode::T>(Os::File::Mode::OPEN_READ) == Os::FileMode::T::OPEN_READ,
59  "File mode and FPP shadow enum do not match");
60 static_assert(static_cast<Os::FileMode::T>(Os::File::Mode::OPEN_CREATE) == Os::FileMode::T::OPEN_CREATE,
61  "File mode and FPP shadow enum do not match");
62 static_assert(static_cast<Os::FileMode::T>(Os::File::Mode::OPEN_WRITE) == Os::FileMode::T::OPEN_WRITE,
63  "File mode and FPP shadow enum do not match");
64 static_assert(static_cast<Os::FileMode::T>(Os::File::Mode::OPEN_SYNC_WRITE) == Os::FileMode::T::OPEN_SYNC_WRITE,
65  "File mode and FPP shadow enum do not match");
66 static_assert(static_cast<Os::FileMode::T>(Os::File::Mode::OPEN_APPEND) == Os::FileMode::T::OPEN_APPEND,
67  "File mode and FPP shadow enum do not Mode");
68 
69 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::OP_OK) == Os::TaskStatus::T::OP_OK,
70  "Task status and FPP shadow enum do not match");
71 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::INVALID_HANDLE) == Os::TaskStatus::T::INVALID_HANDLE,
72  "Task status and FPP shadow enum do not match");
73 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::INVALID_PARAMS) == Os::TaskStatus::T::INVALID_PARAMS,
74  "Task status and FPP shadow enum do not match");
75 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::INVALID_STACK) == Os::TaskStatus::T::INVALID_STACK,
76  "Task status and FPP shadow enum do not match");
77 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::UNKNOWN_ERROR) == Os::TaskStatus::T::UNKNOWN_ERROR,
78  "Task status and FPP shadow enum do not match");
79 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::INVALID_AFFINITY) == Os::TaskStatus::T::INVALID_AFFINITY,
80  "Task status and FPP shadow enum do not match");
81 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::DELAY_ERROR) == Os::TaskStatus::T::DELAY_ERROR,
82  "Task status and FPP shadow enum do not match");
83 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::JOIN_ERROR) == Os::TaskStatus::T::JOIN_ERROR,
84  "Task status and FPP shadow enum do not match");
85 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::ERROR_RESOURCES) == Os::TaskStatus::T::ERROR_RESOURCES,
86  "Task status and FPP shadow enum do not match");
87 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::ERROR_PERMISSION) == Os::TaskStatus::T::ERROR_PERMISSION,
88  "Task status and FPP shadow enum do not match");
89 static_assert(static_cast<Os::TaskStatus::T>(Os::Task::Status::INVALID_STATE) == Os::TaskStatus::T::INVALID_STATE,
90  "Task status and FPP shadow enum do not match");
91 
92 static_assert(static_cast<Os::MutexStatus::T>(Os::Mutex::Status::OP_OK) == Os::MutexStatus::T::OP_OK,
93  "Mutex status and FPP shadow enum do not match");
94 static_assert(static_cast<Os::MutexStatus::T>(Os::Mutex::Status::ERROR_BUSY) == Os::MutexStatus::T::ERROR_BUSY,
95  "Mutex status and FPP shadow enum do not match");
96 static_assert(static_cast<Os::MutexStatus::T>(Os::Mutex::Status::ERROR_DEADLOCK) == Os::MutexStatus::T::ERROR_DEADLOCK,
97  "Mutex status and FPP shadow enum do not match");
98 static_assert(static_cast<Os::MutexStatus::T>(Os::Mutex::Status::ERROR_OTHER) == Os::MutexStatus::T::ERROR_OTHER,
99  "Mutex status and FPP shadow enum do not match");
100 
101 
102 // Check consistency of every constant in the Os::Directory::Status enum
103 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::OP_OK) == Os::DirectoryStatus::T::OP_OK,
104  "Directory status and FPP shadow enum do not match");
105 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::DOESNT_EXIST) == Os::DirectoryStatus::T::DOESNT_EXIST,
106  "Directory status and FPP shadow enum do not match");
107 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::NO_PERMISSION) == Os::DirectoryStatus::T::NO_PERMISSION,
108  "Directory status and FPP shadow enum do not match");
109 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::NOT_OPENED) == Os::DirectoryStatus::T::NOT_OPENED,
110  "Directory status and FPP shadow enum do not match");
111 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::NOT_DIR) == Os::DirectoryStatus::T::NOT_DIR,
112  "Directory status and FPP shadow enum do not match");
113 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::NO_MORE_FILES) == Os::DirectoryStatus::T::NO_MORE_FILES,
114  "Directory status and FPP shadow enum do not match");
115 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::FILE_LIMIT) == Os::DirectoryStatus::T::FILE_LIMIT,
116  "Directory status and FPP shadow enum do not match");
117 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::BAD_DESCRIPTOR) == Os::DirectoryStatus::T::BAD_DESCRIPTOR,
118  "Directory status and FPP shadow enum do not match");
119 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::ALREADY_EXISTS) == Os::DirectoryStatus::T::ALREADY_EXISTS,
120  "Directory status and FPP shadow enum do not match");
121 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::NOT_SUPPORTED) == Os::DirectoryStatus::T::NOT_SUPPORTED,
122  "Directory status and FPP shadow enum do not match");
123 static_assert(static_cast<Os::DirectoryStatus::T>(Os::Directory::Status::OTHER_ERROR) == Os::DirectoryStatus::T::OTHER_ERROR,
124  "Directory status and FPP shadow enum do not match");
125 
126 
127 // Check consistency of every constant in the Os::Directory::Mode enum
128 static_assert(static_cast<FwIndexType>(Os::Directory::OpenMode::MAX_OPEN_MODE) ==
129  static_cast<FwIndexType>(Os::DirectoryOpenMode::NUM_CONSTANTS),
130  "File mode and FPP shadow enum have inconsistent number of values");
131 static_assert(static_cast<Os::DirectoryOpenMode::T>(Os::Directory::OpenMode::READ) == Os::DirectoryOpenMode::T::READ,
132  "Directory mode and FPP shadow enum do not match");
133 static_assert(static_cast<Os::DirectoryOpenMode::T>(Os::Directory::OpenMode::CREATE_IF_MISSING) == Os::DirectoryOpenMode::T::CREATE_IF_MISSING,
134  "Directory mode and FPP shadow enum do not match");
135 static_assert(static_cast<Os::DirectoryOpenMode::T>(Os::Directory::OpenMode::CREATE_EXCLUSIVE) == Os::DirectoryOpenMode::T::CREATE_EXCLUSIVE,
136  "Directory mode and FPP shadow enum do not match");
137 
138 
139 // Check consistency of every constant in the Os::FileSystem::Status enum
140 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::OP_OK) == Os::FileSystemStatus::T::OP_OK,
141  "FileSystem status and FPP shadow enum do not match");
142 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::ALREADY_EXISTS) == Os::FileSystemStatus::T::ALREADY_EXISTS,
143  "FileSystem status and FPP shadow enum do not match");
144 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::NO_SPACE) == Os::FileSystemStatus::T::NO_SPACE,
145  "FileSystem status and FPP shadow enum do not match");
146 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::NO_PERMISSION) == Os::FileSystemStatus::T::NO_PERMISSION,
147  "FileSystem status and FPP shadow enum do not match");
148 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::NOT_DIR) == Os::FileSystemStatus::T::NOT_DIR,
149  "FileSystem status and FPP shadow enum do not match");
150 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::IS_DIR) == Os::FileSystemStatus::T::IS_DIR,
151  "FileSystem status and FPP shadow enum do not match");
152 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::NOT_EMPTY) == Os::FileSystemStatus::T::NOT_EMPTY,
153  "FileSystem status and FPP shadow enum do not match");
154 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::INVALID_PATH) == Os::FileSystemStatus::T::INVALID_PATH,
155  "FileSystem status and FPP shadow enum do not match");
156 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::DOESNT_EXIST) == Os::FileSystemStatus::T::DOESNT_EXIST,
157  "FileSystem status and FPP shadow enum do not match");
158 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::FILE_LIMIT) == Os::FileSystemStatus::T::FILE_LIMIT,
159  "FileSystem status and FPP shadow enum do not match");
160 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::BUSY) == Os::FileSystemStatus::T::BUSY,
161  "FileSystem status and FPP shadow enum do not match");
162 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::NO_MORE_FILES) == Os::FileSystemStatus::T::NO_MORE_FILES,
163  "FileSystem status and FPP shadow enum do not match");
164 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::BUFFER_TOO_SMALL) == Os::FileSystemStatus::T::BUFFER_TOO_SMALL,
165  "FileSystem status and FPP shadow enum do not match");
166 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::EXDEV_ERROR) == Os::FileSystemStatus::T::EXDEV_ERROR,
167  "FileSystem status and FPP shadow enum do not match");
168 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::OVERFLOW_ERROR) == Os::FileSystemStatus::T::OVERFLOW_ERROR,
169  "FileSystem status and FPP shadow enum do not match");
170 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::NOT_SUPPORTED) == Os::FileSystemStatus::T::NOT_SUPPORTED,
171  "FileSystem status and FPP shadow enum do not match");
172 static_assert(static_cast<Os::FileSystemStatus::T>(Os::FileSystem::Status::OTHER_ERROR) == Os::FileSystemStatus::T::OTHER_ERROR,
173  "FileSystem status and FPP shadow enum do not match");
174 
175 
176 // Check consistency of every constant in the Os::RawTime::Status enum
177 static_assert(static_cast<Os::RawTimeStatus::T>(Os::RawTime::Status::OP_OK) == Os::RawTimeStatus::T::OP_OK,
178  "RawTime status enums do not match");
179 static_assert(static_cast<Os::RawTimeStatus::T>(Os::RawTime::Status::OP_OVERFLOW) == Os::RawTimeStatus::T::OP_OVERFLOW,
180  "RawTime status enums do not match");
181 static_assert(static_cast<Os::RawTimeStatus::T>(Os::RawTime::Status::INVALID_PARAMS) == Os::RawTimeStatus::T::INVALID_PARAMS,
182  "RawTime status enums do not match");
183 static_assert(static_cast<Os::RawTimeStatus::T>(Os::RawTime::Status::OTHER_ERROR) == Os::RawTimeStatus::T::OTHER_ERROR,
184  "Generic status enums do not match");
185 
186 // Check consistency of every constant in the Os::Queue::Status enum
187 static_assert(static_cast<Os::QueueStatus::T>(Os::Queue::Status::OP_OK) == Os::QueueStatus::T::OP_OK,
188  "Queue status enums do not match");
189 static_assert(static_cast<Os::QueueStatus::T>(Os::Queue::Status::ALREADY_CREATED) == Os::QueueStatus::T::ALREADY_CREATED,
190  "Queue status enums do not match");
191 static_assert(static_cast<Os::QueueStatus::T>(Os::Queue::Status::EMPTY) == Os::QueueStatus::T::EMPTY,
192  "Queue status enums do not match");
193 static_assert(static_cast<Os::QueueStatus::T>(Os::Queue::Status::UNINITIALIZED) == Os::QueueStatus::T::UNINITIALIZED,
194  "Queue status enums do not match");
195 static_assert(static_cast<Os::QueueStatus::T>(Os::Queue::Status::SIZE_MISMATCH) == Os::QueueStatus::T::SIZE_MISMATCH,
196  "Queue status enums do not match");
197 static_assert(static_cast<Os::QueueStatus::T>(Os::Queue::Status::SEND_ERROR) == Os::QueueStatus::T::SEND_ERROR,
198  "Queue status enums do not match");
199 static_assert(static_cast<Os::QueueStatus::T>(Os::Queue::Status::RECEIVE_ERROR) == Os::QueueStatus::T::RECEIVE_ERROR,
200  "Queue status enums do not match");
201 static_assert(static_cast<Os::QueueStatus::T>(Os::Queue::Status::INVALID_PRIORITY) == Os::QueueStatus::T::INVALID_PRIORITY,
202  "Queue status enums do not match");
203 static_assert(static_cast<Os::QueueStatus::T>(Os::Queue::Status::FULL) == Os::QueueStatus::T::FULL,
204  "Queue status enums do not match");
205 static_assert(static_cast<Os::QueueStatus::T>(Os::Queue::Status::UNKNOWN_ERROR) == Os::QueueStatus::T::UNKNOWN_ERROR,
206  "Queue status enums do not match");
207 
208 // Check consistency of every constant in the Os::Queue::BlockingType enum
209 static_assert(static_cast<Os::QueueBlockingType::T>(Os::Queue::BlockingType::BLOCKING) == Os::QueueBlockingType::T::BLOCKING,
210  "Queue BlockingType enums do not match");
211 static_assert(static_cast<Os::QueueBlockingType::T>(Os::Queue::BlockingType::NONBLOCKING) == Os::QueueBlockingType::T::NONBLOCKING,
212  "Queue BlockingType enums do not match");
213 
214 // Check Generic mappings
215 static_assert(static_cast<Os::GenericStatus::T>(Os::Generic::Status::OP_OK) == Os::GenericStatus::T::OP_OK,
216  "Generic status enums do not match");
217 static_assert(static_cast<Os::GenericStatus::T>(Os::Generic::Status::ERROR) == Os::GenericStatus::T::ERROR,
218  "Generic status enums do not match");
FwIndexType
PlatformIndexType FwIndexType
Definition: FpConfig.h:25
Os::DirectoryOpenMode::NUM_CONSTANTS
@ NUM_CONSTANTS
The number of enumerated constants.
Definition: DirectoryOpenModeEnumAc.hpp:52
Os::FileMode::T
T
The raw enum type.
Definition: FileModeEnumAc.hpp:31
Os::FileMode::NUM_CONSTANTS
@ NUM_CONSTANTS
The number of enumerated constants.
Definition: FileModeEnumAc.hpp:59
Os::FileStatus::T
T
The raw enum type.
Definition: FileStatusEnumAc.hpp:31
Os::FileStatus::NUM_CONSTANTS
@ NUM_CONSTANTS
The number of enumerated constants.
Definition: FileStatusEnumAc.hpp:69
Os::GenericStatus::T
T
The raw enum type.
Definition: GenericStatusEnumAc.hpp:31
Os::MutexStatus::T
T
The raw enum type.
Definition: MutexStatusEnumAc.hpp:31
Os::QueueStatus::T
T
The raw enum type.
Definition: QueueStatusEnumAc.hpp:31
Os::RawTimeStatus::T
T
The raw enum type.
Definition: RawTimeStatusEnumAc.hpp:31
Os::TaskStatus::T
T
The raw enum type.
Definition: TaskStatusEnumAc.hpp:31
Os::Generic::OP_OK
@ OP_OK
Operation succeeded.
Definition: Os.hpp:26
Os::Generic::ERROR
@ ERROR
Operation failed.
Definition: Os.hpp:27
Os::ValidateFile::OTHER_ERROR
@ OTHER_ERROR
A catch-all for other errors. Have to look in implementation-specific code.
Definition: ValidateFile.hpp:41
Os::ValidateFile::NO_SPACE
@ NO_SPACE
No space left on the device for writing.
Definition: ValidateFile.hpp:40