text: var group__StringLengths =
  [
      [ "EX_MAX_NAME", "group__StringLengths.html#ga6c6a53a53ec121e5553da81dadaf2101", null ],
      [ "MAX_ERR_LENGTH", "group__StringLengths.html#ga3e81d99126d7d910227927550fc32288", null ],
      [ "MAX_LINE_LENGTH", "group__StringLengths.html#gaf0f2173e3b202ddf5756531b4471dcb2", null ],
      [ "MAX_NAME_LENGTH", "group__StringLengths.html#ga0c397a708cec89c74029582574516b30", null ],
      [ "MAX_STR_LENGTH", "group__StringLengths.html#gaaa695591372841e2c5580e4ed0f3620f", null ]
  ];