The parameter values of simple types and enums are expressed in JSON format as follows.

Simple types:

Enum types: the name of the type and the literal, e.g. "Status::OK"

Every simple parameter is expressed in a JSON format using the keys type and value as follows:

In the example trace described above, the event command has a simple parameter of type int with value 80, which is expressed in JSON format as

This parameter is included in the list of parameters:

Examples of other simple types:

The parameter vector has the following three keys :

The typeElem key describes the data type of the elements of the vector. The key value contains the actual elements as a list.

So a vector parameter is expressed in a JSON format as follows :

For example, vectorInt is a Vector type with elements of simple type int and intValues is a variable of this type. Similarly, realVector contains elements of the simple type real and realValues is a variable of this type. Both variables are defined and initialized as follows:

intValues = <vectorInt>[1,3,5,7,11]
realValues = <vectorReal>[8.3, 6.7, 9.0, 11.3]

These vector values are denoted in JSON format as follows:

If typeElem is a simple parameter , then values are not passed as a parameter object {"type":"","value":""} to the key value, but only the actual values are passed, as shown in the two vectors examples above. This does not hold for the parameters of type Record and Vector as shown in the next example of a multidimensional vector.

Consider a matrix, which is a 2-dimensional vector type with elements of type int. A value can be assigned to a variable matrixValues of this type as follows:

matrixValues := <matrix>[<int[2]>[1, 2], <int[2]>[3, 4]]

This matrix value is represented in JSON format as follows:

The JSON format of a parameter of type record contains three keys:

In general, the structure of a parameter record is as follows :

For example, consider a record EnergySupplier defined as:

record EnergySupplier {
string name
real price
}

An instance of record EnergySupplier is denoted as follows:

An example of a nested record:

record Location {
string street
string place
}

record EnergySupplier {
string name
real price
Location location
}

An instance is denoted in JSON as follows:

A JSON file (extension .jsonl) optionally starts with component instances and next contains a collection of JSONObjects where each object represents an event. Each event has to be placed on a separate line.