Hets - the Heterogeneous Tool Set
Copyright(c) Simon Ulbricht DFKI GmbH 2011
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertekknix@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable (DevGraph)
Safe HaskellNone

Static.XGraph

Description

convert an Xml-Graph into an XGraph-Structure.

Synopsis

Documentation

data XGraph Source #

Instances

Instances details
Data XGraph Source # 
Instance details

Defined in Static.XGraph

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> XGraph -> c XGraph

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c XGraph

toConstr :: XGraph -> Constr

dataTypeOf :: XGraph -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c XGraph)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c XGraph)

gmapT :: (forall b. Data b => b -> b) -> XGraph -> XGraph

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> XGraph -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> XGraph -> r

gmapQ :: (forall d. Data d => d -> u) -> XGraph -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> XGraph -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> XGraph -> m XGraph

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> XGraph -> m XGraph

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> XGraph -> m XGraph

ShATermLG XGraph Source # 
Instance details

Defined in ATC.XGraph

Methods

toShATermLG :: ATermTable -> XGraph -> IO (ATermTable, Int) Source #

fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, XGraph) Source #

type XTree = [[([XLink], XNode)]] Source #

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

data XNode Source #

Constructors

XNode 

Fields

XRef 

Fields

Instances

Instances details
Data XNode Source # 
Instance details

Defined in Static.XGraph

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 :: forall r r'. (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 # 
Instance details

Defined in Static.XGraph

Methods

showsPrec :: Int -> XNode -> ShowS

show :: XNode -> String

showList :: [XNode] -> ShowS

ShATermLG XNode Source # 
Instance details

Defined in ATC.XGraph

Methods

toShATermLG :: ATermTable -> XNode -> IO (ATermTable, Int) Source #

fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, XNode) Source #

data XLink Source #

Constructors

XLink 

Fields

Instances

xGraph :: Element -> Result XGraph Source #

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

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

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

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

extractNodeName :: MonadFail m => Element -> m NodeName Source #

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

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

readEdgeId :: String -> EdgeId Source #

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

custom xml-search for not only immediate children

extractGlobalAnnos :: Element -> Result GlobalAnnos Source #

extracts the global annotations from the xml-graph