#!/usr/bin/env python3

# WARNING: CAVEAT UTILITOR
#
#  This file was automatically generated by TatSu.
#
#     https://pypi.python.org/pypi/tatsu/
#
#  Any changes you make to it will be overwritten the next time
#  the file is generated.

# ruff: noqa: C405, COM812, I001, F401, PLR1702, PLC2801, SIM117

import sys
from pathlib import Path

from tatsu.buffering import Buffer
from tatsu.parsing import Parser
from tatsu.parsing import tatsumasu
from tatsu.parsing import leftrec, nomemo, isname
from tatsu.infos import ParserConfig
from tatsu.util import re, generic_main


KEYWORDS: set[str] = set()


class pcodeBuffer(Buffer):
    def __init__(self, text, /, config: ParserConfig | None = None, **settings):
        config = ParserConfig.new(
            config,
            owner=self,
            whitespace=None,
            nameguard=None,
            ignorecase=False,
            namechars='',
            parseinfo=False,
            comments=None,
            eol_comments=None,
            keywords=KEYWORDS,
            start='start',
        )
        config = config.replace(**settings)

        super().__init__(text, config=config)


class pcodeParser(Parser):
    def __init__(self, /, config: ParserConfig | None = None, **settings):
        config = ParserConfig.new(
            config,
            owner=self,
            whitespace=None,
            nameguard=None,
            ignorecase=False,
            namechars='',
            parseinfo=False,
            comments=None,
            eol_comments=None,
            keywords=KEYWORDS,
            start='start',
        )
        config = config.replace(**settings)

        super().__init__(config=config)

    @tatsumasu()
    def _start_(self):
        self._statement_()
        with self._optional():
            self._token(';')
        self._check_eof()

    @tatsumasu()
    def _statement_(self):
        with self._choice():
            with self._option():
                self._token('if')
                self._expr0_()
                self._token('then')
                self._statement_()

                def block0():
                    self._token('else')
                    self._statement_()
                self._closure(block0)
            with self._option():
                self._token('UNPREDICTABLE')
            with self._option():
                self._token('UNDEFINED')
            with self._option():
                self._token('NOT_PERMITTED')
            with self._option():
                self._token('NOP')
            with self._option():
                self._token('nop')
            with self._option():
                self._token('SEE')
                self._whatever_()
            with self._option():
                self._tuple_()
                self._token('=')
                self._expr0_()
            with self._option():
                self._ident_()
                self._token('=')
                self._token('if')
                self._expr0_()
                self._token('then')
                self._expr0_()
                self._token('else')
                self._expr0_()
            with self._option():
                self._expr0_()
                self._token('=')
                self._expr0_()
            self._error(
                'expecting one of: '
                "'(' 'NOP' 'NOT_PERMITTED' 'SEE'"
                "'UNDEFINED' 'UNPREDICTABLE' 'if' 'nop'"
                '<expr0> <expr1> <ident> <tuple>'
                '[a-zA-Z][\\.\\w]*'
            )

    @tatsumasu()
    def _tuple_(self):
        self._token('(')
        with self._group():
            with self._choice():
                with self._option():
                    self._token('-')
                with self._option():
                    self._expr0_()
                self._error(
                    'expecting one of: '
                    "'-' <expr0>"
                )

        def block0():
            self._token(',')
            with self._group():
                with self._choice():
                    with self._option():
                        self._token('-')
                    with self._option():
                        self._expr0_()
                    self._error(
                        'expecting one of: '
                        "'-' <expr0>"
                    )
        self._positive_closure(block0)
        self._token(')')

    @tatsumasu()
    def _expr0_(self):
        with self._choice():
            with self._option():
                self._expr1_()

                def block0():
                    with self._group():
                        with self._choice():
                            with self._option():
                                self._token('EOR')
                            with self._option():
                                self._token('+')
                            with self._option():
                                self._token('-')
                            with self._option():
                                self._token('&&')
                            with self._option():
                                self._token('||')
                            self._error(
                                'expecting one of: '
                                "'&&' '+' '-' 'EOR' '||'"
                            )
                    self._expr1_()
                self._positive_closure(block0)
            with self._option():
                self._expr1_()
            self._error(
                'expecting one of: '
                '<expr1> <expr2>'
            )

    @tatsumasu()
    def _expr1_(self):
        with self._choice():
            with self._option():
                self._expr2_()

                def block0():
                    with self._group():
                        with self._choice():
                            with self._option():
                                self._token('*')
                            with self._option():
                                self._token('/')
                            with self._option():
                                self._token('<<')
                            with self._option():
                                self._token('>>')
                            with self._option():
                                self._token('DIV')
                            with self._option():
                                self._token('XOR')
                            self._error(
                                'expecting one of: '
                                "'*' '/' '<<' '>>' 'DIV' 'XOR'"
                            )
                    self._expr2_()
                self._positive_closure(block0)
            with self._option():
                self._expr2_()

                def block1():
                    with self._group():
                        with self._choice():
                            with self._option():
                                self._token('==')
                            with self._option():
                                self._token('!=')
                            with self._option():
                                self._token('<=')
                            with self._option():
                                self._token('>=')
                            with self._option():
                                self._token('<')
                            with self._option():
                                self._token('>')
                            self._error(
                                'expecting one of: '
                                "'!=' '<' '<=' '==' '>' '>='"
                            )
                    self._expr2_()
                self._positive_closure(block1)
            with self._option():
                self._expr2_()
            self._error(
                'expecting one of: '
                '<expr2> <expr3> <func_call>'
            )

    @tatsumasu()
    def _expr2_(self):
        with self._choice():
            with self._option():
                self._func_call_()
            with self._option():
                self._expr3_()
            self._error(
                'expecting one of: '
                "'!' '(' <advsimdexpandimm> <archversion>"
                '<badreg> <bitcount> <bits>'
                '<builtin_value> <consistent>'
                '<currentinstrset> <decodeimmshift>'
                '<expr3> <func_call> <ident> <initblock>'
                '<issecure> <lastinitblock> <not>'
                '<number> <signextend> <sliceable>'
                '<thumbexpandimm> <thumbexpandimm_c>'
                '<tuple> <uint> <vfpexpandimm>'
                '<zeroextend> <zeros>'
            )

    @tatsumasu()
    def _expr3_(self):
        with self._choice():
            with self._option():
                self._builtin_value_()
            with self._option():
                self._sliceable_()
            with self._option():
                with self._group():
                    with self._choice():
                        with self._option():
                            self._ident_()
                        with self._option():
                            self._number_()
                        with self._option():
                            self._bits_()
                        self._error(
                            'expecting one of: '
                            '<bits> <ident> <number>'
                        )

                def block0():
                    self._token(':')
                    with self._group():
                        with self._choice():
                            with self._option():
                                self._ident_()
                            with self._option():
                                self._number_()
                            with self._option():
                                self._bits_()
                            self._error(
                                'expecting one of: '
                                '<bits> <ident> <number>'
                            )
                self._closure(block0)
            with self._option():
                self._tuple_()
            with self._option():
                self._token('(')
                self._expr0_()
                self._token(')')
            with self._option():
                self._token('!')
                self._expr0_()
            self._error(
                'expecting one of: '
                "'!' '(' 'ARM_GRP_ARM' 'ARM_GRP_CRC'"
                "'ARM_GRP_CRYPT' 'ARM_GRP_DATABARRIER'"
                "'ARM_GRP_DIVIDE' 'ARM_GRP_DPVFP'"
                "'ARM_GRP_FPARMV8' 'ARM_GRP_FPVMLX'"
                "'ARM_GRP_INVALID' 'ARM_GRP_JUMP'"
                "'ARM_GRP_MCLASS' 'ARM_GRP_MULOPS'"
                "'ARM_GRP_MULTPRO' 'ARM_GRP_NEON'"
                "'ARM_GRP_NOTMCLASS' 'ARM_GRP_PREV8'"
                "'ARM_GRP_T2EXTRACTPACK' 'ARM_GRP_THUMB'"
                "'ARM_GRP_THUMB1ONLY' 'ARM_GRP_THUMB2'"
                "'ARM_GRP_THUMB2DSP' 'ARM_GRP_TRUSTZONE'"
                "'ARM_GRP_V4T' 'ARM_GRP_V5T'"
                "'ARM_GRP_V5TE' 'ARM_GRP_V6'"
                "'ARM_GRP_V6M' 'ARM_GRP_V6T2'"
                "'ARM_GRP_V7' 'ARM_GRP_V8' 'ARM_GRP_VFP2'"
                "'ARM_GRP_VFP3' 'ARM_GRP_VFP4' 'FALSE'"
                "'InstrSet_ThumbEE' 'SRType_ASR'"
                "'SRType_LSL' 'SRType_LSR' 'SRType_ROR'"
                "'SRType_RRX' 'TRUE' 'Vd<' 'Vm<' 'Vn<'"
                "'[01]+' 'align<' 'cc<' 'cmode<' 'cond<'"
                "'imm6<' 'imm8<' 'imod<' 'index_align<'"
                "'list<' 'mask<' 'registers<' <bits>"
                '<builtin_value> <ident> <number>'
                '<sliceable> <tuple> [a-zA-Z][\\.\\w]* \\d+'
            )

    @tatsumasu()
    def _number_(self):
        self._pattern('\\d+')

    @tatsumasu()
    def _bits_(self):
        self._pattern("'[01]+'")

    @tatsumasu()
    def _ident_(self):
        self._pattern('[a-zA-Z][\\.\\w]*')

    @tatsumasu()
    def _whatever_(self):
        self._pattern('.*')

    @tatsumasu()
    def _sliceable_(self):
        with self._choice():
            with self._option():
                self._token('index_align<')
                self._number_()
                self._token(':')
                self._number_()
                self._token('>')
            with self._option():
                self._token('index_align<')
                self._number_()
                self._token('>')
            with self._option():
                self._token('align<')
                self._number_()
                self._token('>')
            with self._option():
                self._token('mask<')
                self._number_()
                self._token('>')
            with self._option():
                self._token('imod<')
                self._number_()
                self._token('>')
            with self._option():
                self._token('imm6<')
                self._number_()
                self._token('>')
            with self._option():
                self._token('imm6<')
                self._number_()
                self._token(':')
                self._number_()
                self._token('>')
            with self._option():
                self._token('imm8<')
                self._number_()
                self._token('>')
            with self._option():
                self._token('Vd<')
                self._number_()
                self._token('>')
            with self._option():
                self._token('Vn<')
                self._number_()
                self._token('>')
            with self._option():
                self._token('Vm<')
                self._number_()
                self._token('>')
            with self._option():
                self._token('Vm<')
                self._number_()
                self._token(':')
                self._number_()
                self._token('>')
            with self._option():
                self._token('cc<')
                self._number_()
                self._token('>')
            with self._option():
                self._token('cmode<')
                self._number_()
                self._token('>')
            with self._option():
                self._token('cmode<')
                self._number_()
                self._token(':')
                self._number_()
                self._token('>')
            self._error(
                'expecting one of: '
                "'Vd<' 'Vm<' 'Vn<' 'align<' 'cc<'"
                "'cmode<' 'imm6<' 'imm8<' 'imod<'"
                "'index_align<' 'mask<'"
            )

    @tatsumasu()
    def _builtin_value_(self):
        with self._choice():
            with self._option():
                self._token('TRUE')
            with self._option():
                self._token('FALSE')
            with self._option():
                self._token('registers<')
                with self._group():
                    with self._choice():
                        with self._option():
                            self._number_()
                        with self._option():
                            self._ident_()
                        self._error(
                            'expecting one of: '
                            '<ident> <number>'
                        )
                self._token('>')
            with self._option():
                self._token('list<')
                with self._group():
                    with self._choice():
                        with self._option():
                            self._number_()
                        with self._option():
                            self._ident_()
                        self._error(
                            'expecting one of: '
                            '<ident> <number>'
                        )
                self._token('>')
            with self._option():
                self._token('cond<')
                self._number_()
                self._token(':')
                self._number_()
                self._token('>')
            with self._option():
                self._token('cond<')
                self._expr0_()
                self._token('>')
            with self._option():
                self._token('SRType_LSL')
            with self._option():
                self._token('SRType_LSR')
            with self._option():
                self._token('SRType_ASR')
            with self._option():
                self._token('SRType_ROR')
            with self._option():
                self._token('SRType_RRX')
            with self._option():
                self._token('InstrSet_ThumbEE')
            with self._option():
                self._token('ARM_GRP_INVALID')
            with self._option():
                self._token('ARM_GRP_JUMP')
            with self._option():
                self._token('ARM_GRP_CRYPT')
            with self._option():
                self._token('ARM_GRP_DATABARRIER')
            with self._option():
                self._token('ARM_GRP_DIVIDE')
            with self._option():
                self._token('ARM_GRP_FPARMV8')
            with self._option():
                self._token('ARM_GRP_MULTPRO')
            with self._option():
                self._token('ARM_GRP_NEON')
            with self._option():
                self._token('ARM_GRP_T2EXTRACTPACK')
            with self._option():
                self._token('ARM_GRP_THUMB2DSP')
            with self._option():
                self._token('ARM_GRP_TRUSTZONE')
            with self._option():
                self._token('ARM_GRP_V4T')
            with self._option():
                self._token('ARM_GRP_V5T')
            with self._option():
                self._token('ARM_GRP_V5TE')
            with self._option():
                self._token('ARM_GRP_V6')
            with self._option():
                self._token('ARM_GRP_V6T2')
            with self._option():
                self._token('ARM_GRP_V7')
            with self._option():
                self._token('ARM_GRP_V8')
            with self._option():
                self._token('ARM_GRP_VFP2')
            with self._option():
                self._token('ARM_GRP_VFP3')
            with self._option():
                self._token('ARM_GRP_VFP4')
            with self._option():
                self._token('ARM_GRP_ARM')
            with self._option():
                self._token('ARM_GRP_MCLASS')
            with self._option():
                self._token('ARM_GRP_NOTMCLASS')
            with self._option():
                self._token('ARM_GRP_THUMB')
            with self._option():
                self._token('ARM_GRP_THUMB1ONLY')
            with self._option():
                self._token('ARM_GRP_THUMB2')
            with self._option():
                self._token('ARM_GRP_PREV8')
            with self._option():
                self._token('ARM_GRP_FPVMLX')
            with self._option():
                self._token('ARM_GRP_MULOPS')
            with self._option():
                self._token('ARM_GRP_CRC')
            with self._option():
                self._token('ARM_GRP_DPVFP')
            with self._option():
                self._token('ARM_GRP_V6M')
            self._error(
                'expecting one of: '
                "'ARM_GRP_ARM' 'ARM_GRP_CRC'"
                "'ARM_GRP_CRYPT' 'ARM_GRP_DATABARRIER'"
                "'ARM_GRP_DIVIDE' 'ARM_GRP_DPVFP'"
                "'ARM_GRP_FPARMV8' 'ARM_GRP_FPVMLX'"
                "'ARM_GRP_INVALID' 'ARM_GRP_JUMP'"
                "'ARM_GRP_MCLASS' 'ARM_GRP_MULOPS'"
                "'ARM_GRP_MULTPRO' 'ARM_GRP_NEON'"
                "'ARM_GRP_NOTMCLASS' 'ARM_GRP_PREV8'"
                "'ARM_GRP_T2EXTRACTPACK' 'ARM_GRP_THUMB'"
                "'ARM_GRP_THUMB1ONLY' 'ARM_GRP_THUMB2'"
                "'ARM_GRP_THUMB2DSP' 'ARM_GRP_TRUSTZONE'"
                "'ARM_GRP_V4T' 'ARM_GRP_V5T'"
                "'ARM_GRP_V5TE' 'ARM_GRP_V6'"
                "'ARM_GRP_V6M' 'ARM_GRP_V6T2'"
                "'ARM_GRP_V7' 'ARM_GRP_V8' 'ARM_GRP_VFP2'"
                "'ARM_GRP_VFP3' 'ARM_GRP_VFP4' 'FALSE'"
                "'InstrSet_ThumbEE' 'SRType_ASR'"
                "'SRType_LSL' 'SRType_LSR' 'SRType_ROR'"
                "'SRType_RRX' 'TRUE' 'cond<' 'list<'"
                "'registers<'"
            )

    @tatsumasu()
    def _func_call_(self):
        with self._choice():
            with self._option():
                self._bitcount_()
            with self._option():
                self._badreg_()
            with self._option():
                self._consistent_()
            with self._option():
                self._decodeimmshift_()
            with self._option():
                self._thumbexpandimm_()
            with self._option():
                self._thumbexpandimm_c_()
            with self._option():
                self._advsimdexpandimm_()
            with self._option():
                self._vfpexpandimm_()
            with self._option():
                self._uint_()
            with self._option():
                self._zeroextend_()
            with self._option():
                self._zeros_()
            with self._option():
                self._initblock_()
            with self._option():
                self._lastinitblock_()
            with self._option():
                self._archversion_()
            with self._option():
                self._currentinstrset_()
            with self._option():
                self._signextend_()
            with self._option():
                self._not_()
            with self._option():
                self._issecure_()
            self._error(
                'expecting one of: '
                "'AdvSIMDExpandImm(' 'ArchVersion()'"
                "'BadReg(' 'BitCount(' 'Consistent('"
                "'CurrentInstrSet()' 'DecodeImmShift('"
                "'InITBlock()' 'IsSecure()'"
                "'LastInITBlock()' 'NOT(' 'SignExtend('"
                "'ThumbExpandImm(' 'ThumbExpandImm_C('"
                "'UInt(' 'VFPExpandImm(' 'ZeroExtend('"
                "'Zeros(' <advsimdexpandimm>"
                '<archversion> <badreg> <bitcount>'
                '<consistent> <currentinstrset>'
                '<decodeimmshift> <initblock> <issecure>'
                '<lastinitblock> <not> <signextend>'
                '<thumbexpandimm> <thumbexpandimm_c>'
                '<uint> <vfpexpandimm> <zeroextend>'
                '<zeros>'
            )

    @tatsumasu()
    def _bitcount_(self):
        self._token('BitCount(')
        self._expr0_()
        self._token(')')

    @tatsumasu()
    def _badreg_(self):
        self._token('BadReg(')
        self._expr0_()
        self._token(')')

    @tatsumasu()
    def _consistent_(self):
        self._token('Consistent(')
        self._expr0_()
        self._token(')')

    @tatsumasu()
    def _decodeimmshift_(self):
        self._token('DecodeImmShift(')
        self._expr0_()
        self._token(',')
        self._expr0_()
        self._token(')')

    @tatsumasu()
    def _thumbexpandimm_(self):
        self._token('ThumbExpandImm(')
        self._expr0_()
        self._token(')')

    @tatsumasu()
    def _thumbexpandimm_c_(self):
        self._token('ThumbExpandImm_C(')
        self._expr0_()
        self._token(',')
        self._expr0_()
        self._token(')')

    @tatsumasu()
    def _advsimdexpandimm_(self):
        self._token('AdvSIMDExpandImm(')
        self._expr0_()
        self._token(',')
        self._expr0_()
        self._token(',')
        self._expr0_()
        self._token(',')
        self._expr0_()
        self._token(')')

    @tatsumasu()
    def _vfpexpandimm_(self):
        self._token('VFPExpandImm(')
        self._expr0_()
        self._token(',')
        self._expr0_()
        self._token(',')
        self._expr0_()
        self._token(')')

    @tatsumasu()
    def _uint_(self):
        self._token('UInt(')
        self._expr0_()
        self._token(')')

    @tatsumasu()
    def _zeroextend_(self):
        self._token('ZeroExtend(')
        self._expr0_()
        self._token(',')
        self._expr0_()
        self._token(')')

    @tatsumasu()
    def _zeros_(self):
        self._token('Zeros(')
        self._expr0_()
        self._token(')')

    @tatsumasu()
    def _initblock_(self):
        self._token('InITBlock()')

    @tatsumasu()
    def _lastinitblock_(self):
        self._token('LastInITBlock()')

    @tatsumasu()
    def _archversion_(self):
        self._token('ArchVersion()')

    @tatsumasu()
    def _currentinstrset_(self):
        self._token('CurrentInstrSet()')

    @tatsumasu()
    def _signextend_(self):
        self._token('SignExtend(')
        self._expr3_()
        self._token(', 32)')

    @tatsumasu()
    def _not_(self):
        self._token('NOT(')
        self._expr0_()
        self._token(')')

    @tatsumasu()
    def _issecure_(self):
        self._token('IsSecure()')


def main(filename, **kwargs):
    if not filename or filename == '-':
        text = sys.stdin.read()
    else:
        text = Path(filename).read_text()
    parser = pcodeParser()
    return parser.parse(
        text,
        filename=filename,
        **kwargs,
    )


if __name__ == '__main__':
    import json
    from tatsu.util import asjson

    ast = generic_main(main, pcodeParser, name='pcode')
    data = asjson(ast)
    print(json.dumps(data, indent=2))