module Drasil.DocLang (
SRSDecl, DocSection(..), ReqrmntSec(..), ReqsSub(..),
PDSub(..), ProblemDescription(..), SSDSec(..), SSDSub(..), SCSSub(..),
SolChSpec(..),
AppndxSec(..), AuxConstntSec(..), DerivationDisplay(..), Emphasis(..),
OffShelfSolnsSec(..), GSDSec(..), GSDSub(UsrChars, SystCons, SysCntxt),
IntroSec(..), IntroSub(..), LFunc(..), Literature(Doc', Lit,Manual),
RefSec(..), RefTab(..), StkhldrSec(..), StkhldrSub(Client, Cstmr),
TConvention(..), TraceabilitySec(TraceabilityProg), TSIntro(..), TUIntro(..),
mkDoc, fillTraceSI, fillcdbSRS, findAllRefs,
LsnDecl, LsnChapter(Intro, LearnObj, Review, CaseProb, Example, Smmry, BibSec, Apndx),
Intro(..), LearnObj(..), Review(..), CaseProb(..), Example(..), Smmry(..), Apndx(..),
mkNb,
Field(..), Fields, InclUnits(IncludeUnits), Verbosity(..), ddefn,
mkGraphInfo, traceyGraphGetRefs,
traceMatStandard, traceMatOtherReq,
generateTraceMap,
tableOfConstants,
purpDoc,
intro, emptySectSentPlu, emptySectSentSing,
tsymb, tsymb'',
unitTableRef, tunit, tunit', tunitNone,
inReq, inTable, mkInputPropsTable, mkQRTuple, mkQRTupleRef,
mkValsSourceTable, reqInputsRef, mkMaintainableNFR,
auxSpecSent, termDefnF', inDataConstTbl, outDataConstTbl,
getDocDesc, egetDocDesc,
secRefs
) where
import Drasil.DocDecl (SRSDecl, DocSection(..), ReqrmntSec(..), ReqsSub(..),
PDSub(..), ProblemDescription(..), SSDSec(..), SSDSub(..), SCSSub(..),
SolChSpec(..))
import Drasil.DocumentLanguage (mkDoc, fillTraceSI, fillcdbSRS, findAllRefs)
import Drasil.DocumentLanguage.Core (AppndxSec(..), AuxConstntSec(..),
DerivationDisplay(..), Emphasis(..), OffShelfSolnsSec(..), GSDSec(..),
GSDSub(UsrChars, SystCons, SysCntxt), IntroSec(..), IntroSub(..), LFunc(..),
Literature(Doc', Lit,Manual), RefSec(..), RefTab(..), StkhldrSec(..),
StkhldrSub(Client, Cstmr), TConvention(..), TraceabilitySec(TraceabilityProg),
TSIntro(..), TUIntro(..))
import Drasil.DocumentLanguage.Notebook.Core (Intro(..), LearnObj(..), Review(..),
CaseProb(..), Example(..), Smmry(..), Apndx(..))
import Drasil.DocumentLanguage.Notebook.DocumentLanguage (mkNb)
import Drasil.DocumentLanguage.Notebook.LsnDecl (LsnDecl, LsnChapter(Intro, LearnObj, Review,
CaseProb, Example, Smmry, BibSec, Apndx))
import Drasil.DocumentLanguage.Definitions (Field(..), Fields, InclUnits(IncludeUnits),
Verbosity(..), ddefn)
import Drasil.DocumentLanguage.TraceabilityGraph (mkGraphInfo, traceyGraphGetRefs)
import Drasil.Sections.AuxiliaryConstants (tableOfConstants)
import Drasil.Sections.Introduction (purpDoc)
import Drasil.Sections.ReferenceMaterial (intro, emptySectSentPlu, emptySectSentSing)
import Drasil.Sections.Requirements (inReq, inTable, mkInputPropsTable,
mkQRTuple, mkQRTupleRef, mkValsSourceTable, reqInputsRef, mkMaintainableNFR)
import Drasil.Sections.SpecificSystemDescription (auxSpecSent, termDefnF', inDataConstTbl, outDataConstTbl)
import Drasil.Sections.TableOfSymbols (tsymb, tsymb'')
import Drasil.Sections.TableOfUnits (unitTableRef, tunit, tunit',tunitNone)
import Drasil.Sections.TraceabilityMandGs (traceMatStandard, traceMatOtherReq)
import Drasil.ExtractDocDesc (getDocDesc, egetDocDesc)
import Drasil.TraceTable (generateTraceMap)
import Drasil.DocLang.References (secRefs)