-
Notifications
You must be signed in to change notification settings - Fork 38
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* Add OTA Parser, OTA Parser MISRA fixes. Add OTA Parser source and include files. Add OTA Parser unit test files. Add OTA Parser CBMC proofs. OTA Parser MISRA fixes. --------- Co-authored-by: GitHub Action <[email protected]>
- Loading branch information
1 parent
035be83
commit 0e4451b
Showing
28 changed files
with
1,999 additions
and
347 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
https://s3.region.amazonaws.com/joe-ota/ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +0,0 @@ | ||
[submodule "test/unit-test/Unity"] | ||
path = test/unit-test/Unity | ||
url = https://github.com/ThrowTheSwitch/Unity | ||
update = none | ||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,35 @@ | ||
/* | ||
* Copyright Amazon.com, Inc. and its affiliates. All Rights Reserved. | ||
* SPDX-License-Identifier: MIT | ||
* | ||
* Licensed under the MIT License. See the LICENSE accompanying this file | ||
* for the specific language governing permissions and limitations under | ||
* the License. | ||
*/ | ||
|
||
#ifndef JOB_PARSER_H | ||
#define JOB_PARSER_H | ||
|
||
#include <stdbool.h> | ||
#include <stdlib.h> | ||
#include <stdint.h> | ||
|
||
typedef struct AfrOtaJobDocumentFields_t * AfrOtaJobDocumentFields; | ||
|
||
/** | ||
* @brief Populate the fields of 'result', returning | ||
* true if successful. | ||
* | ||
* @param jobDoc FreeRTOS OTA job document | ||
* @param jobDocLength OTA job document length | ||
* @param fileIndex The index of the file to use properties of | ||
* @param result Job document structure to populate | ||
* @return true Job document fields were parsed from the document | ||
* @return false Job document fields were not parsed from the document | ||
*/ | ||
bool populateJobDocFields( const char * jobDoc, | ||
const size_t jobDocLength, | ||
int32_t fileIndex, | ||
AfrOtaJobDocumentFields result ); | ||
|
||
#endif /* JOB_PARSER_H */ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,25 @@ | ||
/* | ||
* Copyright Amazon.com, Inc. and its affiliates. All Rights Reserved. | ||
* SPDX-License-Identifier: MIT | ||
* | ||
* Licensed under the MIT License. See the LICENSE accompanying this file | ||
* for the specific language governing permissions and limitations under | ||
* the License. | ||
*/ | ||
|
||
#ifndef OTA_JOB_PROCESSOR_H | ||
#define OTA_JOB_PROCESSOR_H | ||
|
||
#include <stdint.h> | ||
|
||
#include <stddef.h> | ||
#include <stdint.h> | ||
|
||
#include "job_parser.h" | ||
|
||
int8_t otaParser_parseJobDocFile( const char * jobDoc, | ||
const size_t jobDocLength, | ||
const uint8_t fileIndex, | ||
AfrOtaJobDocumentFields fields ); | ||
|
||
#endif /*OTA_JOB_PROCESSOR_H*/ |
Oops, something went wrong.