ogma-spec-1.14.0: Ogma: Runtime Monitor translator: JSON Frontend

Index

ExternalVariableDef |
1 (Type/Class) | Data.OgmaSpec
2 (Data Constructor) | Data.OgmaSpec
externalVariableName | Data.OgmaSpec
externalVariables | Data.OgmaSpec
externalVariableType | Data.OgmaSpec
InternalVariableDef |
1 (Type/Class) | Data.OgmaSpec
2 (Data Constructor) | Data.OgmaSpec
internalVariableExpr | Data.OgmaSpec
internalVariableName | Data.OgmaSpec
internalVariables | Data.OgmaSpec
internalVariableType | Data.OgmaSpec
Requirement |
1 (Type/Class) | Data.OgmaSpec
2 (Data Constructor) | Data.OgmaSpec
requirementDescription | Data.OgmaSpec
requirementExpr | Data.OgmaSpec
requirementName | Data.OgmaSpec
requirementResultExpr | Data.OgmaSpec
requirementResultType | Data.OgmaSpec
requirements | Data.OgmaSpec
Spec |
1 (Type/Class) | Data.OgmaSpec
2 (Data Constructor) | Data.OgmaSpec