m2isar.transforms.validate_behav.validate
=========================================

.. py:module:: m2isar.transforms.validate_behav.validate

.. autoapi-nested-parse::

   validate behavior in M2-ISA-R metamodel.



Classes
-------

.. autoapisummary::

   m2isar.transforms.validate_behav.validate.ValidatorContext


Functions
---------

.. autoapisummary::

   m2isar.transforms.validate_behav.validate.get_parser
   m2isar.transforms.validate_behav.validate.validate_behav
   m2isar.transforms.validate_behav.validate.run
   m2isar.transforms.validate_behav.validate.main


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

.. py:class:: ValidatorContext(warnings_info: m2isar.warnings.WarningsInfo = None)

   Bases: :py:obj:`m2isar.warnings.WarningsManager`

   .. autoapi-inheritance-diagram:: m2isar.transforms.validate_behav.validate.ValidatorContext
      :parts: 1
      :private-bases:


   Track miscellaneous information throughout the validation process.


.. py:function:: get_parser()

.. py:function:: validate_behav(model_obj, warnings_info)

.. py:function:: run(args)

.. py:function:: main(argv)