Hets - the Heterogeneous Tool Set

Copyright(c) Ewaryst Schulz Uni Bremen 2009
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerEwaryst.Schulz@dfki.de
Stabilityprovisional
Portabilitynon-portable(Grothendieck)
Safe HaskellNone

Static.ToXml

Description

Xml of Hets DGs

Synopsis

Documentation

dGraph :: HetcatsOpts -> LibEnv -> LibName -> DGraph -> Element Source #

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

dgSymbols :: HetcatsOpts -> DGraph -> Element Source #

collects all symbols from dg and displays them as xml

showSymbols :: HetcatsOpts -> [String] -> GlobalAnnos -> DGNodeLab -> Element Source #

showSymbolsTh :: HetcatsOpts -> [String] -> String -> GlobalAnnos -> G_theory -> Element Source #