Changeset 11215 for trunk/CspCASL/Print_CspCASL.hs

Timestamp:

05.01.2009 15:46:06 (11 months ago)

Author:

csliam

Message:

Large commit - improved static analysis of cspcasl and translation of cspcasl to isabelle

Files:

• trunk/CspCASL/Print_CspCASL.hs (modified) (2 diffs)

trunk/CspCASL/Print_CspCASL.hs

@@ -24 +24 @@
 import CspCASL.CspCASL_Keywords
 
-instance Pretty CspCASLSentence where
-    pretty _ = empty
+import qualified Data.Set as S
+
 
 instance Pretty CspBasicSpec where
@@ -145 +145 @@
          alpar_close <+> (glue pr q)
         )
+    FQProcess p commAlpha _ ->
+        let commAlphaList = S.toList commAlpha
+            prettyComms cs = sepByCommas (map pretty cs)
+        in brackets(pretty p) <> text "_" <> braces (prettyComms commAlphaList)
+
+instance Pretty CommType where
+    pretty (CommTypeSort s) = pretty s
+    pretty (CommTypeChan (TypedChanName c s)) =  parens (sepByCommas [pretty c, pretty s])
+
 
 -- glue and prec_comp decide whether the child in the parse tree needs