nasa / ogma

Generator of runtime monitors for flight and robotics applications.
Other
335 stars 25 forks source link

`ogma-core`: Make DB2Copilot backend to use JSON parser #122

Closed ivanperez-keera closed 9 months ago

ivanperez-keera commented 9 months ago

Description

The requirements-DB-2-Copilot backend uses an adhoc parser, instead of using the generalized JSON parser. Using the latter would simplify the code, as well as make it more versatile.

Type

Additional context

None.

Requester

Method to check presence of bug

Not applicable (not a bug).

Expected result

The specific library that deals with parsing requirement DBs is removed, and we instead rely on the generic JSON parser.

Desired result

The specific library that deals with parsing requirement DBs is removed, and we instead rely on the generic JSON parser.

Proposed solution

Express the logic of parsing the requirements DB file using the JSON parser. Remove the dedicated library for parsing requirement databases, as well as the file in Language/Trans.

Further notes

None.

ivanperez-keera commented 9 months ago

Change Manager: Confirmed that the issue exists.

ivanperez-keera commented 9 months ago

Technical Lead: Confirmed that the issue should be addressed.

ivanperez-keera commented 9 months ago

Technical Lead: Issue scheduled for fixing in Ogma 1.3.

Fix assigned to: @ivanperez-keera.

ivanperez-keera commented 9 months ago

Implementor: Solution implemented, review requested.

ivanperez-keera commented 9 months ago

Change Manager: Verified that:

ivanperez-keera commented 9 months ago

Change Manager: Implementation ready to be merged.