Crate msbfinal_db[−][src]
Expand description
The library contains all internal data structures utilized in maintaining records.
Modules
communication | Responsible for setting up IPC/file connections. |
file | The file module encapsulates file I/O for easy use in main module. |
parse | Responsible for parsing requests (obtained from communication). |
stats | Run required statistical tests over data |
Structs
ContrastCoefficients | The contrast coefficients structure stores the recorded contrast coefficients for structure pairings. |
Database | The database structure delegates record handling to one of two tables, being a UserData table and a ContrastCoefficients table. |
HeaderStyle | Header specific style, contains a TextStyle |
TextStyle | Defines styles that text may take. Headers and body text specifically has extra values, which are in practiced randomised for control. |
Enums
Align | Text align |
Font | Font, variants are self-explanatory |
GetRequest | This request may be sent to retrieve a record from the database. |
GetRequestAns | The returned answer of processing a GetRequest: must map 1-to-1 with GetRequest. See GetRequest for information on variants. |
InlineStyle | Styles that may be applied to text. This is usually used as a vector of styles so that multiple may be applied at once. |
PutRequest | This request may be sent to modify the database and add an entry. |
Request | A generic Request enum that encapsulates functionality of put and get requests. |
Style | A style is the set of all modifications that this study tests. |
Type Definitions
BodyStyle | BodyStyle is just a textstyle, we don’t care about things like paragraph delimiters |
Inlines | Give a formal name to a set of inlines. |
RequestAns | A generic request response. |
TimeStyleRecord | Mapping from time (f32) to styles. |
UserData | Map from a UUID to TSRs. |
UserIdentifier | A UUID identifies a user. In the flask front-end it’s stored as a randomly generated cookie and transmitted as a hexadecimal string. |