.. _stdlib_lint:

==================
Paranoid lint pass
==================

.. das:module:: lint

The LINT module implements static analysis checks for daslang code.
It provides customizable lint rules that detect common mistakes, style
violations, and potential bugs at compile time.

All functions and symbols are in "lint" module, use require to get access to it.

.. code-block:: das

    require daslib/lint



+++++++++++++++
Lint operations
+++++++++++++++

  *  :ref:`paranoid (prog: ProgramPtr; compile_time_errors: bool) <function-lint_paranoid_ProgramPtr_bool>`
  *  :ref:`paranoid_collect (prog: ProgramPtr; var errors: array\<string\>) : int <function-lint_paranoid_collect_ProgramPtr_array_ls_string_gr_>`

.. _function-lint_paranoid_ProgramPtr_bool:

.. das:function:: paranoid(prog: ProgramPtr; compile_time_errors: bool)

Runs the paranoid lint visitor on the program to check for common coding issues.


:Arguments: * **prog** :  :ref:`ProgramPtr <alias-ProgramPtr>`

            * **compile_time_errors** : bool

.. _function-lint_paranoid_collect_ProgramPtr_array_ls_string_gr_:

.. das:function:: paranoid_collect(prog: ProgramPtr; errors: array<string>) : int

Runs the paranoid lint visitor and collects errors as strings.
Returns the number of lint issues found.


:Arguments: * **prog** :  :ref:`ProgramPtr <alias-ProgramPtr>`

            * **errors** : array<string>