Copyright	(c) Andy Gimblett and Uni Bremen 2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	a.m.gimblett@swansea.ac.uk
Stability	provisional
Portability	portable
Safe Haskell	Safe

CspCASL.Print_CspCASL

Contents

Orphan instances

Description

Printing abstract syntax of CSP-CASL

Synopsis

printCspBasicExt :: CspBasicExt -> Doc
printCommAlpha :: CommAlpha -> Doc
printProcProfile :: ProcProfile -> Doc
printProcessName :: FQ_PROCESS_NAME -> Doc
printChanDecl :: CHANNEL_DECL -> Doc
printArgs :: Pretty a => [a] -> Doc
printProcItem :: PROC_ITEM -> Doc
printParmProcname :: PARM_PROCNAME -> Doc
printProcAlphabet :: PROC_ALPHABET -> Doc
printProcess :: PROCESS -> Doc
glue :: PROCESS -> PROCESS -> Doc
lglue :: PROCESS -> PROCESS -> Doc
hasRightCond :: PROCESS -> Bool
data Prio
- = Prim
- | Post
- | Pre
- | Seq
- | Choice
- | Par
- | Cond
procPrio :: PROCESS -> Prio
printEvent :: EVENT -> Doc
printEventSet :: EVENT_SET -> Doc

Documentation

printCspBasicExt :: CspBasicExt -> Doc Source #

printCommAlpha :: CommAlpha -> Doc Source #

printProcProfile :: ProcProfile -> Doc Source #

printProcessName :: FQ_PROCESS_NAME -> Doc Source #

printChanDecl :: CHANNEL_DECL -> Doc Source #

printArgs :: Pretty a => [a] -> Doc Source #

printProcItem :: PROC_ITEM -> Doc Source #

printParmProcname :: PARM_PROCNAME -> Doc Source #

printProcAlphabet :: PROC_ALPHABET -> Doc Source #

printProcess :: PROCESS -> Doc Source #

glue :: PROCESS -> PROCESS -> Doc Source #

the second argument is a right argument process of the first argument

lglue :: PROCESS -> PROCESS -> Doc Source #

the second argument is a left argument process of the first argument

hasRightCond :: PROCESS -> Bool Source #

data Prio Source #

Constructors

Prim
Post
Pre
Seq
Choice
Par
Cond

Instances

Instances details

Eq Prio Source #
Instance details Defined in CspCASL.Print_CspCASL Methods (==) :: Prio -> Prio -> Bool (/=) :: Prio -> Prio -> Bool
Ord Prio Source #
Instance details Defined in CspCASL.Print_CspCASL Methods compare :: Prio -> Prio -> Ordering (<) :: Prio -> Prio -> Bool (<=) :: Prio -> Prio -> Bool (>) :: Prio -> Prio -> Bool (>=) :: Prio -> Prio -> Bool max :: Prio -> Prio -> Prio min :: Prio -> Prio -> Prio

procPrio :: PROCESS -> Prio Source #

printEvent :: EVENT -> Doc Source #

print an event.

printEventSet :: EVENT_SET -> Doc Source #

Orphan instances

Pretty PROCESS Source #
Instance details Methods pretty :: PROCESS -> Doc Source # pretties :: [PROCESS] -> Doc Source #
Pretty CommType Source #
Instance details Methods pretty :: CommType -> Doc Source # pretties :: [CommType] -> Doc Source #
Pretty FQ_PROCESS_NAME Source #
Instance details Methods pretty :: FQ_PROCESS_NAME -> Doc Source # pretties :: [FQ_PROCESS_NAME] -> Doc Source #
Pretty ProcProfile Source #	Pretty printing for process profiles
Instance details Methods pretty :: ProcProfile -> Doc Source # pretties :: [ProcProfile] -> Doc Source #
Pretty RENAMING Source #
Instance details Methods pretty :: RENAMING -> Doc Source # pretties :: [RENAMING] -> Doc Source #
Pretty Rename Source #
Instance details Methods pretty :: Rename -> Doc Source # pretties :: [Rename] -> Doc Source #
Pretty EVENT_SET Source #
Instance details Methods pretty :: EVENT_SET -> Doc Source # pretties :: [EVENT_SET] -> Doc Source #
Pretty EVENT Source #
Instance details Methods pretty :: EVENT -> Doc Source # pretties :: [EVENT] -> Doc Source #
Pretty PARM_PROCNAME Source #
Instance details Methods pretty :: PARM_PROCNAME -> Doc Source # pretties :: [PARM_PROCNAME] -> Doc Source #
Pretty PROC_ITEM Source #
Instance details Methods pretty :: PROC_ITEM -> Doc Source # pretties :: [PROC_ITEM] -> Doc Source #
Pretty CHANNEL_DECL Source #
Instance details Methods pretty :: CHANNEL_DECL -> Doc Source # pretties :: [CHANNEL_DECL] -> Doc Source #
Pretty CspBasicExt Source #
Instance details Methods pretty :: CspBasicExt -> Doc Source # pretties :: [CspBasicExt] -> Doc Source #
ListCheck CHANNEL_DECL Source #
Instance details Methods innerList :: CHANNEL_DECL -> [()] Source #