TwoPhase/trace.schema.json at master · tracevalidation/TwoPhase · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
{
  "title": "TraceEntry",
  "description": "An entry in a trace",
  "type": "object",
  "properties": {
    "clock": {
      "description": "The timestamp of the event",
      "type": "integer",
      "minimum": 0
    },
    "rmState": {
      "type": "array",
      "items": {
        "type": "object",
        "properties": {
          "op": {
            "type": "string"
          },
          "path": {
            "type": "array"
          },
          "args": {
            "type": "array"
          }
        },
        "required": [ "op", "path", "args"]
      },
      "minItems": 1
    },
    "event": {
      "description": "Name of the event",
      "type": "string"
    },
    "event_args": {
      "description": "Arguments of the event",
      "type": "array",
      "items": {
        "type": "string"
      }
    }
  },
  "required": [ "clock"]
}