Print_AS_CSP_CASL.hs revision b4fbc96e05117839ca409f5f20f97b3ac872d1ed
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay{- |
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason LemayModule : $Header$
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason LemayCopyright : (c) Daniel Pratsch and Uni Bremen 2002-2003
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason LemayLicence : similar to LGPL, see HetCATS/LICENCE.txt or LIZENZ.txt
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason LemayMaintainer : M.Roggenbach@swansea.ac.uk
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason LemayStability : provisional
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason LemayPortability : portable
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemayprinting abstract syntax of CSP-CASL
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay-}
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemaymodule CspCASL.Print_AS_CSP_CASL where
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemayimport CspCASL.AS_CSP_CASL
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemayimport Common.PrettyPrint
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemayimport Common.Lib.Pretty
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemayimport CASL.Print_AS_Basic
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemayinstance PrettyPrint C3PO where
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay printText0 ga (Named_c3po x) = printText0 ga x
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay printText0 ga (C3po x) = printText0 ga x
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemayinstance PrettyPrint NAMED_CSP_CASL_C_SPEC where
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay printText0 ga (Named_csp_casl_spec sn c3spec) =
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay ptext "ccspec" <+> printText0 ga sn <+> equals $$
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay nest 2 (printText0 ga c3spec) $$
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay ptext "end"
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemayinstance PrettyPrint CSP_CASL_C_SPEC where
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay printText0 ga (Csp_casl_c_spec dd _cd _pd) =
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay ptext "data" $$
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay nest 2 (printText0 ga dd)
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemayinstance PrettyPrint Basic_CSP_CASL_C_SPEC where
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay printText0 ga (Basic_csp_casl_c_spec _cd _pd) =
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay ptext "<not printable yet>"
5f22ff8ce7baf0b39668468cc854eec3eb946003Jason Lemay