Data Types

Prev Next

TextParameter

record TextParameter {
  string key = "";
  array<string> values = [];
}

NumericParameter

record NumericParameter {
  string key = "";
  array<double> values = [];
}

TextCategory

record TextCategory {
  string key = "";
  string value = "";
}

NumericCategory

record NumericCategory {
  string key = "";
  double value = 0.0;
}