HasOldCodeSpec CodeSpec Source #
Instance details Defined in Language.Drasil.CodeSpec Methods oldCodeSpec :: Lens' CodeSpec OldCodeSpec Source # authorsO :: Lens' CodeSpec People Source # cMapO :: Lens' CodeSpec ConstraintCEMap Source # configFilesO :: Lens' CodeSpec [RelativeFile] Source # constMapO :: Lens' CodeSpec ConstantMap Source # constantsO :: Lens' CodeSpec [Const] Source # derivedInputsO :: Lens' CodeSpec [Derived] Source # execOrderO :: Lens' CodeSpec [Def] Source # extInputsO :: Lens' CodeSpec [Input] Source # inputsO :: Lens' CodeSpec [Input] Source # modsO :: Lens' CodeSpec [Mod] Source # outputsO :: Lens' CodeSpec [Output] Source # pNameO :: Lens' CodeSpec Name Source # systemdbO :: Lens' CodeSpec ChunkDB Source #
HasSystemMeta CodeSpec Source #
Instance details Defined in Language.Drasil.CodeSpec Methods systemMeta :: Lens' CodeSpec SystemMeta # authors :: Lens' CodeSpec People # background :: Lens' CodeSpec Background # motivation :: Lens' CodeSpec Motivation # purpose :: Lens' CodeSpec Purpose # scope :: Lens' CodeSpec Scope # sysName :: Lens' CodeSpec CI # systemdb :: Lens' CodeSpec ChunkDB #
HasSmithEtAlSRS CodeSpec Source #
Instance details Defined in Language.Drasil.CodeSpec Methods smithEtAlSRS :: Lens' CodeSpec SmithEtAlSRS # constants :: Lens' CodeSpec [ConstQDef] # dataDefns :: Lens' CodeSpec [DataDefinition] # genDefns :: Lens' CodeSpec [GenDefn] # instModels :: Lens' CodeSpec [InstanceModel] # lbldCntnt :: Lens' CodeSpec [LabelledContent] # meta :: Lens' CodeSpec SystemMeta # programName :: Lens' CodeSpec String # quantities :: Lens' CodeSpec [DefinedQuantityDict] # refTable :: Lens' CodeSpec (Map UID Reference) # refbyTable :: Lens' CodeSpec (Map UID [UID]) # theoryModels :: Lens' CodeSpec [TheoryModel] # traceTable :: Lens' CodeSpec (Map UID [UID]) #

data OldCodeSpec Source #

Old Code specifications. Holds information needed to generate code.

Constructors

OldCodeSpec

Fields

_pName :: Name
Program name.
_authors :: People
Authors.
_inputs :: [Input]
All inputs.
_extInputs :: [Input]
Explicit inputs (values to be supplied by a file).
_derivedInputs :: [Derived]
Derived inputs (each calculated from explicit inputs in a single step).
_outputs :: [Output]
All outputs.
_configFiles :: [RelativeFile]
List of files that must be in same directory for running the executable.
_execOrder :: [Def]
Mathematical definitions, ordered so that they form a path from inputs to outputs.
_cMap :: ConstraintCEMap
Map from UIDs to constraints for all constrained chunks used in the problem.
_constants :: [Const]
List of all constants used in the problem.
_constMap :: ConstantMap
Map containing all constants used in the problem.
_mods :: [Mod]
Additional modules required in the generated code, which Drasil cannot yet automatically define.
_systemdb :: ChunkDB
The database of all chunks used in the problem.

Instances

Instances details

HasOldCodeSpec OldCodeSpec Source #

Instance details

Defined in Language.Drasil.CodeSpec

Methods

oldCodeSpec :: Lens' OldCodeSpec OldCodeSpec Source #

authorsO :: Lens' OldCodeSpec People Source #

cMapO :: Lens' OldCodeSpec ConstraintCEMap Source #

configFilesO :: Lens' OldCodeSpec [RelativeFile] Source #

constMapO :: Lens' OldCodeSpec ConstantMap Source #

constantsO :: Lens' OldCodeSpec [Const] Source #

derivedInputsO :: Lens' OldCodeSpec [Derived] Source #

execOrderO :: Lens' OldCodeSpec [Def] Source #

extInputsO :: Lens' OldCodeSpec [Input] Source #

inputsO :: Lens' OldCodeSpec [Input] Source #

modsO :: Lens' OldCodeSpec [Mod] Source #

outputsO :: Lens' OldCodeSpec [Output] Source #

pNameO :: Lens' OldCodeSpec Name Source #

systemdbO :: Lens' OldCodeSpec ChunkDB Source #

Typeclasses

class HasOldCodeSpec c where Source #

Minimal complete definition

oldCodeSpec

Methods

oldCodeSpec :: Lens' c OldCodeSpec Source #

authorsO :: Lens' c People Source #

cMapO :: Lens' c ConstraintCEMap Source #

configFilesO :: Lens' c [RelativeFile] Source #

constMapO :: Lens' c ConstantMap Source #

constantsO :: Lens' c [Const] Source #

derivedInputsO :: Lens' c [Derived] Source #

execOrderO :: Lens' c [Def] Source #

extInputsO :: Lens' c [Input] Source #

inputsO :: Lens' c [Input] Source #

modsO :: Lens' c [Mod] Source #

outputsO :: Lens' c [Output] Source #

pNameO :: Lens' c Name Source #

systemdbO :: Lens' c ChunkDB Source #

Instances

Instances details

HasOldCodeSpec CodeSpec Source #
Instance details Defined in Language.Drasil.CodeSpec Methods oldCodeSpec :: Lens' CodeSpec OldCodeSpec Source # authorsO :: Lens' CodeSpec People Source # cMapO :: Lens' CodeSpec ConstraintCEMap Source # configFilesO :: Lens' CodeSpec [RelativeFile] Source # constMapO :: Lens' CodeSpec ConstantMap Source # constantsO :: Lens' CodeSpec [Const] Source # derivedInputsO :: Lens' CodeSpec [Derived] Source # execOrderO :: Lens' CodeSpec [Def] Source # extInputsO :: Lens' CodeSpec [Input] Source # inputsO :: Lens' CodeSpec [Input] Source # modsO :: Lens' CodeSpec [Mod] Source # outputsO :: Lens' CodeSpec [Output] Source # pNameO :: Lens' CodeSpec Name Source # systemdbO :: Lens' CodeSpec ChunkDB Source #
HasOldCodeSpec OldCodeSpec Source #
Instance details Defined in Language.Drasil.CodeSpec Methods oldCodeSpec :: Lens' OldCodeSpec OldCodeSpec Source # authorsO :: Lens' OldCodeSpec People Source # cMapO :: Lens' OldCodeSpec ConstraintCEMap Source # configFilesO :: Lens' OldCodeSpec [RelativeFile] Source # constMapO :: Lens' OldCodeSpec ConstantMap Source # constantsO :: Lens' OldCodeSpec [Const] Source # derivedInputsO :: Lens' OldCodeSpec [Derived] Source # execOrderO :: Lens' OldCodeSpec [Def] Source # extInputsO :: Lens' OldCodeSpec [Input] Source # inputsO :: Lens' OldCodeSpec [Input] Source # modsO :: Lens' OldCodeSpec [Mod] Source # outputsO :: Lens' OldCodeSpec [Output] Source # pNameO :: Lens' OldCodeSpec Name Source # systemdbO :: Lens' OldCodeSpec ChunkDB Source #

Constructors

codeSpec :: SmithEtAlSRS -> Choices -> CodeSpec Source #

Creates a CodeSpec using the provided System, Choices, and Mods. The CodeSpec consists of the system information and a corresponding OldCodeSpec.

ODEs

getODE :: [ExtLib] -> Maybe ODE Source #

Get ODE from ExtLib

mapODE :: Maybe ODE -> [CodeDefinition] Source #

Maps ODE to their respective CodeDefinition.

Hacks

asVC :: Func -> DefinedQuantityDict Source #

Convert a Func to an implementation-stage DefinedQuantityDict representing the function.

funcUID :: Func -> UID Source #

Get a UID of a chunk corresponding to a Func.

getDerivedInputs :: [DataDefinition] -> [Input] -> [Const] -> ChunkDB -> [SimpleQDef] Source #

Determines the derived inputs, which can be immediately calculated from the knowns (inputs and constants). If there are DDs, the derived inputs will come from those. If there are none, then the QDefinitions are used instead.

getConstraints :: HasUID c => ConstraintCEMap -> [c] -> [ConstraintCE] Source #

Get a list of Constraints for a list of CodeChunks.

constraintvars :: ConstraintCE -> ChunkDB -> [CodeChunk] Source #

Get a list of CodeChunks from a constraint.