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,
NBDecl, NbSection(BibSec, IntrodSec, BodySec),
IntrodSec(..), IntrodSub(..), BodySec(..), BodySub(..), SmmrySec(..), ApndxSec(..),
mkNb,
Field(..), Fields, InclUnits(IncludeUnits), Verbosity(..), ddefn,
mkGraphInfo, traceyGraphGetRefs,
traceMatStandard, traceMatOtherReq,
generateTraceMap,
tableOfConstants,
purpDoc,
intro,
tsymb, tsymb'',
unitTableRef, tunit, tunit',
inReq, inTable, mkInputPropsTable, mkQRTuple, mkQRTupleRef, mkValsSourceTable, reqInputsRef,
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 (IntrodSec(..), IntrodSub(..), BodySec(..),
BodySub(..), ApndxSec(..), SmmrySec(..))
import Drasil.DocumentLanguage.Notebook.DocumentLanguage (mkNb)
import Drasil.DocumentLanguage.Notebook.NBDecl (NBDecl, NbSection(BibSec, IntrodSec, BodySec))
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)
import Drasil.Sections.Requirements (inReq, inTable, mkInputPropsTable,
mkQRTuple, mkQRTupleRef, mkValsSourceTable, reqInputsRef)
import Drasil.Sections.SpecificSystemDescription (auxSpecSent, termDefnF', inDataConstTbl, outDataConstTbl)
import Drasil.Sections.TableOfSymbols (tsymb, tsymb'')
import Drasil.Sections.TableOfUnits (unitTableRef, tunit, tunit')
import Drasil.Sections.TraceabilityMandGs (traceMatStandard, traceMatOtherReq)
import Drasil.ExtractDocDesc (getDocDesc, egetDocDesc)
import Drasil.TraceTable (generateTraceMap)
import Drasil.DocLang.References (secRefs)