Copyright	(c) Klaus Luettich Christian Maeder and Uni Bremen 2002-2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	experimental
Portability	portable
Safe Haskell	Safe

Common.GlobalAnnotations

Description

Data structures for global annotations

Synopsis

Documentation

data GlobalAnnos Source #

all global annotations and a field for pretty printing stuff

Constructors

GA
Fields prec_annos :: PrecedenceGraph precedences assoc_annos :: AssocMap associativity display_annos :: DisplayMap display annotations literal_annos :: LiteralAnnos literal annotations literal_map :: LiteralMap redundant literal map prefix_map :: PrefixMap abbreviated IRI prefixes

Instances

Eq GlobalAnnos Source #
Methods (==) :: GlobalAnnos -> GlobalAnnos -> Bool (/=) :: GlobalAnnos -> GlobalAnnos -> Bool
Data GlobalAnnos Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GlobalAnnos -> c GlobalAnnos gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GlobalAnnos toConstr :: GlobalAnnos -> Constr dataTypeOf :: GlobalAnnos -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c GlobalAnnos) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GlobalAnnos) gmapT :: (forall b. Data b => b -> b) -> GlobalAnnos -> GlobalAnnos gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GlobalAnnos -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GlobalAnnos -> r gmapQ :: (forall d. Data d => d -> u) -> GlobalAnnos -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> GlobalAnnos -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> GlobalAnnos -> m GlobalAnnos gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GlobalAnnos -> m GlobalAnnos gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GlobalAnnos -> m GlobalAnnos
Show GlobalAnnos Source #
Methods showsPrec :: Int -> GlobalAnnos -> ShowS show :: GlobalAnnos -> String showList :: [GlobalAnnos] -> ShowS
ShATermLG GlobalAnnos Source #
Methods toShATermLG :: ATermTable -> GlobalAnnos -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, GlobalAnnos) Source #

emptyGlobalAnnos :: GlobalAnnos Source #

empty (or initial) global annotations

data LiteralAnnos Source #

literal annotations for string, lists, number and floating

Constructors

LA
Fields string_lit :: Maybe (Id, Id) list_lit :: Map Id (Id, Id) number_lit :: Maybe Id float_lit :: Maybe (Id, Id)

Instances

Eq LiteralAnnos Source #
Methods (==) :: LiteralAnnos -> LiteralAnnos -> Bool (/=) :: LiteralAnnos -> LiteralAnnos -> Bool
Data LiteralAnnos Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LiteralAnnos -> c LiteralAnnos gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LiteralAnnos toConstr :: LiteralAnnos -> Constr dataTypeOf :: LiteralAnnos -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c LiteralAnnos) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LiteralAnnos) gmapT :: (forall b. Data b => b -> b) -> LiteralAnnos -> LiteralAnnos gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LiteralAnnos -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LiteralAnnos -> r gmapQ :: (forall d. Data d => d -> u) -> LiteralAnnos -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> LiteralAnnos -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> LiteralAnnos -> m LiteralAnnos gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LiteralAnnos -> m LiteralAnnos gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LiteralAnnos -> m LiteralAnnos
Show LiteralAnnos Source #
Methods showsPrec :: Int -> LiteralAnnos -> ShowS show :: LiteralAnnos -> String showList :: [LiteralAnnos] -> ShowS

emptyLiteralAnnos :: LiteralAnnos Source #

empty literal annotations

type DisplayMap = Map Id (Map Display_format [Token]) Source #

ids to be displayed according to a format

type LiteralMap = Map Id LiteralType Source #

a redundant map for LiteralAnnos

type PrefixMap = Map String IRI Source #

a map for expansion of abbreviated/simple IRI to full IRI

data LiteralType Source #

description of the type of a literal for a given Id in LiteralMap

Constructors

StringCons Id	refer to the `Id` of the null string
StringNull
ListCons Id Id	brackets (as `Id`) and `Id` of matching empty list
ListNull Id	brackets (as `Id`) for the empty list
Number
Fraction
Floating
NoLiteral	and error value for a `getLiteralType`

Instances

Eq LiteralType Source #
Methods (==) :: LiteralType -> LiteralType -> Bool (/=) :: LiteralType -> LiteralType -> Bool
Data LiteralType Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LiteralType -> c LiteralType gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LiteralType toConstr :: LiteralType -> Constr dataTypeOf :: LiteralType -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c LiteralType) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LiteralType) gmapT :: (forall b. Data b => b -> b) -> LiteralType -> LiteralType gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LiteralType -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LiteralType -> r gmapQ :: (forall d. Data d => d -> u) -> LiteralType -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> LiteralType -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> LiteralType -> m LiteralType gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LiteralType -> m LiteralType gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LiteralType -> m LiteralType
Show LiteralType Source #
Methods showsPrec :: Int -> LiteralType -> ShowS show :: LiteralType -> String showList :: [LiteralType] -> ShowS

getLiteralType :: GlobalAnnos -> Id -> LiteralType Source #

the LiteralType of an Id (possibly NoLiteral)

type AssocMap = Map Id AssocEither Source #

a map of associative ids

isAssoc :: AssocEither -> AssocMap -> Id -> Bool Source #

check if Id has a given associativity

type PrecedenceGraph = Rel Id Source #

a binary relation over ids as precedence graph

precRel Source #

Arguments

:: PrecedenceGraph	Graph describing the precedences
-> Id	x oID (y iid z) -- outer id
-> Id	x oid (y iID z) -- inner id
-> PrecRel

return precedence relation of two ids

lookupDisplay :: GlobalAnnos -> Display_format -> Id -> Maybe [Token] Source #

lookup of an display [string] in the GlobalAnnos record