Copyright	(c) Simon Ulbricht DFKI GmbH 2011
License	GPLv2 or higher, see LICENSE.txt
Maintainer	tekknix@informatik.uni-bremen.de
Stability	provisional
Portability	non-portable (DevGraph)
Safe Haskell	None

Static.XGraph

Description

convert an Xml-Graph into an XGraph-Structure.

Synopsis

Documentation

Constructors

XGraph
Fields libName :: LibName globAnnos :: GlobalAnnos nextLinkId :: EdgeId thmLinks :: [XLink] startNodes :: [XNode] xg_body :: XTree

Instances

type EdgeMap = Map String (Map String [XLink]) Source #

Constructors

XNode
Fields nodeName :: NodeName logicName :: String symbs :: (Bool, String) hidden? specs :: String Sentences nd_cons :: Conservativity
XRef
Fields nodeName :: NodeName refNode :: String refLib :: String specs :: String Sentences

Instances

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

Constructors

XLink
Fields source :: String target :: String edgeId :: EdgeId lType :: DGEdgeType rule :: DGRule cons :: Conservativity prBasis :: ProofBasis mr_name :: String mr_source :: Maybe String mapping :: String

Instances

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

builtXGraph :: Monad m => Set String -> EdgeMap -> Map String XNode -> XTree -> m XTree Source #

extractXNodes :: Monad m => Element -> m [XNode] Source #

extractXLinks :: Monad m => Element -> m [XLink] Source #

mkXNode :: Monad m => Element -> m XNode Source #

mkXLink :: Monad m => Element -> m XLink Source #

extractEdgeId :: Monad m => Element -> m EdgeId Source #

deepSearch :: [String] -> Element -> [Element] Source #

custom xml-search for not only immediate children

extracts the global annotations from the xml-graph