{- |

Module : $Header$

Description : raw symbol functions

Copyright : (c) Christian Maeder and Uni Bremen 2002-2003

License : GPLv2 or higher, see LICENSE.txt

Maintainer : Christian.Maeder@dfki.de

Stability : provisional

Portability : portable

raw symbols bridge symb items and the symbols of a signature

-}

module HasCASL.RawSym where

import HasCASL.As

import HasCASL.AsUtils

import HasCASL.Le

import HasCASL.Merge

import HasCASL.PrintLe()

import HasCASL.ClassAna

import HasCASL.VarDecl

import Common.DocUtils

import Common.Id

import Common.Result

import Common.Lib.State

import qualified Data.Map as Map

statSymbMapItems :: [SymbMapItems] -> Result RawSymbolMap

statSymbMapItems sl = do

rs <- mapM ( \ (SymbMapItems kind l _ _)

-> mapM (symbOrMapToRaw kind) l) sl

foldr ( \ (r1, r2) mm -> do

m <- mm

if Map.member r1 m then do

Result [Diag Error ("duplicate mapping for: " ++

showDoc r1 "\n ignoring: " ++ showDoc r2 "")

$ posOfId $ rawSymName r2] $ Just ()

return m

else return $ Map.insert r1 r2 m)

(return Map.empty) $ concat rs

symbOrMapToRaw :: SymbKind -> SymbOrMap -> Result (RawSymbol, RawSymbol)

symbOrMapToRaw k (SymbOrMap s mt _) = do

s1 <- symbToRaw k s

s2 <- symbToRaw k $ case mt of Nothing -> s

Just t -> t

return (s1, s2)

statSymbItems :: [SymbItems] -> Result [RawSymbol]

statSymbItems sl = do rs <- mapM (\ (SymbItems kind l _ _)

-> mapM (symbToRaw kind) l) sl

return $ concat rs

symbToRaw :: SymbKind -> Symb -> Result RawSymbol

symbToRaw k (Symb idt mt _) = case mt of

Nothing -> return $ symbKindToRaw k idt

Just (SymbType sc@(TypeScheme vs t _)) ->

let r = return $ AQualId idt $ OpAsItemType sc

rk = if null vs then Nothing else

convTypeToKind t

rrk = maybeToResult (getRange t)

("not a kind: " ++ showDoc t "") rk

in case k of

Implicit -> r

SyKop -> r

SyKfun -> r

SyKpred -> return $ AQualId idt $ OpAsItemType

$ predTypeScheme (posOfId idt) sc

SyKclass -> do

(_, ck) <- rrk

return $ AQualId idt $ ClassAsItemType ck

_ -> do

(_, ck) <- rrk

return $ AQualId idt $ TypeAsItemType ck

matchSymb :: Symbol -> RawSymbol -> Bool

matchSymb sy rsy = let ty = symType sy in

(&&) (symName sy == rawSymName rsy) $

case rsy of

AnID _ -> True

AKindedId k _ -> symbTypeToKind ty == k

AQualId _ _ -> maybe False (matchSymb sy) $

maybeResult $ matchQualId (symEnv sy) rsy

ASymbol s -> ty == symType s

anaSymbolType :: SymbolType Id -> State Env (Maybe (SymbolType ()))

anaSymbolType t = do

cm <- gets classMap

case t of

ClassAsItemType k -> do

let Result ds (Just rk) = anaKindM k cm

return $ if null ds then Just $ ClassAsItemType

$ nonVarRawKind rk else Nothing

TypeAsItemType k -> do

let Result ds (Just rk) = anaKindM k cm

return $ if null ds then Just $ TypeAsItemType

$ nonVarRawKind rk else Nothing

OpAsItemType sc -> do

asc <- anaTypeScheme sc

return $ fmap OpAsItemType asc

instance GetRange RawSymbol where

getRange = getRange . rawSymName

matchQualId :: Env -> RawSymbol -> Result RawSymbol

matchQualId e rsy =

case rsy of

AQualId i t ->

let mt = evalState (anaSymbolType t) e

{typeMap = addUnit (classMap e) $ typeMap e}

in case mt of

Nothing -> Result

[mkDiag Error "non-matching qualified symbol" rsy] Nothing

Just ty -> return $ ASymbol $ Symbol i ty e

_ -> return rsy

anaRawMap :: Env -> Env -> RawSymbolMap -> Result RawSymbolMap

anaRawMap s1 s2 =

Map.foldrWithKey ( \ i v rm -> do

m <- rm

j <- matchQualId s1 i

w <- matchQualId s2 v

case Map.lookup j m of

Nothing -> return $ Map.insert j w m

Just x -> Result [mkDiag Error "duplicate mapping for" i,

mkDiag Hint ("mapped to '"

++ showDoc x "' and '"

++ showDoc w "' from") j] Nothing)

$ return Map.empty