[
  [
    {
      "type": "comment.line.double-slash",
      "value": "// WhileStatement = 'while' '(' Expression ')' Statement"
    }
  ],
  [
    {
      "type": "keyword.control",
      "value": "while"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "paren.lparen",
      "value": "("
    },
    {
      "type": "constant.language.boolean",
      "value": "true"
    },
    {
      "type": "paren.rparen",
      "value": ")"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "f"
    },
    {
      "type": "paren.lparen",
      "value": "("
    },
    {
      "type": "paren.rparen",
      "value": ")"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "keyword.control",
      "value": "while"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "paren.lparen",
      "value": "("
    },
    {
      "type": "constant.language.boolean",
      "value": "true"
    },
    {
      "type": "paren.rparen",
      "value": ")"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "paren.lparen",
      "value": "{"
    },
    {
      "type": "identifier",
      "value": "f"
    },
    {
      "type": "paren.lparen",
      "value": "("
    },
    {
      "type": "paren.rparen",
      "value": ")"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    },
    {
      "type": "paren.rparen",
      "value": "}"
    }
  ],
  []
]
