solidity.grammar for Lezer Parser - https://lezer.codemirror.net/docs/guide/#writing-a-grammar

solidity.grammar

@top Program { Statement* }

@tokens {
  pragma { "pragma" }
  import { "import" }
  contract { "contract" }
  interface { "interface" }
  library { "library" }
  function { "function" }
  modifier { "modifier" }
  event { "event" }
  struct { "struct" }
  enum { "enum" }
  mapping { "mapping" }
  address { "address" }
  bool { "bool" }
  string { "string" }
  int { "int" }
  uint { "uint" }
  public { "public" }
  private { "private" }
  internal { "internal" }
  external { "external" }
  view { "view" }
  pure { "pure" }
  payable { "payable" }
  returns { "returns" }
  memory { "memory" }
  storage { "storage" }
  calldata { "calldata" }
  if { "if" }
  else { "else" }
  while { "while" }
  for { "for" }
  return { "return" }
  break { "break" }
  continue { "continue" }
  new { "new" }
  delete { "delete" }
  require { "require" }
  assert { "assert" }

  Operator {
    "+" | "-" | "*" | "/" | "%" | "=" | "==" | "!=" | "<=" | ">=" | "<" | ">" |
    "&&" | "||" | "!" | "++" | "--" | "+=" | "-=" | "*=" | "/=" | "%=" | "&" |
    "|" | "^" | "<<" | ">>" | "~"
  }

  Number { std.digit+ }
  Boolean { "true" | "false" }
  String { "\"" [^"]* "\"" }

  "{ }" { "{" | "}" }
  "( )" { "(" | ")" }
  "[ ]" { "[" | "]" }
  ";" { ";" }
  "," { "," }
  "." { "." }

  Identifier { std.asciiLetter std.asciiLetterOrDigit* }
}

Statement {
  VariableDeclaration | FunctionDeclaration | IfStatement | WhileStatement |
  ForStatement | ReturnStatement | ExpressionStatement
}

Expression {
  Literal | Identifier | BinaryExpression | FunctionCall | Assignment |
  NewExpression
}

Literal {
  Number | Boolean | String
}

BinaryExpression {
  Expression Operator Expression
}

FunctionCall {
  Identifier "(" ArgumentList? ")"
}

Assignment {
  Identifier "=" Expression
}

NewExpression {
  "new" Type "(" ArgumentList? ")"
}

FunctionDeclaration {
  "function" Identifier "(" ParameterList? ")" VisibilitySpecifier*
  ReturnParameters? Block
}

ParameterList {
  (Type Identifier ("," Type Identifier)*)?
}

VisibilitySpecifier {
  "public" | "private" | "internal" | "external"
}

ReturnParameters {
  "returns" "(" Type ("," Type)* ")"
}

Block {
  "{" Statement* "}"
}

VariableDeclaration {
  Type Identifier "=" Expression ";"
}

IfStatement {
  "if" "(" Expression ")" Block ("else" Block)?
}

WhileStatement {
  "while" "(" Expression ")" Block
}

ForStatement {
  "for" "(" (VariableDeclaration | Expression? ";") Expression? ";"
  Expression? ")" Block
}

ReturnStatement {
  "return" Expression? ";"
}

ExpressionStatement {
  Expression ";"
}

Type {
  ElementaryType | UserDefinedType
}

ElementaryType {
  "uint" | "int" | "bool" | "address" | "string"
}

UserDefinedType {
  Identifier
}