{-|

Module : $Header$

Copyright : (c) Maciek Makowski, Uni Bremen 2002-2004

Licence : similar to LGPL, see HetCATS/LICENCE.txt or LIZENZ.txt

Maintainer : hets@tzi.de

Stability : provisional

Portability : non-portable(Grothendieck)

Parsing the specification library.

Follows Sect. II:3.1.5 of the CASL Reference Manual.

-}

{-

www.cofi.info

from 25 March 2001

C.2.4 Specification Libraries

TODO:

- architectural specs

- move structured parsing from libItem to Parse_AS_Structured (?)

-}

module Syntax.Parse_AS_Library where

import Logic.Grothendieck

import Logic.Logic

import Syntax.AS_Structured

-- import Syntax.AS_Architecture

import Syntax.AS_Library

import Syntax.Parse_AS_Structured

import Syntax.Parse_AS_Architecture

import Common.AS_Annotation

import Common.AnnoState

import Common.Id(tokPos)

import Common.Keywords

import Common.Lexer

import Common.Token

import Text.ParserCombinators.Parsec

import Common.Id

import Data.List(intersperse)

import Data.Maybe(maybeToList)

------------------------------------------------------------------------

-- * Parsing functions

-- | Parse a library of specifications

library :: (AnyLogic,LogicGraph) -> AParser AnyLogic LIB_DEFN

library (l,lG) =

do setUserState l

(ps, ln) <- option ([], Lib_id $ Indirect_link libraryS [])

(do s1 <- asKey libraryS -- 'library' keyword

n <- libName -- library name

return ([tokPos s1], n))

an <- annos -- annotations

ls <- libItems lG -- library elements

return (Lib_defn ln ls ps an)

-- | Parse library name

libName :: AParser st LIB_NAME

libName = do libid <- libId

v <- option Nothing (fmap Just version)

return (case v of

Nothing -> Lib_id libid

Just v1 -> Lib_version libid v1)

-- | Parse the library version

version :: AParser st VERSION_NUMBER

version = do s <- asKey versionS

pos <- getPos

n <- many1 digit `sepBy1` (string ".")

skip

return (Version_number n ([tokPos s, pos]))

-- | Parse library ID

libId :: AParser st LIB_ID

libId = do pos <- getPos

path <- scanAnyWords `sepBy1` (string "/")

skip

return (Indirect_link (concat (intersperse "/" path)) [pos])

-- ??? URL need to be added

-- | Parse the library elements

libItems :: LogicGraph -> AParser AnyLogic [Annoted LIB_ITEM]

libItems l =

(eof >> return [])

<|> do r <- libItem l

an <- annos

is <- libItems l

return ((Annoted r [] [] an) : is)

-- | Parse an element of the library

libItem :: LogicGraph -> AParser AnyLogic LIB_ITEM

libItem l =

-- spec defn

do s <- asKey specS

n <- simpleId

g <- generics l

e <- asKey equalS

a <- aSpec l

q <- optEnd

return (Syntax.AS_Library.Spec_defn n g a

(map tokPos ([s, e] ++ maybeToList q)))

<|> -- view defn

do s1 <- asKey viewS

vn <- simpleId

g <- generics l

s2 <- asKey ":"

vt <- viewType l

(symbMap,ps) <- option ([],[])

(do s <- asKey equalS

(m, _) <- parseMapping l

return (m,[s]))

q <- optEnd

return (Syntax.AS_Library.View_defn vn g vt symbMap

(map tokPos ([s1, s2] ++ ps ++ maybeToList q)))

<|> -- unit spec

do kUnit <- asKey unitS

kSpec <- asKey specS

name <- simpleId

kEqu <- asKey equalS

usp <- unitSpec l

kEnd <- optEnd

return (Syntax.AS_Library.Unit_spec_defn name usp

(map tokPos ([kUnit, kSpec, kEqu] ++ maybeToList kEnd))

)

<|> -- ref spec

do kRef <- asKey refinementS

name <- simpleId

kEqu <- asKey equalS

rsp <- refSpec l

kEnd <- optEnd

return (Syntax.AS_Library.Ref_spec_defn name rsp

(map tokPos ([kRef, kEqu] ++ maybeToList kEnd))

)

<|> -- arch spec

do kArch <- asKey archS

kSpec <- asKey specS

name <- simpleId

kEqu <- asKey equalS

asp <- annotedArchSpec l

kEnd <- optEnd

return (Syntax.AS_Library.Arch_spec_defn name asp

(map tokPos ([kArch, kSpec, kEqu] ++ maybeToList kEnd))

)

<|> -- download

do s1 <- asKey fromS

ln <- libName

s2 <- asKey getS

(il,ps) <- itemNameOrMap `separatedBy` anComma

q <- optEnd

return (Download_items ln il

(map tokPos ([s1, s2] ++ ps ++ maybeToList q)))

<|> -- logic

do s1 <- asKey logicS

logN@(Logic_name t _) <- logicName

lookupAndSetLogicName logN l

return (Logic_decl logN (map tokPos [s1,t]))

<|> -- just a spec (turned into "spec spec = sp")

do a <- aSpec l

return (Syntax.AS_Library.Spec_defn (mkSimpleId specS)

(Genericity (Params []) (Imported []) []) a [])

-- | Parse view type

viewType :: LogicGraph -> AParser AnyLogic VIEW_TYPE

viewType l = do sp1 <- annoParser (groupSpec l)

s <- asKey toS

sp2 <- annoParser (groupSpec l)

return (View_type sp1 sp2 [tokPos s])

-- | Parse item name or name map

itemNameOrMap :: AParser st ITEM_NAME_OR_MAP

itemNameOrMap = do i1 <- simpleId

i' <- option Nothing (do

s <- asKey "|->"

i <- simpleId

return (Just (i,s)))

return (case i' of

Nothing -> Item_name i1

Just (i2,s) -> Item_name_map i1 i2 [tokPos s])