ogma-language-smv-1.10.0: Ogma: Runtime Monitor translator: SMV Language Frontend

Safe Haskell | Safe-Inferred
Language | Haskell2010

Language.SMV.AbsSMV

Description

The abstract syntax of language SMV.

# Documentation

data BoolSpec Source #

Constructors

BoolSpecSignal Ident |
BoolSpecConst BoolConst |
BoolSpecNum NumExpr |
BoolSpecCmp BoolSpec OrdOp BoolSpec |
BoolSpecNeg BoolSpec |
BoolSpecAnd BoolSpec BoolSpec |
BoolSpecOr BoolSpec BoolSpec |
BoolSpecXor BoolSpec BoolSpec |
BoolSpecImplies BoolSpec BoolSpec |
BoolSpecEquivs BoolSpec BoolSpec |
BoolSpecOp1 OpOne BoolSpec |
BoolSpecOp2 BoolSpec OpTwo BoolSpec |

#### Instances

Instances details

Read BoolSpec Source # |
Instance details Defined in Language.SMV.AbsSMV Methods readsPrec :: Int -> ReadS BoolSpec Source # readList :: ReadS [BoolSpec] Source # readPrec :: ReadPrec BoolSpec Source # readListPrec :: ReadPrec [BoolSpec] Source #
Show BoolSpec Source # |
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> BoolSpec -> ShowS Source # show :: BoolSpec -> String Source # showList :: [BoolSpec] -> ShowS Source #
Eq BoolSpec Source # |
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: BoolSpec -> BoolSpec -> Bool Source # (/=) :: BoolSpec -> BoolSpec -> Bool Source #
Ord BoolSpec Source # |
Instance details Defined in Language.SMV.AbsSMV Methods compare :: BoolSpec -> BoolSpec -> Ordering Source # (<) :: BoolSpec -> BoolSpec -> Bool Source # (<=) :: BoolSpec -> BoolSpec -> Bool Source # (>) :: BoolSpec -> BoolSpec -> Bool Source # (>=) :: BoolSpec -> BoolSpec -> Bool Source # max :: BoolSpec -> BoolSpec -> BoolSpec Source # min :: BoolSpec -> BoolSpec -> BoolSpec Source #
Print BoolSpec Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> BoolSpec -> Doc Source #

data NumExpr Source #

Constructors

NumId Ident |
NumConstI Integer |
NumConstD Double |
NumAdd NumExpr AdditiveOp NumExpr |
NumMult NumExpr MultOp NumExpr |

#### Instances

Instances details

Read NumExpr Source # |
Instance details Defined in Language.SMV.AbsSMV Methods readsPrec :: Int -> ReadS NumExpr Source # readList :: ReadS [NumExpr] Source # readPrec :: ReadPrec NumExpr Source # readListPrec :: ReadPrec [NumExpr] Source #
Show NumExpr Source # |
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> NumExpr -> ShowS Source # show :: NumExpr -> String Source # showList :: [NumExpr] -> ShowS Source #
Eq NumExpr Source # |
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: NumExpr -> NumExpr -> Bool Source # (/=) :: NumExpr -> NumExpr -> Bool Source #
Ord NumExpr Source # |
Instance details Defined in Language.SMV.AbsSMV Methods compare :: NumExpr -> NumExpr -> Ordering Source # (<) :: NumExpr -> NumExpr -> Bool Source # (<=) :: NumExpr -> NumExpr -> Bool Source # (>) :: NumExpr -> NumExpr -> Bool Source # (>=) :: NumExpr -> NumExpr -> Bool Source # max :: NumExpr -> NumExpr -> NumExpr Source # min :: NumExpr -> NumExpr -> NumExpr Source #
Print NumExpr Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> NumExpr -> Doc Source #

data AdditiveOp Source #

Constructors

OpPlus |
OpMinus |

#### Instances

Instances details

Read AdditiveOp Source # |
Instance details Defined in Language.SMV.AbsSMV Methods readsPrec :: Int -> ReadS AdditiveOp Source # readList :: ReadS [AdditiveOp] Source # readPrec :: ReadPrec AdditiveOp Source # readListPrec :: ReadPrec [AdditiveOp] Source #
Show AdditiveOp Source # |
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> AdditiveOp -> ShowS Source # show :: AdditiveOp -> String Source # showList :: [AdditiveOp] -> ShowS Source #
Eq AdditiveOp Source # |
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: AdditiveOp -> AdditiveOp -> Bool Source # (/=) :: AdditiveOp -> AdditiveOp -> Bool Source #
Ord AdditiveOp Source # |

Instance details

Defined in Language.SMV.AbsSMV

Methods

compare :: AdditiveOp -> AdditiveOp -> Ordering Source #

(<) :: AdditiveOp -> AdditiveOp -> Bool Source #

(<=) :: AdditiveOp -> AdditiveOp -> Bool Source #

(>) :: AdditiveOp -> AdditiveOp -> Bool Source #

(>=) :: AdditiveOp -> AdditiveOp -> Bool Source #

max :: AdditiveOp -> AdditiveOp -> AdditiveOp Source #

min :: AdditiveOp -> AdditiveOp -> AdditiveOp Source #

Print AdditiveOp Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> AdditiveOp -> Doc Source #

data MultOp Source #

Constructors

OpTimes |
OpDiv |

#### Instances

Instances details

Read MultOp Source # |
Instance details Defined in Language.SMV.AbsSMV Methods readsPrec :: Int -> ReadS MultOp Source # readList :: ReadS [MultOp] Source # readPrec :: ReadPrec MultOp Source # readListPrec :: ReadPrec [MultOp] Source #
Show MultOp Source # |
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> MultOp -> ShowS Source # show :: MultOp -> String Source # showList :: [MultOp] -> ShowS Source #
Eq MultOp Source # |
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: MultOp -> MultOp -> Bool Source # (/=) :: MultOp -> MultOp -> Bool Source #
Ord MultOp Source # |
Instance details Defined in Language.SMV.AbsSMV Methods compare :: MultOp -> MultOp -> Ordering Source # (<) :: MultOp -> MultOp -> Bool Source # (<=) :: MultOp -> MultOp -> Bool Source # (>) :: MultOp -> MultOp -> Bool Source # (>=) :: MultOp -> MultOp -> Bool Source # max :: MultOp -> MultOp -> MultOp Source # min :: MultOp -> MultOp -> MultOp Source #
Print MultOp Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> MultOp -> Doc Source #

data BoolConst Source #

Constructors

BoolConstTrue |
BoolConstFalse |
BoolConstFTP |
BoolConstLAST |

#### Instances

Instances details

Read BoolConst Source # |
Instance details Defined in Language.SMV.AbsSMV Methods readsPrec :: Int -> ReadS BoolConst Source # readList :: ReadS [BoolConst] Source # readPrec :: ReadPrec BoolConst Source # readListPrec :: ReadPrec [BoolConst] Source #
Show BoolConst Source # |
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> BoolConst -> ShowS Source # show :: BoolConst -> String Source # showList :: [BoolConst] -> ShowS Source #
Eq BoolConst Source # |
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: BoolConst -> BoolConst -> Bool Source # (/=) :: BoolConst -> BoolConst -> Bool Source #
Ord BoolConst Source # |

Instance details

Defined in Language.SMV.AbsSMV

Methods

compare :: BoolConst -> BoolConst -> Ordering Source #

(<) :: BoolConst -> BoolConst -> Bool Source #

(<=) :: BoolConst -> BoolConst -> Bool Source #

(>) :: BoolConst -> BoolConst -> Bool Source #

(>=) :: BoolConst -> BoolConst -> Bool Source #

max :: BoolConst -> BoolConst -> BoolConst Source #

min :: BoolConst -> BoolConst -> BoolConst Source #

Print BoolConst Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> BoolConst -> Doc Source #

data OpOne Source #

Constructors

Op1Alone Op1Name |
Op1MTL Op1Name OrdOp Number |
Op1MTLRange Op1Name Number Number |

#### Instances

Instances details

Read OpOne Source # |
Instance details Defined in Language.SMV.AbsSMV Methods readsPrec :: Int -> ReadS OpOne Source # readList :: ReadS [OpOne] Source # readPrec :: ReadPrec OpOne Source # readListPrec :: ReadPrec [OpOne] Source #
Show OpOne Source # |
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> OpOne -> ShowS Source # show :: OpOne -> String Source # showList :: [OpOne] -> ShowS Source #
Eq OpOne Source # |
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: OpOne -> OpOne -> Bool Source # (/=) :: OpOne -> OpOne -> Bool Source #
Ord OpOne Source # |
Instance details Defined in Language.SMV.AbsSMV Methods compare :: OpOne -> OpOne -> Ordering Source # (<) :: OpOne -> OpOne -> Bool Source # (<=) :: OpOne -> OpOne -> Bool Source # (>) :: OpOne -> OpOne -> Bool Source # (>=) :: OpOne -> OpOne -> Bool Source # max :: OpOne -> OpOne -> OpOne Source # min :: OpOne -> OpOne -> OpOne Source #
Print OpOne Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> OpOne -> Doc Source #

data Number Source #

Constructors

NumberInt Integer |

#### Instances

Instances details

Read Number Source # |
Instance details Defined in Language.SMV.AbsSMV Methods readsPrec :: Int -> ReadS Number Source # readList :: ReadS [Number] Source # readPrec :: ReadPrec Number Source # readListPrec :: ReadPrec [Number] Source #
Show Number Source # |
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> Number -> ShowS Source # show :: Number -> String Source # showList :: [Number] -> ShowS Source #
Eq Number Source # |
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: Number -> Number -> Bool Source # (/=) :: Number -> Number -> Bool Source #
Ord Number Source # |
Instance details Defined in Language.SMV.AbsSMV Methods compare :: Number -> Number -> Ordering Source # (<) :: Number -> Number -> Bool Source # (<=) :: Number -> Number -> Bool Source # (>) :: Number -> Number -> Bool Source # (>=) :: Number -> Number -> Bool Source # max :: Number -> Number -> Number Source # min :: Number -> Number -> Number Source #
Print Number Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> Number -> Doc Source #

data OrdOp Source #

Constructors

OrdOpLT |
OrdOpLE |
OrdOpEQ |
OrdOpNE |
OrdOpGT |
OrdOpGE |

#### Instances

Instances details

Read OrdOp Source # |
Instance details Defined in Language.SMV.AbsSMV Methods readsPrec :: Int -> ReadS OrdOp Source # readList :: ReadS [OrdOp] Source # readPrec :: ReadPrec OrdOp Source # readListPrec :: ReadPrec [OrdOp] Source #
Show OrdOp Source # |
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> OrdOp -> ShowS Source # show :: OrdOp -> String Source # showList :: [OrdOp] -> ShowS Source #
Eq OrdOp Source # |
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: OrdOp -> OrdOp -> Bool Source # (/=) :: OrdOp -> OrdOp -> Bool Source #
Ord OrdOp Source # |
Instance details Defined in Language.SMV.AbsSMV Methods compare :: OrdOp -> OrdOp -> Ordering Source # (<) :: OrdOp -> OrdOp -> Bool Source # (<=) :: OrdOp -> OrdOp -> Bool Source # (>) :: OrdOp -> OrdOp -> Bool Source # (>=) :: OrdOp -> OrdOp -> Bool Source # max :: OrdOp -> OrdOp -> OrdOp Source # min :: OrdOp -> OrdOp -> OrdOp Source #
Print OrdOp Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> OrdOp -> Doc Source #

data Op1Name Source #

Constructors

Op1Pre |
Op1X |
Op1G |
Op1F |
Op1Y |
Op1Z |
Op1Hist |
Op1O |

#### Instances

Instances details

Read Op1Name Source # |
Instance details Defined in Language.SMV.AbsSMV Methods readsPrec :: Int -> ReadS Op1Name Source # readList :: ReadS [Op1Name] Source # readPrec :: ReadPrec Op1Name Source # readListPrec :: ReadPrec [Op1Name] Source #
Show Op1Name Source # |
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> Op1Name -> ShowS Source # show :: Op1Name -> String Source # showList :: [Op1Name] -> ShowS Source #
Eq Op1Name Source # |
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: Op1Name -> Op1Name -> Bool Source # (/=) :: Op1Name -> Op1Name -> Bool Source #
Ord Op1Name Source # |
Instance details Defined in Language.SMV.AbsSMV Methods compare :: Op1Name -> Op1Name -> Ordering Source # (<) :: Op1Name -> Op1Name -> Bool Source # (<=) :: Op1Name -> Op1Name -> Bool Source # (>) :: Op1Name -> Op1Name -> Bool Source # (>=) :: Op1Name -> Op1Name -> Bool Source # max :: Op1Name -> Op1Name -> Op1Name Source # min :: Op1Name -> Op1Name -> Op1Name Source #
Print Op1Name Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> Op1Name -> Doc Source #

data OpTwo Source #

Constructors

Op2S |
Op2T |
Op2V |
Op2U |

#### Instances

Instances details

Read OpTwo Source # |
Instance details Defined in Language.SMV.AbsSMV Methods readsPrec :: Int -> ReadS OpTwo Source # readList :: ReadS [OpTwo] Source # readPrec :: ReadPrec OpTwo Source # readListPrec :: ReadPrec [OpTwo] Source #
Show OpTwo Source # |
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> OpTwo -> ShowS Source # show :: OpTwo -> String Source # showList :: [OpTwo] -> ShowS Source #
Eq OpTwo Source # |
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: OpTwo -> OpTwo -> Bool Source # (/=) :: OpTwo -> OpTwo -> Bool Source #
Ord OpTwo Source # |
Instance details Defined in Language.SMV.AbsSMV Methods compare :: OpTwo -> OpTwo -> Ordering Source # (<) :: OpTwo -> OpTwo -> Bool Source # (<=) :: OpTwo -> OpTwo -> Bool Source # (>) :: OpTwo -> OpTwo -> Bool Source # (>=) :: OpTwo -> OpTwo -> Bool Source # max :: OpTwo -> OpTwo -> OpTwo Source # min :: OpTwo -> OpTwo -> OpTwo Source #
Print OpTwo Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> OpTwo -> Doc Source #

newtype Ident Source #

Constructors

Ident String |

#### Instances

Instances details

IsString Ident Source # |
Instance details Defined in Language.SMV.AbsSMV Methods fromString :: String -> Ident Source #
Read Ident Source # |
Instance details Defined in Language.SMV.AbsSMV Methods readsPrec :: Int -> ReadS Ident Source # readList :: ReadS [Ident] Source # readPrec :: ReadPrec Ident Source # readListPrec :: ReadPrec [Ident] Source #
Show Ident Source # |
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> Ident -> ShowS Source # show :: Ident -> String Source # showList :: [Ident] -> ShowS Source #
Eq Ident Source # |
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: Ident -> Ident -> Bool Source # (/=) :: Ident -> Ident -> Bool Source #
Ord Ident Source # |
Instance details Defined in Language.SMV.AbsSMV Methods compare :: Ident -> Ident -> Ordering Source # (<) :: Ident -> Ident -> Bool Source # (<=) :: Ident -> Ident -> Bool Source # (>) :: Ident -> Ident -> Bool Source # (>=) :: Ident -> Ident -> Bool Source # max :: Ident -> Ident -> Ident Source # min :: Ident -> Ident -> Ident Source #
Print Ident Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> Ident -> Doc Source #