ops-codegraph-tool/tests/benchmarks/resolution/expected-edges.schema.json at 78840a1e7bc76cd218cefb5997e5cff2cd03ea47 · optave/ops-codegraph-tool · 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
44
45
46
47
48
49
50
51
52
53
54
55
{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "title": "Expected Call Edges Manifest",
  "description": "Hand-annotated call edges for resolution precision/recall benchmarks",
  "type": "object",
  "required": ["language", "edges"],
  "properties": {
    "language": {
      "type": "string",
      "description": "Language identifier matching the fixture directory name"
    },
    "description": {
      "type": "string"
    },
    "edges": {
      "type": "array",
      "items": {
        "type": "object",
        "required": ["source", "target", "kind", "mode"],
        "properties": {
          "source": {
            "type": "object",
            "required": ["name", "file"],
            "properties": {
              "name": { "type": "string", "description": "Function/method name" },
              "file": { "type": "string", "description": "Filename (basename only)" }
            }
          },
          "target": {
            "type": "object",
            "required": ["name", "file"],
            "properties": {
              "name": { "type": "string", "description": "Function/method name" },
              "file": { "type": "string", "description": "Filename (basename only)" }
            }
          },
          "kind": {
            "type": "string",
            "enum": ["calls"],
            "description": "Edge kind — currently only 'calls'"
          },
          "mode": {
            "type": "string",
            "enum": ["static", "receiver-typed", "interface-dispatched"],
            "description": "Resolution mode that should produce this edge"
          },
          "notes": {
            "type": "string",
            "description": "Human-readable explanation of why this edge is expected"
          }
        }
      }
    }
  }
}