{- |

Module : $Header$

Copyright : (c) Klaus L�ttich, Uni Bremen 2002-2006

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

Maintainer : luettich@tzi.de

Stability : provisional

Portability : non-portable(Grothendieck)

pretty printing for heterogenous libraries in HetCASL.

-}

module Syntax.Print_AS_Library where

import Common.PrettyPrint

import Common.Id

import Common.Doc

import Common.DocUtils

import Common.Keywords

import Syntax.AS_Structured

import Syntax.AS_Library

import Common.AS_Annotation

import Syntax.Print_AS_Architecture()

import Syntax.Print_AS_Structured

instance PrettyPrint LIB_DEFN where

printText0 = toOldText

instance Pretty LIB_DEFN where

pretty (Lib_defn aa ab _ ad) =

let aa' = pretty aa -- lib name

ab' = vsep $ map pretty ab -- LIB_ITEMs

ad' = vcat $ map pretty ad -- global ANNOTATIONs

in keyword libraryS <+> aa' $++$ ad' $++$ ab'

instance PrettyPrint LIB_ITEM where

printText0 = toOldText

instance Pretty LIB_ITEM where

pretty li =

let addLastSpace l = case l of

[] -> error "addLastSpace"

[x] -> [x <> space]

h : r -> h : addLastSpace r

in case li of

Spec_defn si (Genericity aa ab _) ac' _ ->

let las = l_annos ac'

(sa, ac) = if startsWithSemanticAnno las then

([equals <> space, annoDoc (head las)],

ac' { l_annos = tail las })

else ([equals], ac')

x : r = case skipVoidGroup $ item ac of

Extension e@(_ : _) _ ->

printExtension $ moveAnnos ac e

Union u@(_ : _) _ ->

printUnion $ moveAnnos ac u

_ -> [pretty ac]

sphead = fcat $ addLastSpace

(indexed (tokStr si) : printPARAMS aa

++ printIMPORTED ab) ++ sa

in vcat $ (topKey specS <+> vcat [sphead, x]) : r

++ [keyword endS]

View_defn si (Genericity aa ab _) (View_type frm to _) ad _ ->

let sphead = fcat $ addLastSpace

(structSimpleId si : printPARAMS aa

++ printIMPORTED ab) ++ [colon]

in topKey viewS <+>

fsep ([sphead, fsep [printGroupSpec frm,

keyword toS, printGroupSpec to]]

++ (if null ad then id else (equals :))

[fsep $ punctuate comma $ map pretty ad])

$+$ keyword endS

Arch_spec_defn si ab _ ->

topKey archS <+>

fsep[keyword specS, structSimpleId si, equals, pretty ab]

$+$ keyword endS

Unit_spec_defn si ab _ ->

topKey unitS <+>

fsep[keyword specS, structSimpleId si, equals, pretty ab]

$+$ keyword endS

Ref_spec_defn si ab _ ->

keyword refinementS <+>

fsep[structSimpleId si, equals, pretty ab]

$+$ keyword endS

Download_items l ab _ ->

topKey fromS <+> fsep ([pretty l, keyword getS] ++

punctuate comma (map pretty ab))

Syntax.AS_Library.Logic_decl aa _ ->

keyword logicS <+> pretty aa

instance PrettyPrint ITEM_NAME_OR_MAP where

printText0 = toOldText

instance Pretty ITEM_NAME_OR_MAP where

pretty l = case l of

Item_name aa -> structSimpleId aa

Item_name_map aa ab _ ->

fsep [structSimpleId aa, mapsto, structSimpleId ab]

instance Pretty LIB_NAME where

pretty l = case l of

Lib_version i v ->

fsep [pretty i, keyword versionS, pretty v]

Lib_id i -> pretty i

instance PrettyPrint LIB_NAME where

printText0 = toOldText

instance Pretty LIB_ID where

pretty l = structId $ case l of

Direct_link u _ -> u

Indirect_link p _ -> p

instance PrettyPrint LIB_ID where

printText0 = toOldText

instance Pretty VERSION_NUMBER where

pretty (Version_number aa _) =

hcat $ punctuate dot $ map (pretty . mkSimpleId) aa

instance PrettyPrint VERSION_NUMBER where

printText0 = toOldText