`ogma-cli`: Provide ability to preprocess properties via external command. Refs #197.#198

Merged

ivanperez-keera merged 8 commits intonasa:developfrom ivanperez-keera:develop-prefilters

Jan 15, 2025

+83-27

Commits on Jan 15, 2025

ogma-language-jsonspec: Extend JSON spec parser to use an IO action to parse properties. Refs nasa#197 .
ivanperez-keera
committed
ogma-core: Adapt ROS, F' backend to use IO action to parse individual properties. Refs nasa#197 .
ivanperez-keera
committed
ogma-core: Extend standalone command to use external process to parse properties. Refs nasa#197 .
ivanperez-keera
committed
ogma-core: Adjust tests to provide external processor to standalone command. Refs nasa#197 .
ivanperez-keera
committed
ogma-cli: Provide ability to preprocess properties via external command. Refs nasa#197 .
ivanperez-keera
committed
ogma-language-jsonspec: Document changes in CHANGELOG. Refs nasa#197 .
ivanperez-keera
committed
ogma-core: Document changes in CHANGELOG. Refs nasa#197 .
ivanperez-keera
committed
ogma-cli: Document changes in CHANGELOG. Refs nasa#197 .
ivanperez-keera
committed