{- |

Module : $Header$

Copyright : (c) Wiebke Herding, C. Maeder, Uni Bremen 2004-2006

License : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt

Maintainer : till@tzi.de

Stability : provisional

Portability : portable

pretty printing

-}

module COL.Print_AS where

import qualified Common.Lib.Set as Set

import qualified Common.Lib.Map as Map

--import Common.Lib.Pretty

import Common.PrettyPrint

import Common.PPUtils

import COL.AS_COL

import COL.COLSign

import Common.Doc

import CASL.ToDoc

import Common.Id

import CASL.Print_AS_Basic

import Common.DocUtils

instance PrettyPrint COL_SIG_ITEM where

printText0 = CASL.Print_AS_Basic.toText

instance Pretty COL_SIG_ITEM where

pretty = printCOL_SIG_ITEM

printCOL_SIG_ITEM :: COL_SIG_ITEM -> Doc

printCOL_SIG_ITEM csi = case csi of

Constructor_items ls _ -> text (constructorS ++ pluralS ls) <+>

semiAnnos idDoc ls

Observer_items ls _ -> text observerS <+>

semiAnnos (printPaar idDoc (printMaybe pretty)) ls

instance PrettyPrint COLSign where

printText0 = CASL.Print_AS_Basic.toText

instance Pretty COLSign where

pretty = printCOLSign

printCOLSign :: COLSign -> Doc

printCOLSign s = text constructorS <+>

(fsep $ punctuate semi $ map idDoc (Set.toList $ constructors s))

$+$ text observerS <+>

(fsep $ punctuate semi $

map (printPaar idDoc pretty) (Map.toList $ observers s))