Print_AS_CSP_CASL.hs revision e3c9174a782e90f965a0b080c22861c3ef5af12d
01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maederinstance PrettyPrint C3PO where
351145cfe8c03b4d47133c96b209f2bd6cfbf504Christian Maeder printText0 ga (Named_c3po x) = printText0 ga x
f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maeder printText0 ga (C3po x) = printText0 ga x
01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maederinstance PrettyPrint NAMED_CSP_CASL_C_SPEC where
01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder printText0 ga (Named_csp_casl_spec sn c3spec) =
01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder ptext "ccspec" <+> printText0 ga sn <+> equals $$
f8b715ab2993083761c0aedb78f1819bcf67b6ccChristian Maeder nest 2 (printText0 ga c3spec) $$
ad270004874ce1d0697fb30d7309f180553bb315Christian Maederinstance PrettyPrint CSP_CASL_C_SPEC where
ad270004874ce1d0697fb30d7309f180553bb315Christian Maeder printText0 ga (Csp_casl_c_spec dd _cd _pd) =
5e46b572ed576c0494768998b043d9d340594122Till Mossakowski ptext "data" $$
db453fe9625a9dab5d108f7a5e464598814144b8Jian Chun Wang nest 2 (printText0 ga dd)
575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian Maederinstance PrettyPrint Basic_CSP_CASL_C_SPEC where
575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian Maeder printText0 ga (Basic_csp_casl_c_spec _cd _pd) =
db453fe9625a9dab5d108f7a5e464598814144b8Jian Chun Wang ptext "<not printable yet>"