dateKeys-dart/test/cms_support.dart

// The vectors of the CMS reader of stage 5a: the names of the files
// test/vectors/cms_*.json, which tool/cms_go_vectors_test.go writes with
// internal/cms of datekeys-go and the ECDSA and RSA of Go, and the reading
// of their cases.
library;

typedef Json = Map<String, Object?>;

/// The names of the vector files, cms_<name>.json.
const cmsFiles = [
  'ecdsa',
  'rsa',
  'certs',
  'signatures',
  'algorithms',
  'tokens',
  'mutations',
  'corpus',
];

/// The cases of [section] of [file].
List<Json> cases(Json file, String section) =>
    (file[section]! as List).cast<Json>();