Documentation

Constructs a CodeExpr representing the field of an actor

Basic chunk representation in the code generation context. Contains a DefinedQuantityDict and the kind of code (variable or function).

Chunk representing a variable. The obv field represents the object containing this variable, if it is an object field.

Chunk representing a function.

Construct a CodeVarChunk from a Quantity.

Construct a CodeFuncChunk from a Quantity.

Constructor for a single datum.

Constructor for junk data.

Constructor for an unknown amount of lines of data.

Constructor for data with a repeated pattern.

Constructor for a single line of data.

An argument may contain a named argument and argument information.

Specifies an implementation of an interface from the external library.

A step can be a call to an external library function or method.

External library is a group of Steps

The first item in the Requires list should be where the function being called is defined.

Specifies an external library.

To be used when there are multiple options for a group of consecutive steps, where a single use-case-specific factor decides which step group to use.

To be used when there are multiple options for a single step, where a use-case-specific factor decides which step to use.

Specifies a step which must exist in some form in every use case.

Specifies multiple consecutive steps that all must exist in some form in every use case.

Specifies a call to an external library function.

Specifies a call to an external library method.

Specifies a call to an external library function, where the result is assigned to a variable.

Specifies a call to an external library method, where the result is assigned to a variable.

Specifies a call to an external library constructor, where the result is assigned to a variable.

Specifies a call to an external library function, where multiple modules from the external library are required, and the result is assigned to a variable.

Specifies a call to an external library constructor, where the result is returned.

Specifies an argument that is not use-case-dependent.

Specifies a named argument that is not use-case-dependent.

Specifies a use-case-dependent argument whose value can be inlined in the call.

Specifies a use-case-dependent named argument whose value can be inlined in the call.

Specifies use-case-dependent argument whose value must be assigned to a variable before being passed in the call.

Specifies use-case-dependent named argument whose value must be assigned to a variable before being passed in the call.

Specifies a function type argument, where the body consists of a single step.

Specifies an argument that is an object of a class that must be defined in the calling program.

Specifies an argument that is an object of a class from the external library. The list of [CodeVarChunk] represents fields of the object that must be set in the calling program.

Specifies a use-case-independent parameter.

Specifies a parameter whose name depends on the use case.

Specifies a class that must be implemented in the calling program.

Specifies a constructor.

Specifies a method.

Specifies a method that does not return anything.

Specifies a statement where a current solution is appended to a solution list.

Specifies a statement where a solution list is populated by iterating through a solution array.

Specifies statements where every index of an array is assigned a value.

Specifies a statement where a solution is assigned from the field of an object.

Specifies a statement where a solution list is initialized with the first value of an array.

Specifies a statement where a solution list is initialized with the given value.

A solve and populate loop. FunctionInterface for loop condition, CodeChunk for solution object, CodeChunk for independent var, FunctionInterface for solving, CodeChunk for soln array to populate with.

Specifies a statement where a list is returned, where each value of the list is explicitly defined.

Specifies a use-case-independent statement that returns a fixed value.

Specifies a use-case-dependent statement that returns a non-fixed value.

Specifies a statement where a single solution is initialized with a value.

Doxygen date-field visibility options.

Options for representing constants in a program.

Constraint behaviour options within program.

Program implementation options.

External Library Options

Doxygen file verbosity options.

Constants options.

The instruction indicates how the generated program should be written down. Full details of Choices documentation https://github.com/JacquesCarette/Drasil/wiki/The-Code-Generator

Comment implementation options.

Logging options for function calls and variable assignments. Eq instances required for Logging and Comments because generator needs to check membership of these elements in lists

Modularity of a program.

Variable structure options.

Code concepts. For now, just pi.

Builds a ConceptMatchMap from an association list of chunks and CodeConcepts.

Specifies which CodeType should be used to represent each mathematical Space. [CodeType] is preferentially-ordered, first CodeType that does not conflict with other choices will be selected.

Builds a SpaceMatch from an association list of Spaces and CodeTypes.

Currently we only support two kind of auxiliary files: sample input file, readme. To generate a sample input file compatible with the generated program, FilePath is the path to the user-provided file containing a sample set of input data.

Gets the file path to a sample input data set from a Choices structure, if the user chose to generate a sample input file.

Default choices to be used as the base from which design specifications can be built.

Constructor to create a Architecture

Architecture of a program

Data of a program - how information should be encoded.

Constructor to create a DataInfo

Maps for Concepts and Space

Constructor to create a Maps

Default mapping between Space and CodeType.

Constructor to create a Constraints

Constructor to create an ODE

Constructor to create a DocConfig

Constructor to create a LogConfig

Log Configuration

Constructor to create a OptionalFeatures

Code Specification. Holds system information and options.

Creates a CodeSpec using the provided System, Choices, and Mods.

Get a UID of a chunk corresponding to a Func.

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

Holds module information.

Holds a function definition or function data.

Define an assignment statement.

State variables hold attach a VisibilityTag to a CodeVarChunk.

Define a public state variable based on the given CodeVarChunk.

Define a private state variable based on the given CodeVarChunk.

Define a declare-define statement.

Define a for-loop. Quantity is for the iteration variable, CodeExpr is the upper bound at that variable (the variable will start with a value of 0). [FuncStmt] is for the loop body.

Define a for-loop. Quantity is for the iteration variable, and 3 CodeExprs for the start, stop, step numbers. [FuncStmt] is for the loop body.

Define a function that reads data from a file, according to the given DataDesc.

Define a function by providing the FuncStmts for its body. Other parameters are function name, description, list of parameters, space of the returned value, and description of the returned value.

Define a Mod with the given Name, Description, Classes, and Functions.

Any quantity can be a named argument (wrapper for DefinedQuantityDict), but with more of a focus on generating code arguments.

Smart constructor for NamedArgument .