raesl.compile.machine_files.variables

Line matcher state machines for variable declarations.

Module Contents

Functions

_process_varheader(→ None)
_process_varline(→ None)

Attributes

_VARIABLE_HEADER_SPEC
_VARIABLE_LINE_SPEC
MACHINES

raesl.compile.machine_files.variables._VARIABLE_HEADER_SPEC = Multiline-String

Show Value

"""
variable_header:
    start initial;
    start -> s1 [VARIABLE_KW] tag=variable;

    end accept=variable_header;
    s1 -> end [NL_TK];
    s1 -> end [EOF_TK];
"""

raesl.compile.machine_files.variables._process_varheader(tags: raesl.compile.machine_files.typing.TokensDict, _accept: str, builder: raesl.compile.typechecking.ast_builder.AstBuilder) → None

raesl.compile.machine_files.variables._VARIABLE_LINE_SPEC = Multiline-String

Show Value

"""
variable_line:
    start initial;
    start -> s1 [NAME] tag=varname;
    s1 -> start [COMMA_TK];

    s1 -> s2 [IS_KW];
    s2 -> s3 [A_KW];
    s3 -> s4 [NAME] tag=typename;

    end accept=variable_line;
    s4 -> end [NL_TK];
    s4 -> end [EOF_TK];
"""

raesl.compile.machine_files.variables._process_varline(tags: raesl.compile.machine_files.typing.TokensDict, _accept: str, builder: raesl.compile.typechecking.ast_builder.AstBuilder) → None

raesl.compile.machine_files.variables.MACHINES: raesl.compile.machine_files.typing.MachineTripletList = [('VARIABLE_HEADER_MACHINE',), ('VARIABLE_LINE_MACHINE',)]