| Safe Haskell | None |
|---|
Language.Clafer.Generator.Graph
Description
Generates simple graph and CVL graph representation for a Clafer model in GraphViz DOT.
- genSimpleGraph :: Module -> IModule -> String -> Bool -> String
- genCVLGraph :: Module -> IModule -> String -> String
- traceAstModule :: Module -> Map Span [Ast]
- traceIrModule :: IModule -> Map Span [Ir]
Documentation
genSimpleGraph :: Module -> IModule -> String -> Bool -> StringSource
Generate a graph in the simplified notation
genCVLGraph :: Module -> IModule -> String -> StringSource
Generate a graph in CVL variability abstraction notation
traceAstModule :: Module -> Map Span [Ast]Source
traceIrModule :: IModule -> Map Span [Ir]Source