ogma-core-1.12.0: Ogma: Helper tool to interoperate between Copilot and other languages.

Index

additiveOp2Copilot | Language.Trans.SMV2Copilot
AppData | Command.Standalone
boolSpec2Copilot |
1 (Function) | Language.Trans.Lustre2Copilot
2 (Function) | Language.Trans.SMV2Copilot
boolSpecNames |
1 (Function) | Language.Trans.Lustre2Copilot
2 (Function) | Language.Trans.SMV2Copilot
camelCaseTypeName | Language.Trans.CStruct2CopilotStruct
CheckMoves | Command.Diagram
CheckState | Command.Diagram
command |
1 (Function) | Command.Standalone
2 (Function) | Command.ROSApp
3 (Function) | Command.Overview
4 (Function) | Command.FPrimeApp
5 (Function) | Command.CFSApp
commandConditionExpr |
1 (Function) | Command.Standalone
2 (Function) | Command.ROSApp
3 (Function) | Command.FPrimeApp
4 (Function) | Command.CFSApp
commandExternalVariables | Command.Overview
commandExtraVars |
1 (Function) | Command.Standalone
2 (Function) | Command.ROSApp
3 (Function) | Command.FPrimeApp
4 (Function) | Command.CFSApp
commandFilename | Command.Standalone
commandFormat |
1 (Function) | Command.Standalone
2 (Function) | Command.ROSApp
3 (Function) | Command.Overview
4 (Function) | Command.FPrimeApp
5 (Function) | Command.CFSApp
commandHandlers |
1 (Function) | Command.ROSApp
2 (Function) | Command.FPrimeApp
3 (Function) | Command.CFSApp
commandInputFile |
1 (Function) | Command.Standalone
2 (Function) | Command.ROSApp
3 (Function) | Command.FPrimeApp
4 (Function) | Command.CFSApp
commandInternalVariables | Command.Overview
commandLogic | Command.Standalone
CommandOptions |
1 (Type/Class) | Command.Standalone
2 (Data Constructor) | Command.Standalone
3 (Type/Class) | Command.ROSApp
4 (Data Constructor) | Command.ROSApp
5 (Type/Class) | Command.Overview
6 (Data Constructor) | Command.Overview
7 (Type/Class) | Command.FPrimeApp
8 (Data Constructor) | Command.FPrimeApp
9 (Type/Class) | Command.CFSApp
10 (Data Constructor) | Command.CFSApp
commandPropFormat |
1 (Function) | Command.Standalone
2 (Function) | Command.ROSApp
3 (Function) | Command.Overview
4 (Function) | Command.FPrimeApp
5 (Function) | Command.CFSApp
commandPropVia |
1 (Function) | Command.Standalone
2 (Function) | Command.ROSApp
3 (Function) | Command.Overview
4 (Function) | Command.FPrimeApp
5 (Function) | Command.CFSApp
commandRequirements | Command.Overview
CommandSummary |
1 (Type/Class) | Command.Overview
2 (Data Constructor) | Command.Overview
commandTargetDir |
1 (Function) | Command.Standalone
2 (Function) | Command.ROSApp
3 (Function) | Command.FPrimeApp
4 (Function) | Command.CFSApp
commandTemplateDir |
1 (Function) | Command.Standalone
2 (Function) | Command.ROSApp
3 (Function) | Command.FPrimeApp
4 (Function) | Command.CFSApp
commandTestingApps | Command.ROSApp
commandTestingVars | Command.ROSApp
commandTypeMapping | Command.Standalone
commandVariableDB |
1 (Function) | Command.ROSApp
2 (Function) | Command.FPrimeApp
3 (Function) | Command.CFSApp
commandVariables |
1 (Function) | Command.ROSApp
2 (Function) | Command.FPrimeApp
3 (Function) | Command.CFSApp
ComputeState | Command.Diagram
const2Copilot | Language.Trans.SMV2Copilot
cstruct2CopilotDecls | Language.Trans.CStructs2Copilot
cstruct2MsgHandler | Language.Trans.CStructs2MsgHandlers
cStructName2Haskell | Language.Trans.CStructs2Copilot
cstructs2Copilot | Command.CStructs2Copilot
cstructs2CopilotDecls | Language.Trans.CStructs2Copilot
cstructs2MsgHandlers |
1 (Function) | Language.Trans.CStructs2MsgHandlers
2 (Function) | Command.CStructs2MsgHandlers
cStructToCopilotStruct | Language.Trans.CStructs2Copilot
cTypeName2HaskellType | Language.Trans.CStructs2Copilot
diagram | Command.Diagram
diagramFilename | Command.Diagram
DiagramFormat | Command.Diagram
diagramFormat | Command.Diagram
diagramInputVar | Command.Diagram
DiagramMode | Command.Diagram
diagramMode | Command.Diagram
DiagramOptions |
1 (Type/Class) | Command.Diagram
2 (Data Constructor) | Command.Diagram
DiagramPropFormat | Command.Diagram
diagramPropFormat | Command.Diagram
diagramStateVar | Command.Diagram
diagramTargetDir | Command.Diagram
diagramTemplateDir | Command.Diagram
Dot | Command.Diagram
Error | Command.Result
ErrorCode |
1 (Type/Class) | Command.Standalone, Command.ROSApp, Command.Overview, Command.FPrimeApp, Command.CFSApp
2 (Type/Class) | Command.CStructs2Copilot
3 (Type/Class) | Command.CStructs2MsgHandlers
4 (Type/Class) | Command.Diagram
fieldName | Language.Trans.CStructs2Copilot
ident2Copilot | Language.Trans.SMV2Copilot
Inputs | Command.Diagram
isError | Command.Result
isSuccess | Command.Result
Literal | Command.Diagram
Location | Data.Location
LocationFile | Data.Location
LocationFileLC | Data.Location
LocationFileLine | Data.Location
LocationNothing | Data.Location
Lustre | Command.Diagram
Mermaid | Command.Diagram
mkCStruct | Language.Trans.CStruct2CopilotStruct
multOp2Copilot | Language.Trans.SMV2Copilot
Node |
1 (Type/Class) | Command.ROSApp
2 (Data Constructor) | Command.ROSApp
number2Copilot | Language.Trans.SMV2Copilot
numExpr2Copilot | Language.Trans.SMV2Copilot
numExprNames | Language.Trans.SMV2Copilot
opOne2Copilot | Language.Trans.SMV2Copilot
opOneAlone2Copilot | Language.Trans.SMV2Copilot
opOneMTL2Copilot | Language.Trans.SMV2Copilot
opOneMTL2Copilot' | Language.Trans.SMV2Copilot
opOneMTLRange2Copilot | Language.Trans.SMV2Copilot
opTwo2Copilot | Language.Trans.SMV2Copilot
ordOp2Copilot | Language.Trans.SMV2Copilot
Result | Command.Result
safeMap | Language.Trans.Spec2Copilot
SMV | Command.Diagram
spec2Copilot | Language.Trans.Spec2Copilot
specAnalyze | Language.Trans.Spec2Copilot
structInstance | Language.Trans.CStructs2Copilot
Success | Command.Result
typedInstance | Language.Trans.CStructs2Copilot
unlines' | Language.Trans.Spec2Copilot