Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder DFKI GmbH 2014
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(Grothendieck)
Safe HaskellNone

Static.ToJson

Description

Json of Hets DGs

Synopsis

Documentation

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

Export the development graph as json. 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 as is done for the corresponding xml output.

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

collects all symbols from dg and displays them as json

declarations :: Sentences lid sentence sign morphism symbol => lid -> [symbol] -> Json Source #

symbols :: Sentences lid sentence sign morphism symbol => lid -> ExtSign sign symbol -> Json Source #

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