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.
- data XGraph = XGraph {
- libName :: LibName
- globAnnos :: GlobalAnnos
- nextLinkId :: EdgeId
- thmLinks :: [XLink]
- startNodes :: [XNode]
- xg_body :: XTree
- type XTree = [[([XLink], XNode)]]
- type EdgeMap = Map String (Map String [XLink])
- data XNode
- data XLink = XLink {
- source :: String
- target :: String
- edgeId :: EdgeId
- lType :: DGEdgeType
- rule :: DGRule
- cons :: Conservativity
- prBasis :: ProofBasis
- mr_name :: String
- mr_source :: Maybe String
- mapping :: String
- insertXLink :: XLink -> EdgeMap -> EdgeMap
- mkEdgeMap :: [XLink] -> EdgeMap
- xGraph :: Element -> Result XGraph
- builtXGraph :: Monad m => Set String -> EdgeMap -> Map String XNode -> XTree -> m XTree
- extractXNodes :: Monad m => Element -> m [XNode]
- extractXLinks :: Monad m => Element -> m [XLink]
- mkXNode :: Monad m => Element -> m XNode
- extractNodeName :: Monad m => Element -> m NodeName
- mkXLink :: Monad m => Element -> m XLink
- readCons :: Element -> Conservativity
- extractEdgeId :: Monad m => Element -> m EdgeId
- readEdgeId :: String -> EdgeId
- deepSearch :: [String] -> Element -> [Element]
- extractGlobalAnnos :: Element -> Result GlobalAnnos
- parseAnnotations :: Element -> Result GlobalAnnos
Documentation
Constructors
XGraph | |
Fields
|
extractXNodes :: Monad m => Element -> m [XNode] Source #
extractXLinks :: Monad m => Element -> m [XLink] Source #
extractNodeName :: Monad m => Element -> m NodeName Source #
readCons :: Element -> Conservativity Source #
extractEdgeId :: Monad 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
parseAnnotations :: Element -> Result GlobalAnnos Source #