
    X-Ph?                        d Z ddlmZ ddlmZmZmZmZmZm	Z	m
Z
mZmZmZmZmZmZmZ ddlmZ ddlmZmZmZ ddlmZ  G d de          Zd	S )
z#Block/import reachability analysis.    )annotations)
AssertStmtAssignmentStmtBlockClassDefExpressionStmtForStmtFuncDefIfStmtImport	ImportAll
ImportFrom	MatchStmtMypyFile
ReturnStmt)Options)assert_will_always_fail"infer_reachability_of_if_statement%infer_reachability_of_match_statement)TraverserVisitorc                       e Zd ZdZd'dZd( fdZd) fdZd* fdZd+ fdZd, fdZ	d-dZ
d. fdZd/dZd0d Zd1d"Zd2d$Zd3d&Z xZS )4SemanticAnalyzerPreAnalysisa  Analyze reachability of blocks and imports and other local things.

    This runs before semantic analysis, so names have not been bound. Imports are
    also not resolved yet, so we can only access the current module.

    This determines static reachability of blocks and imports due to version and
    platform checks, among others.

    The main entry point is 'visit_file'.

    Reachability of imports needs to be determined very early in the build since
    this affects which modules will ultimately be processed.

    Consider this example:

      import sys

      def do_stuff() -> None:
          if sys.version_info >= (3, 10):
              import xyz  # Only available in Python 3.10+
              xyz.whatever()
          ...

    The block containing 'import xyz' is unreachable in Python 3 mode. The import
    shouldn't be processed in Python 3 mode, even if the module happens to exist.
    filer   fnamstrmod_idoptionsr   returnNonec           
     H   |j         | _         || _        || _        || _        d| _        t                      | _        t          |j                  D ]\  }}|	                    |            t          |t                    rt          ||          r|t          |j                  dz
  k     r\|j        |dz            |j        d         }}|j        8| xj        t          t          |j        |j        dz                       z  c_        |j        |dz   d =  n| j        |_        d S )NT   )platform
cur_mod_idcur_mod_noder   is_global_scopesetskipped_lines	enumeratedefsaccept
isinstancer   r   lenend_linerangeline)	selfr   r   r   r   idefnnext_deflasts	            R/var/www/html/test/jupyter/venv/lib/python3.11/site-packages/mypy/semanal_pass1.py
visit_filez&SemanticAnalyzerPreAnalysis.visit_file:   s   (  #'*uu ++ 	 	GAtKK$
++ 
0Gg0V0V 
 s49~~)))%)Yq1u%5ty}dH}0**c%t}WXGX2Y2Y.Z.ZZ**Ia!egg&!/    noder
   c                    | j         }d| _         t                                          |           || _         | j        }| j         r/|j        r*|j        dk    r!|                                rd|_        d S d S d S d S d S )NF__getattr__T)r&   supervisit_func_defr%   is_stubnameis_package_init_fileis_partial_stub_package)r1   r9   old_global_scope	file_node	__class__s       r6   r=   z*SemanticAnalyzerPreAnalysis.visit_func_defQ   s    /$t$$$/%	 		5!		5 	]**..00 + 15I---		5 		5 		5 		5 +***r8   r   c                t    | j         }d| _         t                                          |           || _         d S )NF)r&   r<   visit_class_def)r1   r9   rB   rD   s      r6   rF   z+SemanticAnalyzerPreAnalysis.visit_class_defb   s:    /$%%%/r8   r   c                b    | j         |_        t                                          |           d S N)r&   is_top_levelr<   visit_import_fromr1   r9   rD   s     r6   rJ   z-SemanticAnalyzerPreAnalysis.visit_import_fromh   s,     0!!$'''''r8   r   c                b    | j         |_        t                                          |           d S rH   )r&   rI   r<   visit_import_allrK   s     r6   rM   z,SemanticAnalyzerPreAnalysis.visit_import_alll   s,     0  &&&&&r8   r   c                b    | j         |_        t                                          |           d S rH   )r&   rI   r<   visit_importrK   s     r6   rO   z(SemanticAnalyzerPreAnalysis.visit_importp   s,     0T"""""r8   sr   c                    t          || j                   |j        D ]}|                    |            |j        D ]}|                    |            |j        r|j                            |            d S d S rH   )r   r   exprr+   body	else_body)r1   rP   rR   r9   s       r6   visit_if_stmtz)SemanticAnalyzerPreAnalysis.visit_if_stmtt   s    *1dl;;;F 	 	DKKF 	 	DKK; 	%Kt$$$$$	% 	%r8   br   c           	         |j         rA|j        8| xj        t          t	          |j        |j        dz                       z  c_        d S t                                          |           d S )Nr!   )is_unreachabler.   r(   r'   r/   r0   r<   visit_block)r1   rV   rD   s     r6   rY   z'SemanticAnalyzerPreAnalysis.visit_block}   sg     	z%""c%
Q*G*G&H&HH""FAr8   r   c                    t          || j                   |j        D ]}||                    |            |j        D ]}|                    |            d S rH   )r   r   guardsr+   bodies)r1   rP   guardrS   s       r6   visit_match_stmtz,SemanticAnalyzerPreAnalysis.visit_match_stmt   sn    -a>>>X 	# 	#E T"""H 	 	DKK	 	r8   r   c                    d S rH    r1   rP   s     r6   visit_assignment_stmtz1SemanticAnalyzerPreAnalysis.visit_assignment_stmt       r8   r   c                    d S rH   r`   ra   s     r6   visit_expression_stmtz1SemanticAnalyzerPreAnalysis.visit_expression_stmt   rc   r8   r   c                    d S rH   r`   ra   s     r6   visit_return_stmtz-SemanticAnalyzerPreAnalysis.visit_return_stmt   rc   r8   r	   c                    |j                             |            |j        |j                            |            d S d S rH   )rS   r+   rT   ra   s     r6   visit_for_stmtz*SemanticAnalyzerPreAnalysis.visit_for_stmt   sB    	d;"Kt$$$$$ #"r8   )
r   r   r   r   r   r   r   r   r   r   )r9   r
   r   r   )r9   r   r   r   )r9   r   r   r   )r9   r   r   r   )r9   r   r   r   )rP   r   r   r   )rV   r   r   r   )rP   r   r   r   )rP   r   r   r   )rP   r   r   r   )rP   r   r   r   )rP   r	   r   r   )__name__
__module____qualname____doc__r7   r=   rF   rJ   rM   rO   rU   rY   r^   rb   re   rg   ri   __classcell__)rD   s   @r6   r   r      si        60 0 0 0.5 5 5 5 5 5"0 0 0 0 0 0( ( ( ( ( (' ' ' ' ' '# # # # # #% % % %                 % % % % % % % %r8   r   N)rm   
__future__r   
mypy.nodesr   r   r   r   r   r	   r
   r   r   r   r   r   r   r   mypy.optionsr   mypy.reachabilityr   r   r   mypy.traverserr   r   r`   r8   r6   <module>rt      sV   ) ) " " " " " "                                 !                   
 , + + + + +~% ~% ~% ~% ~%"2 ~% ~% ~% ~% ~%r8   