Data.OgmaSpec

Abstract representation of an Ogma specification.

Documentation

data Spec a

Abstract representation of an Ogma specification.

Constructors

Spec

Fields

• internalVariables :: [InternalVariableDef]
• externalVariables :: [ExternalVariableDef]
• requirements :: [Requirement a]

Instances

Show a => Show (Spec a)

Defined in Data.OgmaSpec

Methods

showsPrec :: Int -> Spec a -> ShowS

show :: Spec a -> String

showList :: [Spec a] -> ShowS

data InternalVariableDef

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

Constructors

InternalVariableDef

Fields

• internalVariableName :: String
• internalVariableType :: String
• internalVariableExpr :: String

Instances

Show InternalVariableDef

Defined in Data.OgmaSpec

Methods

showsPrec :: Int -> InternalVariableDef -> ShowS

show :: InternalVariableDef -> String

showList :: [InternalVariableDef] -> ShowS

data ExternalVariableDef

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

Show ExternalVariableDef

Defined in Data.OgmaSpec

Methods

showsPrec :: Int -> ExternalVariableDef -> ShowS

show :: ExternalVariableDef -> String

showList :: [ExternalVariableDef] -> ShowS

data Requirement a

Requirement with a given name and a boolean expression.

Constructors

Requirement

Fields

• requirementName :: String
• requirementExpr :: a
• requirementDescription :: String
• requirementResultType :: Maybe String
• requirementResultExpr :: Maybe a

Instances

Show a => Show (Requirement a)

Defined in Data.OgmaSpec

Methods

showsPrec :: Int -> Requirement a -> ShowS

show :: Requirement a -> String

showList :: [Requirement a] -> ShowS