ogma-core-1.9.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.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
commandExternalVariablesCommand.Overview
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.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
commandInternalVariablesCommand.Overview
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.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
commandRequirementsCommand.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
commandTestingAppsCommand.ROSApp
commandTestingVarsCommand.ROSApp
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.Overview, 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
Node 
1 (Type/Class)Command.ROSApp
2 (Data Constructor)Command.ROSApp
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