ogma-core-1.7.0: Ogma: Helper tool to interoperate between Copilot and other languages.
Contents
Index
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.FPrimeApp
4 (Function)
Command.CFSApp
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.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
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.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
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.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
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