Rust Object Format (.rof)
Rust object format allows rust objects to be serialized to a file in a text format very closely resembling the original object. It also allows easy transfer of objects between different programming langauges, as the objects can be created in their respective language, serialized to string, send to another programming language, deserialzed and used once again.
TL;DR A library that can serialize and deserialize rust objects to string which allows simple file saving and transmission of rust objects between separate programming languages.
Table of contents
Design Goals
Language
Rust Library Docs
JS Library Docs
Design Goals
- Human readable (easy to write and supports inline comments, and the file is in a text format)
- Does not require any conversion when serializing and deserializing in rust
- Easy to understand for somebody who has a good understanding of rust
- Inspired by JSON, as a language that closely resembled another language's data structure
- An expansive set of inbuilt data types such as enums, tuples, options, arrays, hashmaps and more
Use case
- Saving and loading data
- Sharing data easily between
Language
Structs
Encapsulated by a pair of curly brackets
Each object property is defined as follows, and always ended by a semicolon.
- Explicit type annotation
property_name: property_type = property_value;
- Implicit type annotation (only allowed on types where type annotation is optional)
property_name = property_value;
Simple Property Types
A simple property type only includes a base type
Boolean Types
- falsy bool >
false - truthy bool >
true
type annotation optional, can be implied
is_swimming: bool = false;
Text Types
- string >
"string"(strictly needs double quotes) - char >
'c'(strictly needs single quotes)
type annotation optional, can be implied
Number Types
All integer type values are written the same
- u8 (8-bit unsigned integer) >
year: u8 = 2023; - i8 (8-bit signed integer) >
distance: i8 = -32; - u16 (16-bit unsigned integer) >
year: u16 = 2023; - i16 (16-bit signed integer) >
distance: i16 = -32; - u32 (32-bit unsigned integer) >
year: u32 = 2023; - i32 (32-bit signed integer) >
distance: i32 = -32; - u64 (64-bit unsigned integer) >
year: u64 = 2023; - i64 (64-bit signed integer) >
distance: i64 = -32; - u128 (128-bit unsigned integer) >
year: u128 = 2023; - i128 (128-bit signed integer) >
distance: i128 = -32; - usize (platform dependent unsigned integer) >
year: usize = 2023; - isize (platform dependent signed integer) >
distance: isize = -32;
All floating type values are written the same
- f32 (32-bit floating point number) >
temperature: f32 = 5.3; - f64 (64-bit floating point number) >
weight: f64 = 7;(unlike rust, floating point numbers must not strictly include a decimal point, in rust this would be written as7.or7.0)
type annotation mandatory, cannot be implied
Complex Property Types
A complex/compound property includes a base type along with x number of sub types which can be mix of simple and complex property types
Tuples and Arrays
- tuple >
position: tuple<f64, f64, f64> = (3, 5.4, 7);
type annotation optional if tuple parameter types are optional
- array >
pet_names: array<string> = ["Archie", "Charlie", "Luna", "Milo", "Rocky"];
type annotation optional if array object type is optional
Structs and Hashmaps
- hashmap
passwords: = ;
type annotation optional if hashmap key and value object types are optional
- struct
passwords = ;
Hashmaps and structs are not interchangeable as there are some key differences
- struct property index names must be a string unlike hashmap keys which can have any type of value as a key.
- hashmap keys must all have the same type, unlike structs which require you to explicitly annotate the type for each property.
Type annotation mandatory; If you want your data to be loaded in as a hashmap, then you must annotate the value as a hashmap, or it will be loaded in as a struct, and vice-versa.
Enums
- enum >
action: enum = IDLE; - enum >
action: enum = SLEEPING;
-
enum >
action: enum<f64> = JUMP(3.6); -
enum >
action: enum<f64, f64> = RUN(50, 31.2); -
enum >
action: enum<string> = EAT("Hamburger"); -
Same enum in rust
Type annotation optional if enum parameter types are optional
The keyword "option" can also be used to subsitute "enum" and works exactly the same as the "enum" keyword; When using option enums you can then use the "option" keyword instead of "enum" to make it more readable. The "option" keyword will work fine for any other enum types, but is strongly discouraged.
Formatting
-
Tabbing is recomended but not mandatory, and is one tab level is expected each nested value from the root object
-
Snake case property indexes is recommended but not mandatory
-
New lines are recommended but not mandatory and is expected after the first character in each object, and after the end of each property (after the semicolon)
Rust Library Documentation
High Level API
The high level API is as simple as implementing the RofCompat trait for any rust struct or enum. This RofCompat trait allows you to serialize the object back to a low level DataValue strucutre, which can then be saved to a file. The RofCompat trait can also deserialize low level data value structures back into it's original form. The RofCompat trait also provides other utility functions such as
- serialize_to_string(&self, pretty_print: bool) -> String {}
- deserialize_from_string(serialized_rof: &str) -> Self {}
- as_rof(&self) -> Rof {}
- load_from_file(file_path: &str) -> Self {}
- save_to_file(&self, file_path: &str, pretty_print: bool) -> Result<(), ()> {}
Almost any struct or enum can implement the RofCompat trait by using it's derive macro under these requirements
- All RofCompat objects must implement the
Defaultattribute - Due to technical reasons that may be solved in the future, non "object" like struct and enum values cannot be serialized, such as arrays (not vecs), slices, tuples and others. These unserializable properties will simply be ignored by the derive macro, and if you want them to be implemented then you will unfortunately have to implement the
RofCompattrait manually.
As explained above you can implement RofCompat manually, as shown in the example below, it is recommended that you read over the low level api before trying this for yourself. This allows for more fine tuned control over how exactly your struct/enum is represented in a low level form.
The utility functions are implemented for you based on those two functions. As you can see, now the stored data is much more concise and this is a good example of even though not always necessary, sometimes implementing RofCompat manually is a good idea.
Unlike the low level api, using the RofCompat trait requires little understanding of how the internal system actually works, and can quickly be setup.
Low Level API
The Rof object is responsible for all serializing and deserializing to files in Rof, and backs the higher level RofCompat trait. You can define a new Rof as follows.
// Load computer file as a rof
let computer_rof =
load_from_file;
// Convert the rof to a struct structure
let mut computer_structure = computer_rof.get_object.as_struct_structure;
let computer_name: String = match computer_structure.get ;
let mut computer_ram: usize = match computer_structure.get ;
let computer_type: ComputerType = match computer_structure.get ;
// Print out the parsed computer
println!;
// Modify the computer
computer_ram += 1;
// Convert the computer back into a struct structure
let computer_struct_properties: = vec!;
let computer_struct_structure = new;
// Save rof to computer file
// Must create a new rof object, becausue the .get_object() function returns an immutable reference
new
.save_to_file
.expect;
The low level api is there for anybody who wants to use it, although using the high level RofCompat api is recommended because it is more readable, requires much less boilerplate and is more beginner friendly.