AARCHMRS Schema 2.7.4

Schema http://json-schema.org/draft-04/schema#

{
  "type": "object",
  "additionalProperties": false,
  "definitions": {
    "maps": {
      "info": [
        "A list of items that map to one another.",
        [
          "Individual mapped bit(s) can be defined in the slices property of the ",
          "given items. Note if `A[10, 5:0]` maps to B (no range specified), ",
          "then it is implied that `A[10, 5:0]` maps to `B[6:0]`."
        ]
      ],
      "type": "array",
      "minItems": 2,
      "items": {
        "anyOf": [
          {
            "$ref": "../Types/RegisterType.json"
          },
          {
            "$ref": "../AST/Identifier.json"
          },
          {
            "$ref": "../AST/DotAtom.json"
          },
          {
            "$ref": "../AST/SquareOp.json"
          }
        ]
      }
    }
  },
  "info": [
    "`Map` provides a bi-directional mapping between Registers, RegisterBlocks, and Field types and individual bits within Registers.",
    [
      "For example, if the maps property lists `REGBLOCK1.REG1`, `REGBLOCK1.REG2` and",
      "`AArch32-ACTRL`, then there exists a bidirectional mapping between all three items."
    ]
  ],
  "properties": {
    "_type": {
      "enum": [
        "Mapping.Map"
      ]
    },
    "_meta": {
      "$ref": "../Meta.json"
    },
    "condition": {
      "$ref": "../Traits/HasCondition.json#/definitions/condition",
      "info": [
        "This condition must be true for the mapping to exist."
      ]
    },
    "maps": {
      "$ref": "#/definitions/maps"
    }
  },
  "required": [
    "maps"
  ],
  "$schema": "http://json-schema.org/draft-04/schema#",
  "title": "Map"
}