ogma-language-smv-1.7.0: Ogma: Runtime Monitor translator: SMV Language Frontend
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.SMV.PrintSMV

Description

Pretty-printer for Language.

Synopsis

Documentation

printTree :: Print a => a -> String Source #

The top-level printing method.

type Doc = [ShowS] -> [ShowS] Source #

class Print a where Source #

The printer class does the job.

Methods

prt :: Int -> a -> Doc Source #

Instances

Instances details
Print AdditiveOp Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> AdditiveOp -> Doc Source #

Print BoolConst Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> BoolConst -> Doc Source #

Print BoolSpec Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> BoolSpec -> Doc Source #

Print Ident Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> Ident -> Doc Source #

Print MultOp Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> MultOp -> Doc Source #

Print NumExpr Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> NumExpr -> Doc Source #

Print Number Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> Number -> Doc Source #

Print Op1Name Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> Op1Name -> Doc Source #

Print OpOne Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> OpOne -> Doc Source #

Print OpTwo Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> OpTwo -> Doc Source #

Print OrdOp Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> OrdOp -> Doc Source #

Print String Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> String -> Doc Source #

Print Integer Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> Integer -> Doc Source #

Print Char Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> Char -> Doc Source #

Print Double Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> Double -> Doc Source #

Print a => Print [a] Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> [a] -> Doc Source #

prPrec :: Int -> Int -> Doc -> Doc Source #