| Copyright | (c) Ewaryst Schulz, Uni Bremen 2009 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Ewaryst.Schulz@dfki.de |
| Stability | provisional |
| Portability | non-portable(Grothendieck) |
| Safe Haskell | None |
Static.ToXml
Description
Xml of Hets DGs
- dGraph :: HetcatsOpts -> LibEnv -> LibName -> DGraph -> Element
- lnode :: HetcatsOpts -> GlobalAnnos -> LibEnv -> LNode DGNodeLab -> Element
- dgSymbols :: DGraph -> Element
- showSymbols :: [String] -> GlobalAnnos -> DGNodeLab -> Element
- showSymbolsTh :: [String] -> String -> GlobalAnnos -> G_theory -> Element
Documentation
dGraph :: HetcatsOpts -> LibEnv -> LibName -> DGraph -> Element
Export the development graph as xml. If the flag full is True then symbols for all nodes are shown as declarations, otherwise (the default) only declaration for basic spec nodes are shown that are sufficient to reconstruct the development from the xml output.
lnode :: HetcatsOpts -> GlobalAnnos -> LibEnv -> LNode DGNodeLab -> Element
showSymbols :: [String] -> GlobalAnnos -> DGNodeLab -> Element
showSymbolsTh :: [String] -> String -> GlobalAnnos -> G_theory -> Element