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

.. py:module:: raesl.compile.typechecking.compdef_compinst_builder

.. autoapi-nested-parse::

   Builder to add child component instances to a component definition.



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

Classes
~~~~~~~

.. autoapisummary::

   raesl.compile.typechecking.compdef_compinst_builder.CompDefCompInstBuilder




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


   Collect and check child component instances of a component definition.

   :param comp_child_builders: Storage of child builder for a component definition.

   .. attribute:: diag_store

      Child builders problem store.

   .. attribute:: instances

      Collected component instances.

   .. attribute:: last_instance

      Link to last added instance, to allow adding instance
      arguments to it.

   .. py:method:: add_compinst(inst_name_tok: raesl.compile.scanner.Token, def_name_tok: raesl.compile.scanner.Token, has_arguments: bool)

      Store a new child component instance line.


   .. py:method:: add_compinst_arguments(arguments: List[raesl.compile.scanner.Token])

      Store a line of component instance argument names.


   .. py:method:: get_compdef_names() -> Set[str]

      Get the names of used definitions.


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

      Finish checking and adding child component instances to the component.

      :param comp_def: Used as 'my' component definition.
      :param spec: Used as source for types.