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

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
- = XNode {
  - nodeName :: NodeName
  - logicName :: String
  - symbs :: (Bool, String)
  - specs :: String
  - nd_cons :: Conservativity
  }
- | XRef {
  - nodeName :: NodeName
  - refNode :: String
  - refLib :: String
  - specs :: String
  }
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 :: MonadFail m => Set String -> EdgeMap -> Map String XNode -> XTree -> m XTree
extractXNodes :: MonadFail m => Element -> m [XNode]
extractXLinks :: MonadFail m => Element -> m [XLink]
mkXNode :: MonadFail m => Element -> m XNode
extractNodeName :: MonadFail m => Element -> m NodeName
mkXLink :: MonadFail m => Element -> m XLink
readCons :: Element -> Conservativity
extractEdgeId :: MonadFail m => Element -> m EdgeId
readEdgeId :: String -> EdgeId
deepSearch :: [String] -> Element -> [Element]
extractGlobalAnnos :: Element -> Result GlobalAnnos
parseAnnotations :: Element -> Result GlobalAnnos

Documentation

data XGraph Source #

Constructors

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

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 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

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 source :: String target :: String edgeId :: EdgeId lType :: DGEdgeType rule :: DGRule cons :: Conservativity prBasis :: ProofBasis mr_name :: String mr_source :: Maybe String mapping :: String

Instances

Instances details

Eq XLink Source #
Instance details Defined in Static.XGraph Methods (==) :: XLink -> XLink -> Bool (/=) :: XLink -> XLink -> Bool
Data XLink 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) -> 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 :: forall r r'. (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 #
Instance details Defined in Static.XGraph 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 #
Instance details Defined in Static.XGraph Methods showsPrec :: Int -> XLink -> ShowS show :: XLink -> String showList :: [XLink] -> ShowS
ShATermLG XLink Source #
Instance details Defined in ATC.XGraph Methods toShATermLG :: ATermTable -> XLink -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, XLink) Source #

insertXLink :: XLink -> EdgeMap -> EdgeMap Source #

mkEdgeMap :: [XLink] -> EdgeMap Source #

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 #

readCons :: Element -> Conservativity 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

parseAnnotations :: Element -> Result GlobalAnnos Source #