Hets - the Heterogeneous Tool Set

Copyright(c) Andy Gimblett and Uni Bremen 2006
LicenseGPLv2 or higher, see LICENSE.txt
Maintainera.m.gimblett@swansea.ac.uk
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

CspCASL.Print_CspCASL

Description

Printing abstract syntax of CSP-CASL

Synopsis

Documentation

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

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

lglue :: PROCESS -> PROCESS -> Doc

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

hasRightCond :: PROCESS -> Bool

data Prio

Constructors

Prim 
Post 
Pre 
Seq 
Choice 
Par 
Cond 

Instances

procPrio :: PROCESS -> Prio

printEvent :: EVENT -> Doc

print an event.

printEventSet :: EVENT_SET -> Doc