| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Drasil.DocumentLanguage.TraceabilityGraph
Description
Defines functions to create traceability graphs in SRS documents.
Synopsis
- traceMGF :: [LabelledContent] -> [Sentence] -> [Contents] -> String -> [Section] -> Section
- traceyGraphGetRefs :: String -> [Reference]
- genTraceGraphLabCons :: String -> [LabelledContent]
- mkGraphInfo :: System -> GraphInfo
- resourcePath :: String
Documentation
traceMGF :: [LabelledContent] -> [Sentence] -> [Contents] -> String -> [Section] -> Section Source #
Wrapper for traceMIntro and traceGIntro. Turns references (LabelledContents),
trailing notes (Sentences), and any other needed contents to create a Traceability Section.
Traceability graphs generate as both a link and a figure for convenience.
traceyGraphGetRefs :: String -> [Reference] Source #
Create references to traceability graphs given an example name. Primarily used for reference database in examples.
genTraceGraphLabCons :: String -> [LabelledContent] Source #
Generate the LabelledContent chunks, specialized to a specific example
(and its path).
mkGraphInfo :: System -> GraphInfo Source #
Extracts traceability graph inforomation from filled-in System.
resourcePath :: String Source #
Traceability graphs reference path.