| Safe Haskell | None |
|---|
Language.Boogie.PrettyPrinter
Description
Pretty printer for Boogie 2
- programDoc :: Program -> Doc
- renderWithTabs :: Doc -> String
- typeDoc :: Type -> Doc
- exprDoc :: Expression -> Doc
- statementDoc :: Statement -> Doc
- declDoc :: Decl -> Doc
- fdefDoc :: Bool -> FDef -> Doc
- constraintSetDoc :: ConstraintSet -> Doc
- abstractStoreDoc :: AbstractStore -> Doc
- newline :: Doc
- vsep :: [Doc] -> Doc
- commaSep :: [Doc] -> Doc
- angles :: Doc -> Doc
- spaces :: Doc -> Doc
- option :: Bool -> Doc -> Doc
- optionMaybe :: Maybe t -> (t -> Doc) -> Doc
- unOpDoc :: UnOp -> Doc
- binOpDoc :: BinOp -> Doc
- sigDoc :: [Type] -> [Type] -> Doc
- nestDef :: Doc -> Doc
Pretty-printing programs
programDoc :: Program -> DocSource
Pretty-printed program
renderWithTabs :: Doc -> StringSource
Render document with tabs instead of spaces
exprDoc :: Expression -> DocSource
Pretty-printed expression
statementDoc :: Statement -> DocSource
Pretty-printed statement
Functions and procedures
fdefDoc :: Bool -> FDef -> DocSource
fdefDoc isDef fdef : fdef pretty-printed as definition if isDef and as constraint otherwise
constraintSetDoc :: ConstraintSet -> DocSource
Pretty-printed constraint set
abstractStoreDoc :: AbstractStore -> DocSource
Pretty-printed abstract store