Hets - the Heterogeneous Tool Set

Copyright(c) Klaus Luettich Christian Maeder and Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe

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

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

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

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