Skip to content

Commit

Permalink
ogma-cli: Rename options in FPrime backend for versatility. Refs nasa…
Browse files Browse the repository at this point in the history
…#204.

The FPrime backend used to be specialized for one file format as input,
which was reflected in the name of the options expected by the backend.

A prior commit has renamed the options expected by Ogma's backend in
ogma-core to make them more format-agnostic, in alignment with the plan
to support different kinds of file formats.

This commit performs the same change for users in the CLI.,
  • Loading branch information
ivanperez-keera committed Jan 20, 2025
1 parent 170359e commit 7d0d1ef
Showing 1 changed file with 8 additions and 8 deletions.
16 changes: 8 additions & 8 deletions ogma-cli/src/CLI/CommandFPrimeApp.hs
Original file line number Diff line number Diff line change
Expand Up @@ -58,7 +58,7 @@ import Command.FPrimeApp ( ErrorCode, fprimeApp )
data CommandOpts = CommandOpts
{ fprimeAppTarget :: String
, fprimeAppTemplateDir :: Maybe String
, fprimeAppFRETFile :: Maybe String
, fprimeAppInputFile :: Maybe String
, fprimeAppVarNames :: Maybe String
, fprimeAppVarDB :: Maybe String
, fprimeAppHandlers :: Maybe String
Expand All @@ -74,7 +74,7 @@ command c =
fprimeApp
(fprimeAppTarget c)
(fprimeAppTemplateDir c)
(fprimeAppFRETFile c)
(fprimeAppInputFile c)
(fprimeAppVarNames c)
(fprimeAppVarDB c)
(fprimeAppHandlers c)
Expand Down Expand Up @@ -105,9 +105,9 @@ commandOptsParser = CommandOpts
)
<*> optional
( strOption
( long "fret-file-name"
( long "input-file"
<> metavar "FILENAME"
<> help strFPrimeAppFRETFileNameArgDesc
<> help strFPrimeAppFileNameArgDesc
)
)
<*> optional
Expand Down Expand Up @@ -141,10 +141,10 @@ strFPrimeAppTemplateDirArgDesc :: String
strFPrimeAppTemplateDirArgDesc =
"Directory holding F' component source template"

-- | Argument FRET CS to FPrime component generation command
strFPrimeAppFRETFileNameArgDesc :: String
strFPrimeAppFRETFileNameArgDesc =
"File containing FRET Component Specification"
-- | Argument input file to FPrime component generation command
strFPrimeAppFileNameArgDesc :: String
strFPrimeAppFileNameArgDesc =
"File containing input specification"

-- | Argument variable list to FPrime component generation command
strFPrimeAppVarListArgDesc :: String
Expand Down

0 comments on commit 7d0d1ef

Please sign in to comment.