Skip to content
pkm-acslpp-schema.json 1.38 KiB
Newer Older
{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "$id": "https://gitlab.ow2.org/decoder/pkm-api/-/tree/master/api/pkm-acslpp-schema.json",
  "title": "ACSL++ Comments Schema Version 1.0.1 JSON Schema.",
  "type": "object",
  "properties": {
    "sourceFile": {
      "type": "string"
    },
    "annotations": {
      "type": "array",
      "items": {
        "type": "object",
        "properties": {
          "loc": {
            "$ref": "#/definitions/AcslppLoc"
          },
          "annotations": {
            "type" : "array",
            "items" : {
              "type": "string"
            }
          },
          "id": {
            "description": "id of the annotated entity",
            "type": "number"
          }
        }
      }
    }
  },
  "definitions": {
    "AcslppPos": {
      "type": "object",
      "properties": {
        "pos_path": {
          "type": "string",
          "description": "Path where the file is located"
        },
        "pos_lnum": {
          "type": "number"
        },
        "pos_bol": {
          "type": "number"
        },
        "pos_cnum": {
          "type": "number"
        }
      }
    },
    "AcslppLoc": {
      "type": "object",
      "properties": {
        "pos_start": {
          "$ref": "#/definitions/AcslppPos"
        },
        "pos_end": {
          "$ref": "#/definitions/AcslppPos"
        }
      }
    }
  }
}