[
  [
    {
      "type": "comment.line.double-slash",
      "value": "// Pragma actually parses anything up to the trailing ';' to be fully forward-compatible."
    }
  ],
  [
    {
      "type": "comment.line.double-slash",
      "value": "// PragmaDirective = 'pragma' Identifier ([^;]+) ';'"
    }
  ],
  [],
  [
    {
      "type": "keyword",
      "value": "pragma"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword",
      "value": "solidity"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.other",
      "value": "^0.4.24"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "keyword",
      "value": "pragma"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword",
      "value": "experimental"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.other",
      "value": "\"v0.5.0\""
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  []
]