Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.OgmaSpec

Description

Abstract representation of an Ogma specification.

Synopsis

Documentation

Abstract representation of an Ogma specification.

Constructors

Spec
Fields internalVariables :: [InternalVariableDef] externalVariables :: [ExternalVariableDef] requirements :: [Requirement a]

Instances details

Show a => Show (Spec a) Source #
Instance details Defined in Data.OgmaSpec Methods showsPrec :: Int -> Spec a -> ShowS # show :: Spec a -> String # showList :: [Spec a] -> ShowS #

Internal variable definition, with a given name, its type and definining expression.

Constructors

InternalVariableDef
Fields internalVariableName :: String internalVariableType :: String internalVariableExpr :: String

Instances details

Show InternalVariableDef Source #
Instance details Defined in Data.OgmaSpec Methods showsPrec :: Int -> InternalVariableDef -> ShowS # show :: InternalVariableDef -> String # showList :: [InternalVariableDef] -> ShowS #

External variable definition, with a given name and type.

The value of external variables is assigned outside Copilot, so they have no defining expression in this type.

Constructors

ExternalVariableDef
Fields externalVariableName :: String externalVariableType :: String

Instances details

Show ExternalVariableDef Source #
Instance details Defined in Data.OgmaSpec Methods showsPrec :: Int -> ExternalVariableDef -> ShowS # show :: ExternalVariableDef -> String # showList :: [ExternalVariableDef] -> ShowS #

Requirement with a given name and a boolean expression.

Constructors

Requirement
Fields requirementName :: String requirementExpr :: a requirementDescription :: String

Instances details

Show a => Show (Requirement a) Source #
Instance details Defined in Data.OgmaSpec Methods showsPrec :: Int -> Requirement a -> ShowS # show :: Requirement a -> String # showList :: [Requirement a] -> ShowS #