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

Index

additiveOp2CopilotLanguage.Trans.SMV2Copilot
AppDataCommand.Standalone
boolSpec2Copilot 
1 (Function)Language.Trans.Lustre2Copilot
2 (Function)Language.Trans.SMV2Copilot
boolSpecNames 
1 (Function)Language.Trans.Lustre2Copilot
2 (Function)Language.Trans.SMV2Copilot
camelCaseTypeNameLanguage.Trans.CStruct2CopilotStruct
CheckMovesCommand.Diagram
CheckStateCommand.Diagram
command 
1 (Function)Command.Standalone
2 (Function)Command.ROSApp
3 (Function)Command.FPrimeApp
4 (Function)Command.CFSApp
commandExtraVars 
1 (Function)Command.Standalone
2 (Function)Command.ROSApp
3 (Function)Command.FPrimeApp
4 (Function)Command.CFSApp
commandFilenameCommand.Standalone
commandFormat 
1 (Function)Command.Standalone
2 (Function)Command.ROSApp
3 (Function)Command.FPrimeApp
4 (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
commandLogicCommand.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.FPrimeApp
6 (Data Constructor)Command.FPrimeApp
7 (Type/Class)Command.CFSApp
8 (Data Constructor)Command.CFSApp
commandPropFormat 
1 (Function)Command.Standalone
2 (Function)Command.ROSApp
3 (Function)Command.FPrimeApp
4 (Function)Command.CFSApp
commandPropVia 
1 (Function)Command.Standalone
2 (Function)Command.ROSApp
3 (Function)Command.FPrimeApp
4 (Function)Command.CFSApp
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
commandTypeMappingCommand.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
ComputeStateCommand.Diagram
const2CopilotLanguage.Trans.SMV2Copilot
cstruct2CopilotDeclsLanguage.Trans.CStructs2Copilot
cstruct2MsgHandlerLanguage.Trans.CStructs2MsgHandlers
cStructName2HaskellLanguage.Trans.CStructs2Copilot
cstructs2CopilotCommand.CStructs2Copilot
cstructs2CopilotDeclsLanguage.Trans.CStructs2Copilot
cstructs2MsgHandlers 
1 (Function)Language.Trans.CStructs2MsgHandlers
2 (Function)Command.CStructs2MsgHandlers
cStructToCopilotStructLanguage.Trans.CStructs2Copilot
cTypeName2HaskellTypeLanguage.Trans.CStructs2Copilot
diagramCommand.Diagram
diagramFilenameCommand.Diagram
DiagramFormatCommand.Diagram
diagramFormatCommand.Diagram
diagramInputVarCommand.Diagram
DiagramModeCommand.Diagram
diagramModeCommand.Diagram
DiagramOptions 
1 (Type/Class)Command.Diagram
2 (Data Constructor)Command.Diagram
DiagramPropFormatCommand.Diagram
diagramPropFormatCommand.Diagram
diagramStateVarCommand.Diagram
diagramTargetDirCommand.Diagram
diagramTemplateDirCommand.Diagram
DotCommand.Diagram
ErrorCommand.Result
ErrorCode 
1 (Type/Class)Command.Standalone, Command.ROSApp, Command.FPrimeApp, Command.CFSApp
2 (Type/Class)Command.CStructs2Copilot
3 (Type/Class)Command.CStructs2MsgHandlers
4 (Type/Class)Command.Diagram
fieldNameLanguage.Trans.CStructs2Copilot
ident2CopilotLanguage.Trans.SMV2Copilot
InputsCommand.Diagram
isErrorCommand.Result
isSuccessCommand.Result
LiteralCommand.Diagram
LocationData.Location
LocationFileData.Location
LocationFileLCData.Location
LocationFileLineData.Location
LocationNothingData.Location
LustreCommand.Diagram
MermaidCommand.Diagram
mkCStructLanguage.Trans.CStruct2CopilotStruct
multOp2CopilotLanguage.Trans.SMV2Copilot
number2CopilotLanguage.Trans.SMV2Copilot
numExpr2CopilotLanguage.Trans.SMV2Copilot
numExprNamesLanguage.Trans.SMV2Copilot
opOne2CopilotLanguage.Trans.SMV2Copilot
opOneAlone2CopilotLanguage.Trans.SMV2Copilot
opOneMTL2CopilotLanguage.Trans.SMV2Copilot
opOneMTL2Copilot'Language.Trans.SMV2Copilot
opOneMTLRange2CopilotLanguage.Trans.SMV2Copilot
opTwo2CopilotLanguage.Trans.SMV2Copilot
ordOp2CopilotLanguage.Trans.SMV2Copilot
ResultCommand.Result
safeMapLanguage.Trans.Spec2Copilot
SMVCommand.Diagram
spec2CopilotLanguage.Trans.Spec2Copilot
specAnalyzeLanguage.Trans.Spec2Copilot
structInstanceLanguage.Trans.CStructs2Copilot
SuccessCommand.Result
typedInstanceLanguage.Trans.CStructs2Copilot
unlines'Language.Trans.Spec2Copilot