{- |

Module : $Header$

License : GPLv2 or higher, see LICENSE.txt

Maintainer : nevrenato@gmail.com

Stability : stable

Portability : portable

Description : List of utilities for Hybridized logic

-}

module TopHybrid.Utilities where

import qualified Data.Map as M

import Data.Maybe

import Control.Monad

import Common.AS_Annotation

import Common.Result

import Common.Id

-- | Builds a map from a list of tuples

buildMapFromList :: (Ord a) => [(a,b)] -> (M.Map a b)

buildMapFromList = foldl (\y (x,x') -> M.insert x x' y) M.empty

-- | List of message errors

msgsList :: [(Int,String)]

msgsList = [(0,msg0),(1,msg1),(2,msg2),(3,msg3),(4,msg4)]

where

msg0 = "Repeated nominals and/or modalities"

msg1 = "Nominal not found"

msg2 = "No static analyser for this logic"

msg3 = "The chosen logic doesn't exist, or isn't available for hybridization"

msg4 = "The chosen logic doesn't have a static analyser for formulas"

-- | Message errors as map

msgs :: M.Map Int String

msgs = buildMapFromList msgsList

-- | The generic error message

gErr :: String

gErr = "Unspecific error found"

-- | Lifter of the mkNamed function

liftName :: (Monad m) => String -> m a -> m (Named a)

liftName s = liftM $ makeNamed s

-- | Checks if a given computation was sucessfull, if not

-- gives an error message

-- | Must i need this ?

maybeE :: Int -> Maybe a -> a

maybeE i = fromMaybe $ error $ fromMaybe gErr msg

where msg = M.lookup i msgs

-- Gives an hint message

mkHint :: a -> String -> Result a

mkHint a s = hint a s nullRange