raesl.compile.machine_files.goals#

Line matcher state machines for goals.

Module Contents#

Functions#

_process_goal_header(→ None)

_process_goal_with_subs(→ None)

_process_goal_no_subs(→ None)

_process_goal_subclause(→ None)

Attributes#

_GOAL_HEADER_SPEC

_GOAL_MAIN_WITH_SUBS_SPEC

_GOAL_MAIN_NO_SUBS_SPEC

MACHINES

raesl.compile.machine_files.goals._GOAL_HEADER_SPEC = Multiline-String#
Show Value
"""
goal_header:
    start initial;
    start -> s1 [GOAL_REQUIREMENT_KW] tag=goal_kind;
    start -> s1 [GOAL_CONSTRAINT_KW] tag=goal_kind;

    end accept=goal_header;
    s1 -> end [NL_TK];
"""
raesl.compile.machine_files.goals._process_goal_header(tags: raesl.compile.machine_files.typing.TokensDict, _accept: str, builder: raesl.compile.typechecking.ast_builder.AstBuilder) None#
raesl.compile.machine_files.goals._GOAL_MAIN_WITH_SUBS_SPEC#
raesl.compile.machine_files.goals._process_goal_with_subs(tags: raesl.compile.machine_files.typing.TokensDict, _accept: str, builder: raesl.compile.typechecking.ast_builder.AstBuilder) None#
raesl.compile.machine_files.goals._GOAL_MAIN_NO_SUBS_SPEC#
raesl.compile.machine_files.goals._process_goal_no_subs(tags: raesl.compile.machine_files.typing.TokensDict, _accept: str, builder: raesl.compile.typechecking.ast_builder.AstBuilder) None#
raesl.compile.machine_files.goals._process_goal_subclause(tags: raesl.compile.machine_files.typing.TokensDict, _accept: str, builder: raesl.compile.typechecking.ast_builder.AstBuilder) None#
raesl.compile.machine_files.goals.MACHINES: raesl.compile.machine_files.typing.MachineTripletList = [('GOAL_HEADER_MACHINE',), ('GOAL_MAIN_WITH_SUBS_MACHINE',), ('GOAL_MAIN_NO_SUBS_MACHINE',),...#