clafer-0.3.5.1: clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.

Safe HaskellNone

Language.Clafer.JSONMetaData

Description

Creates JSON outputs for different kinds of metadata.

Synopsis

Documentation

generateJSONnameUIDMap :: QNameMaps -> StringSource

Generate a JSON list of triples containing a fully-qualified-, least-partially-qualified name, and unique id. | Both the FQNames and UIDs are brittle. LPQNames are the least brittle.

generateJSONScopes :: QNameMaps -> [(UID, Integer)] -> StringSource

Generate a JSON list of tuples containing a least-partially-qualified name and a scope