Copyright	(c) Christian Maeder, DFKI GmbH 2014
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable(Grothendieck)
Safe Haskell	None

Static.ToJson

Description

Json of Hets DGs

Synopsis

Documentation

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

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.

lnode :: HetcatsOpts -> GlobalAnnos -> LibEnv -> LNode DGNodeLab -> Json

dgSymbols :: DGraph -> Json

collects all symbols from dg and displays them as json

showSymbols :: [String] -> GlobalAnnos -> DGNodeLab -> Json

showSymbolsTh :: [String] -> String -> GlobalAnnos -> G_theory -> Json