:py:mod:`raesl.compile.typechecking.compdef_goal_builder`
=========================================================

.. py:module:: raesl.compile.typechecking.compdef_goal_builder

.. autoapi-nested-parse::

   Code for collecting and adding goals to component definitions.



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

Classes
~~~~~~~

.. autoapisummary::

   raesl.compile.typechecking.compdef_goal_builder.CompDefGoalBuilder




.. py:class:: CompDefGoalBuilder(comp_child_builders: raesl.compile.typechecking.compdef_builder.CompDefChildBuilders)


   Bases: :py:obj:`raesl.compile.typechecking.goal_transform_base.GoalTransformBaseBuilder`

   Collect goals of a component from the parser, check them, and eventually add them
   to the surrounding component definition.

   :param goals: Found goals in the component.
   :param goal_kind: Last found kind of goal section, 'requirement' or 'constraint'.

   .. py:method:: new_goal_header(goal_kind: raesl.compile.scanner.Token)

      New goal header line found.

      :param goal_kind: Kind of goals that will follow.


   .. py:method:: add_goal(goal: raesl.compile.ast.components.Goal)

      New goal has been found by the parser, add it to the found goals.

      :param goal: Goal to add.


   .. py:method:: add_goal_subclause(sub_clause: raesl.compile.ast.components.SubClause)

      Subclause of the last goal has been found, add it to the last goal.


   .. py:method:: finish_comp(comp_def: raesl.compile.ast.components.ComponentDefinition, spec: raesl.compile.ast.specification.Specification)

      Check the found goals, and add them to the component.