Pyre Configurationless migration for] [batch:82/112] [shard:6/N]

api/code_navigation_query.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module contains logic for querying a socket connection to a
 Pyre code-navigation daemon. See ./daemon_launcher.py for how to

api/connection.py

@@ -4,6 +4,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module contains logic for a Python API to query Pyre
 daemons. This API is based on shelling out to the `pyre query`

api/daemon_launcher.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module provides a Python API for starting and stopping Pyre daemons
 (using the new code navigation backend).

api/query.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module contains logic for transforming the raw output of Pyre queries
 into structured Pythonic data structure.

api/tests/connection_test.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 
 import subprocess
 import unittest

api/tests/daemon_launcher_test.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 import unittest
 from pathlib import Path
 from typing import Union

api/tests/query_test.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 import unittest
 from unittest.mock import call, MagicMock, patch
 

client/backend_arguments.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module defines shared logic for data sent to the Pyre backend
 as a json arguments file when launching a new backend process.

client/background_tasks.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module defines a background task base class, that can be used
 to start an async background task (which is basically a forked async

client/command_arguments.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module provides a series of dataclasses and enums
 that describe command-line arguments for invoking Pyre.

client/commands/__init__.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 The `client.commands` namespace of Pyre contains the entrypoints
 for all of the subcommands of pyre such as `pyre check` and

client/commands/analyze.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 Entrypoint for the `pyre analyze` command, which runs Pysa analysis.
 """

client/commands/check.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module provides the logic for the `pyre check` command, which runs a
 single-shot type check (as opposed to `pyre incremental`, which starts a

client/commands/code_navigation.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This command contains the main logic for the client connecting language servers
 and Pyre's code navigation server. It mainly ferries LSP requests back and forth between

client/commands/commands.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module provides some utility code for handling exit status and
 uncaught exceptions in Pyre commands.

client/commands/coverage.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module provides the logic for computing function-level coverage in Pyre.
 

client/commands/daemon_querier.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 The request handler provides an interface and implementation for LSP related
 queries (such as hover & definition). The current implementation of the request

client/commands/daemon_query.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 The daemon query module contains APIs for sending requests to the Pyre daemon.
 The responsibility of this layer is to serialize queries and send them over the connection,

client/commands/error_code_to_link_mapper.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 
 error_code_to_fragment: dict[int, str] = {
     0: "0-unused-ignore",

client/commands/expression_level_coverage.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module provides logic for computing expression-level coverage in
 Pyre. Expression-level coverage queries the backend and actually traveses

client/commands/find_symbols.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module contains logic for a Python-based implementation of
 gathering document symbols for a language server. We traverse the

client/commands/incremental.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module provides the logic for the `pyre incremental` command,
 which is what is also run when `pyre` is invoked with no subcommand.

client/commands/infer.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module contains the logic for `pyre infer`.
 

client/commands/info.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 Logic for the `pyre info` command, which prints information about
 the current pyre environment (e.g. socket path, log locations).

client/commands/initialization.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module handles the initialization-related code for the LSP server, including the
 LSP handshake and the policy of starting a Pyre server.

client/commands/initialize.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module contains logic for `pyre init`, which interactively
 helps a user create a new pyre configuration.

client/commands/initialize_pysa.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module provides the logic for the `pyre init-pysa` command, which:
 - generate a pyre configuration if necessary

client/commands/kill.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module provides the logic for `pyre kill`. Normally one would cleanly
 shut down a pyre daemon using `pyre stop`, but if the daemon is not

client/commands/launch_and_subscribe_handler.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module contains an abstract daemon class that manages a Pyre process.
 

client/commands/libcst_util.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 import logging
 from collections import defaultdict
 from pathlib import Path

client/commands/no_daemon_query.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module represents an API for all no-daemon queries that are invoked
 on the command line. No-daemon in this context means that no running instance of a Pyre

client/commands/persistent.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module represents the top level class and entry point for the LSP client
 to interact with the Pyre Server. The LSP client will invoke the top level

client/commands/profile.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 Logic for the `pyre profile` command, which (depending on the
 `--profile-output` flag) will summarize or display the raw logs

client/commands/pyre_language_server.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module is responsible for handling requests from the VScode language server and generating an appropriate response.
 

client/commands/pyre_server_options.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module describes all of the flags that control behavior of a Pyre
 language server - for example, the location of the backend binary and

client/commands/pysa_server.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 
 """
 This is an implementation of Pysa's language server. It is a refactored

client/commands/query.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module represents a very high level API for
 all the processing that will be done by the Pyre server when a

client/commands/query_response.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module provides a raw, untyped representation for daemon query
 responses which handles unwrapping the outer layer of responses sent

client/commands/rage.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module provides the logic for the `pyre rage` command, which collects
 information that may be useful for debugging problems with Pyre (e.g. logs

client/commands/report.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module provides the entrypoint for `pyre report`, a command to
 collect data about code and how well Pyre can understand its types.

client/commands/report_any_expressions.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module provides the entrypoint for `pyre report-any-expressions`, a command
 to collect data about how often the Pyre type check for an expression will have

client/commands/restart.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module provides the logic for the `pyre restart` command, which
 is a single command that effectively runs `pyre stop` followed by

client/commands/server_event.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module provides Python event data structures to represent
 interactions with the Pyre daemon, as well as an async utility

client/commands/server_state.py

@@ -3,6 +3,8 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
+# pyre-strict
+
 """
 This module stores all server state related fields as a single class, so all the mutable state
 can be accessed in one place. Note that this state is mutable and a singleton, so users of this module