Extend support for file, property formats across backends

[ivanperez-keera]

Extend support for file, property formats across backends, including the "literal" property format for the standalone backend and all the same supported property formats, file formats, and use of external processors for ROS and FPrime, as prescribed in the solution proposed for #204.

[ivanperez-keera]

Change Manager: Verified that:

• Solution is implemented:
  • The code proposed compiles and passes all tests. Details:
    • Build logs:
      • https://github.com/ivanperez-keera/ogma/actions/runs/12876211155/job/35898836439
      • https://github.com/ivanperez-keera/ogma/actions/runs/12876211157/job/35898836450
    • Build log archives:
      • logs_33294309195.zip
      • logs_33294309198.zip
  • The solution proposed produces the expected result. Details:
    The following dockerfile uses the standalone backend to generate a monitor using a literal Copilot expression gathered from a custom JSON file, and then uses the FPrime backend to produce an FPrime component. The Copilot monitor is further compiled, and building the Dockerfile generated by the FPrime backend completes the compilation process correctly. Note that, due to a standing issue with the FPrime backend (java is needed in newer versions), we need to modify the Dockerfile generated to install java. This can be done in a way that does not interfere with future tests (the modification will succeed even if java is available on the guest image already).

    --- Dockerfile-verify-204
    FROM ubuntu:trusty
    
    ENV DEBIAN_FRONTEND=noninteractive
    
    RUN apt-get update
    
    RUN apt-get install --yes software-properties-common
    RUN add-apt-repository ppa:hvr/ghc
    RUN apt-get update
    
    RUN apt-get install --yes ghc-8.6.5 cabal-install-2.4
    RUN apt-get install --yes libz-dev
    
    ENV PATH=/opt/ghc/8.6.5/bin:/opt/cabal/2.4/bin:$PWD/.cabal-sandbox/bin:$PATH
    
    RUN cabal update
    RUN cabal v1-sandbox init
    RUN cabal v1-install alex happy
    RUN apt-get install --yes git
    
    ADD document.json       /tmp/document.json
    ADD json-format.cfg     /tmp/json-format.cfg
    ADD fprime-variable-dbs /tmp/fprime-variable-dbs
    ADD fprime-handlers     /tmp/fprime-handlers
    
    CMD git clone $REPO && \
        cd $NAME && \
        git checkout $COMMIT && \
        cd .. && \
        cabal v1-sandbox init && \
        cabal v1-install copilot-4.2 $NAME/$PAT**/ --constraint="aeson>=2.0.3.0" && \
        ./.cabal-sandbox/bin/ogma standalone --file-name /tmp/document.json -f /tmp/json-format.cfg -p literal --target-file-name copilot --target-dir fprime_demo && \
        ./.cabal-sandbox/bin/ogma fprime --app-target-dir fprime_demo --handlers-file /tmp/fprime-handlers --input-file /tmp/document.json -f /tmp/json-format.cfg -p literal --variable-db /tmp/fprime-variable-db && \
        cabal v1-exec -- runhaskell fprime_demo/Copilot.hs && \
        sed -i -e '0,/RUN apt-get install/{s/\(RUN apt-get install .*\)/\1 default-jre/}' fprime_demo/Dockerfile && \
        mv copilot* fprime_demo/
    
    --- document.json
    {
      "Example": {
        "internal_variables": [],
        "external_variables": [
          {"name":"input", "type":"Float", "meaning": "Input from the system"}
        ],
        "properties": [
          {
            "id":      "MyProperty",
            "formula": "PTLTL.alwaysBeen (input /= 30.0)",
            "text":    "Input is never 30"
          }
        ]
      }
    }
    
    --- fprime-handlers
    handlerMyProperty
    
    --- fprime-variable-db
    ("pullup", "bool")
    ("input", "float")
    
    --- json-format.cfg
    JSONFormat
       { specInternalVars    = Just "..internal_variables[*]"
       , specInternalVarId   = ".name"
       , specInternalVarExpr = ".meaning"
       , specInternalVarType = Just ".type"
       , specExternalVars    = Just "..external_variables[*]"
       , specExternalVarId   = ".name"
       , specExternalVarType = Just ".type"
       , specRequirements    = "..properties[*]"
       , specRequirementId   = ".id"
       , specRequirementDesc = Just ".text"
       , specRequirementExpr = ".formula"
       }   
    

    Command (substitute variables based on new path after merge):

    $ docker run -v $PWD/fprime_demo:/fprime_demo -e "REPO=https://github.com/ivanperez-keera/ogma" -e "NAME=ogma" -e "PAT=ogma" -e "COMMIT=0a2123826fee7d677abc80228ead521f8dbaca6e" -it ogma-verify-204
    $ cd fprime_demo
    $ docker build -t ogma-verify-204-fprime -f Dockerfile .
    

• Implementation is documented. Details:
  All new top-level definitions are documented.
• Change history is clear.
• Commit messages are clear.
• Changelogs are updated.
• Examples are updated. Details:
  This patch changes some examples to make their names conform to the names of the formats supported.
• Required version bumps are evaluated. Details:
  Bump required (the changes modify the command-line arguments, which is a breaking change to the CLI).