@@ -8,6 +8,8 @@ import Language.Drasil.Chunk.Concept.NamedCombinators
88import qualified Language.Drasil.NounPhrase.Combinators as NP
99import qualified Language.Drasil.Sentence.Combinators as S
1010import qualified Drasil.DocLang.SRS as SRS
11+ import Theory.Drasil (TheoryModel )
12+ import Drasil.System (SystemKind (RunnableSoftware ), mkSystem )
1113
1214import Data.Drasil.Concepts.Computation (inDatum )
1315import Data.Drasil.Concepts.Documentation (analysis , physics ,
@@ -45,10 +47,6 @@ import Drasil.Projectile.References (citations)
4547import Drasil.Projectile.Requirements (funcReqs , nonfuncReqs )
4648import Drasil.Projectile.Unitals
4749
48- import Theory.Drasil (TheoryModel )
49-
50- import Drasil.System (SystemKind (RunnableSoftware ))
51-
5250srs :: Document
5351srs = mkDoc mkSRS (S. forGen titleize phrase) si
5452
@@ -130,26 +128,13 @@ projectileExamples = [S "ballistics" +:+ plural problem +:+ sParen (S "missiles"
130128 S " etc." )]
131129
132130si :: System
133- si = SI {
134- _sys = progName,
135- _kind = RunnableSoftware ,
136- _authors = [samCrawford, brooks, spencerSmith],
137- _purpose = [purp],
138- _background = [background],
139- _motivation = [motivation],
140- _scope = [scope],
141- _quants = symbols,
142- _theoryModels = tMods,
143- _genDefns = genDefns,
144- _instModels = iMods,
145- _dataDefns = dataDefs,
146- _configFiles = [] ,
147- _inputs = inputs,
148- _outputs = outputs,
149- _constraints = map cnstrw' constrained,
150- _constants = constants,
151- _systemdb = symbMap
152- }
131+ si = mkSystem progName RunnableSoftware
132+ [samCrawford, brooks, spencerSmith]
133+ [purp] [background] [scope] [motivation]
134+ symbols tMods genDefns dataDefs iMods
135+ []
136+ inputs outputs (map cnstrw' constrained) constants
137+ symbMap
153138
154139purp :: Sentence
155140purp = foldlSent_ [S " predict whether a launched" , phrase projectile, S " hits its" , phrase target]
0 commit comments