:py:mod:`raesl.compile.machine_files.goals`
===========================================

.. py:module:: raesl.compile.machine_files.goals

.. autoapi-nested-parse::

   Line matcher state machines for goals.



Module Contents
---------------


Functions
~~~~~~~~~

.. autoapisummary::

   raesl.compile.machine_files.goals._process_goal_header
   raesl.compile.machine_files.goals._process_goal_with_subs
   raesl.compile.machine_files.goals._process_goal_no_subs
   raesl.compile.machine_files.goals._process_goal_subclause



Attributes
~~~~~~~~~~

.. autoapisummary::

   raesl.compile.machine_files.goals._GOAL_HEADER_SPEC
   raesl.compile.machine_files.goals._GOAL_MAIN_WITH_SUBS_SPEC
   raesl.compile.machine_files.goals._GOAL_MAIN_NO_SUBS_SPEC
   raesl.compile.machine_files.goals.MACHINES


.. py:data:: _GOAL_HEADER_SPEC
   :value: Multiline-String

    .. raw:: html

        <details><summary>Show Value</summary>

    .. code-block:: python

        """
        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];
        """

    .. raw:: html

        </details>

   

.. py:function:: _process_goal_header(tags: raesl.compile.machine_files.typing.TokensDict, _accept: str, builder: raesl.compile.typechecking.ast_builder.AstBuilder) -> None


.. py:data:: _GOAL_MAIN_WITH_SUBS_SPEC

   

.. py:function:: _process_goal_with_subs(tags: raesl.compile.machine_files.typing.TokensDict, _accept: str, builder: raesl.compile.typechecking.ast_builder.AstBuilder) -> None


.. py:data:: _GOAL_MAIN_NO_SUBS_SPEC

   

.. py:function:: _process_goal_no_subs(tags: raesl.compile.machine_files.typing.TokensDict, _accept: str, builder: raesl.compile.typechecking.ast_builder.AstBuilder) -> None


.. py:function:: _process_goal_subclause(tags: raesl.compile.machine_files.typing.TokensDict, _accept: str, builder: raesl.compile.typechecking.ast_builder.AstBuilder) -> None


.. py:data:: MACHINES
   :type: raesl.compile.machine_files.typing.MachineTripletList
   :value: [('GOAL_HEADER_MACHINE',), ('GOAL_MAIN_WITH_SUBS_MACHINE',), ('GOAL_MAIN_NO_SUBS_MACHINE',),...