raesl.compile.machine_files.transforms

Line matcher state machines for transformations.

Module Contents

Functions

_process_transform_header(→ None)
_process_transform_no_subs(→ None)
_process_transform_with_subs(→ None)
_process_transform_subclause(→ None)

Attributes

_TRANSFORM_HEADER_SPEC
_TRANSFORM_MAIN_NO_SUBS_SPEC
_TRANSFORM_MAIN_WITH_SUBS_SPEC
MACHINES

raesl.compile.machine_files.transforms._TRANSFORM_HEADER_SPEC = Multiline-String

Show Value

"""
trasform_header:
    start initial;
    start -> s1 [TRANSFORM_REQUIREMENT_KW] tag=transform_kind;
    start -> s1 [TRANSFORM_CONSTRAINT_KW] tag=transform_kind;

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

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

raesl.compile.machine_files.transforms._TRANSFORM_MAIN_NO_SUBS_SPEC

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

raesl.compile.machine_files.transforms._TRANSFORM_MAIN_WITH_SUBS_SPEC

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

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

raesl.compile.machine_files.transforms.MACHINES: raesl.compile.machine_files.typing.MachineTripletList = [('TRANSFORM_HEADER_MACHINE',), ('TRANSFORM_MAIN_NO_SUBS_MACHINE',),...