raesl.compile.machine_files.designs

Line matcher state machines for designs.

Module Contents

Functions

_process_design_header(→ None)
_process_design_line(→ None)
_process_design_subclause(→ None)

Attributes

_DESIGN_HEADER_SPEC
_DESIGN_WITH_SUBS_SPEC
_DESIGN_NO_SUBS_SPEC
MACHINES

raesl.compile.machine_files.designs._DESIGN_HEADER_SPEC = Multiline-String

Show Value

"""
design_header:
    start initial;
    start -> s1 [DESIGN_REQUIREMENT_KW] tag=design;
    start -> s1 [DESIGN_CONSTRAINT_KW] tag=design;

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

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

raesl.compile.machine_files.designs._DESIGN_WITH_SUBS_SPEC

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

raesl.compile.machine_files.designs._DESIGN_NO_SUBS_SPEC

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

raesl.compile.machine_files.designs.MACHINES: raesl.compile.machine_files.typing.MachineTripletList = [('DESIGN_HEADER_MACHINE',), ('DESIGN_WITH_SUBS_MACHINE',), ('DESIGN_NO_SUBS_MACHINE',),...