Skip to content

Commit 148d88e

Browse files
committed
revert change to Projectile's si formation
1 parent 6d9535d commit 148d88e

File tree

1 file changed

+9
-24
lines changed
  • code/drasil-example/projectile/lib/Drasil/Projectile

1 file changed

+9
-24
lines changed

code/drasil-example/projectile/lib/Drasil/Projectile/Body.hs

Lines changed: 9 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,8 @@ import Language.Drasil.Chunk.Concept.NamedCombinators
88
import qualified Language.Drasil.NounPhrase.Combinators as NP
99
import qualified Language.Drasil.Sentence.Combinators as S
1010
import qualified Drasil.DocLang.SRS as SRS
11+
import Theory.Drasil (TheoryModel)
12+
import Drasil.System (SystemKind(RunnableSoftware))
1113

1214
import Data.Drasil.Concepts.Computation (inDatum)
1315
import Data.Drasil.Concepts.Documentation (analysis, physics,
@@ -45,10 +47,6 @@ import Drasil.Projectile.References (citations)
4547
import Drasil.Projectile.Requirements (funcReqs, nonfuncReqs)
4648
import Drasil.Projectile.Unitals
4749

48-
import Theory.Drasil (TheoryModel)
49-
50-
import Drasil.System (SystemKind(RunnableSoftware))
51-
5250
srs :: Document
5351
srs = mkDoc mkSRS (S.forGen titleize phrase) si
5452

@@ -130,26 +128,13 @@ projectileExamples = [S "ballistics" +:+ plural problem +:+ sParen (S "missiles"
130128
S "etc.")]
131129

132130
si :: 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

154139
purp :: Sentence
155140
purp = foldlSent_ [S "predict whether a launched", phrase projectile, S "hits its", phrase target]

0 commit comments

Comments
 (0)