pyre-check-nightly 0.0.101735819888__py3-none-manylinux1_x86_64.whl → 0.0.101736079117__py3-none-manylinux1_x86_64.whl

pyre_check/client/language_server/features.py

@@ -34,75 +34,16 @@ class _Availability(enum.Enum):
         return self == _Availability.DISABLED
 
 
-class _AvailabilityWithShadow(enum.Enum):
-    ENABLED = "enabled"
-    DISABLED = "disabled"
-    SHADOW = "shadow"
-
-    @staticmethod
-    def from_enabled(enabled: bool) -> _AvailabilityWithShadow:
-        return (
-            _AvailabilityWithShadow.ENABLED
-            if enabled
-            else _AvailabilityWithShadow.DISABLED
-        )
-
-    def is_enabled(self) -> bool:
-        return self == _AvailabilityWithShadow.ENABLED
-
-    def is_shadow(self) -> bool:
-        return self == _AvailabilityWithShadow.SHADOW
-
-    def is_disabled(self) -> bool:
-        return self == _AvailabilityWithShadow.DISABLED
-
-
 class TypeCoverageAvailability(enum.Enum):
     DISABLED = "disabled"
     FUNCTION_LEVEL = "function_level"
     EXPRESSION_LEVEL = "expression_level"
 
 
-class CustomAvailability:
-    _check: Callable[[], bool]
-
-    def __init__(self, check: Callable[[], bool]) -> None:
-        self._check = check
-
-    @staticmethod
-    def from_enabled(enabled: bool) -> CustomAvailability:
-        return CustomAvailability(check=lambda: enabled)
-
-    def get_availability(self) -> _Availability:
-        return _Availability.from_enabled(self._check())
-
-    def is_enabled(self) -> bool:
-        return self._check()
-
-    def is_disabled(self) -> bool:
-        return not self._check()
-
-
 # User-facing features
-HoverAvailability = _Availability
-DefinitionAvailability = _AvailabilityWithShadow
-ReferencesAvailability = _Availability
-DocumentSymbolsAvailability = _Availability
 StatusUpdatesAvailability = _Availability
 TypeErrorsAvailability = _Availability
 UnsavedChangesAvailability = _Availability
-CompletionAvailability = _Availability
-CallHierarchyAvailability = _Availability
-RenameAvailability = _Availability
-SymbolSearchAvailability = _Availability
-InlayHintAvailability = _Availability
-FormattingAvailability = _Availability
-GlobalLazyTypeErrorsAvailability = _Availability
-PerTargetTypeErrorsAvailability = _Availability
-PythonAutoTargetsAvailability = _Availability
-SystemPyAutoTargetsAvailability = CustomAvailability
-# TODO: T204372341 remove this once we have rolled out addition and removal features
-PythonAutoTargetsRemovalAvailability = CustomAvailability
 
 # Telemetry: is the editor able to forward events somewhere?
 TelemetryAvailability = _Availability
@@ -110,48 +51,8 @@ TelemetryAvailability = _Availability
 
 @dataclasses.dataclass(frozen=True)
 class LanguageServerFeatures:
-    hover: HoverAvailability = HoverAvailability.DISABLED
-    definition: DefinitionAvailability = DefinitionAvailability.DISABLED
-    document_symbols: DocumentSymbolsAvailability = DocumentSymbolsAvailability.DISABLED
-    references: ReferencesAvailability = ReferencesAvailability.DISABLED
     status_updates: StatusUpdatesAvailability = StatusUpdatesAvailability.ENABLED
     type_coverage: TypeCoverageAvailability = TypeCoverageAvailability.DISABLED
     type_errors: TypeErrorsAvailability = TypeErrorsAvailability.ENABLED
-    global_lazy_type_errors: GlobalLazyTypeErrorsAvailability = (
-        GlobalLazyTypeErrorsAvailability.ENABLED
-    )
-    per_target_type_errors: PerTargetTypeErrorsAvailability = (
-        PerTargetTypeErrorsAvailability.ENABLED
-    )
     unsaved_changes: UnsavedChangesAvailability = UnsavedChangesAvailability.DISABLED
     telemetry: TelemetryAvailability = TelemetryAvailability.DISABLED
-    completion: CompletionAvailability = CompletionAvailability.DISABLED
-    call_hierarchy: CallHierarchyAvailability = CallHierarchyAvailability.DISABLED
-    rename: RenameAvailability = RenameAvailability.DISABLED
-    symbol: SymbolSearchAvailability = SymbolSearchAvailability.DISABLED
-    inlay_hint: InlayHintAvailability = InlayHintAvailability.DISABLED
-    formatting: FormattingAvailability = FormattingAvailability.DISABLED
-    python_auto_targets: PythonAutoTargetsAvailability = (
-        PythonAutoTargetsAvailability.ENABLED
-    )
-    use_system_pyautotargets: SystemPyAutoTargetsAvailability = (
-        SystemPyAutoTargetsAvailability.from_enabled(False)
-    )
-    # TODO: T204372341 remove this once we have rolled out addition and removal features
-    python_auto_targets_removal: PythonAutoTargetsRemovalAvailability = (
-        PythonAutoTargetsRemovalAvailability.from_enabled(False)
-    )
-
-    def capabilities(self) -> Dict[str, bool]:
-        return {
-            "hover_provider": not self.hover.is_disabled(),
-            "definition_provider": not self.definition.is_disabled(),
-            "document_symbol_provider": not self.document_symbols.is_disabled(),
-            "references_provider": not self.references.is_disabled(),
-            "completion_provider": not self.completion.is_disabled(),
-            "call_hierarchy_provider": not self.call_hierarchy.is_disabled(),
-            "rename_provider": not self.rename.is_disabled(),
-            "workspace_symbol_provider": not self.symbol.is_disabled(),
-            "inlay_hint_provider": not self.inlay_hint.is_disabled(),
-            "document_formatting_provider": not self.formatting.is_disabled(),
-        }

pyre_check/client/language_server/protocol.py

@@ -33,8 +33,6 @@ from . import connections
 LOG: logging.Logger = logging.getLogger(__name__)
 
 T = TypeVar("T", bound=json_mixins.DataclassJsonMixinWithCachedSchema)
-Point = TypeVar("Point")
-Value = TypeVar("Value")
 
 
 class ServerNotInitializedError(json_rpc.JSONRPCException):
@@ -202,76 +200,6 @@ class MessageType(enum.IntEnum):
     LOG = 4
 
 
-class SymbolKind(enum.IntEnum):
-    FILE = 1
-    MODULE = 2
-    NAMESPACE = 3
-    PACKAGE = 4
-    CLASS = 5
-    METHOD = 6
-    PROPERTY = 7
-    FIELD = 8
-    CONSTRUCTOR = 9
-    ENUM = 10
-    INTERFACE = 11
-    FUNCTION = 12
-    VARIABLE = 13
-    CONSTANT = 14
-    STRING = 15
-    NUMBER = 16
-    BOOLEAN = 17
-    ARRAY = 18
-    OBJECT = 19
-    KEY = 20
-    NULL = 21
-    ENUMMEMBER = 22
-    STRUCT = 23
-    EVENT = 24
-    OPERATOR = 25
-    TYPEPARAMETER = 26
-
-
-class PyreCallHierarchyRelationDirection(str, enum.Enum):
-    # pyre-fixme[35]: Target cannot be annotated.
-    PARENT: str = "PARENT"
-    # pyre-fixme[35]: Target cannot be annotated.
-    CHILD: str = "CHILD"
-
-    def is_parent(self) -> bool:
-        return self.value == self.PARENT
-
-    def is_child(self) -> bool:
-        return self.value == self.CHILD
-
-
-class CompletionItemKind(enum.IntEnum):
-    TEXT = 1
-    METHOD = 2
-    FUNCTION = 3
-    CONSTRUCTOR = 4
-    FIELD = 5
-    VARIABLE = 6
-    CLASS = 7
-    INTERFACE = 8
-    MODULE = 9
-    PROPERTY = 10
-    UNIT = 11
-    VALUE = 12
-    ENUM = 13
-    KEYWORD = 14
-    SNIPPET = 15
-    COLOR = 16
-    FILE = 17
-    REFERENCE = 18
-    FOLDER = 19
-    ENUMMEMBER = 20
-    CONSTANT = 21
-    STRUCT = 22
-    EVENT = 23
-    OPERATOR = 24
-    TYPEPARAMETER = 25
-
-
 @dataclasses.dataclass(frozen=True)
 class DocumentUri:
     scheme: str
@@ -430,16 +358,6 @@ class TextDocumentSyncOptions(json_mixins.CamlCaseAndExcludeJsonMixin):
 @dataclasses.dataclass(frozen=True)
 class ServerCapabilities(json_mixins.CamlCaseAndExcludeJsonMixin):
     text_document_sync: Optional[TextDocumentSyncOptions] = None
-    hover_provider: Optional[bool] = None
-    definition_provider: Optional[bool] = None
-    document_symbol_provider: Optional[bool] = None
-    references_provider: Optional[bool] = None
-    completion_provider: Optional[bool] = None
-    call_hierarchy_provider: Optional[bool] = None
-    rename_provider: Optional[bool] = None
-    workspace_symbol_provider: Optional[bool] = None
-    inlay_hint_provider: Optional[bool] = None
-    document_formatting_provider: Optional[bool] = None
 
 
 @dataclasses.dataclass(frozen=True)
@@ -557,83 +475,6 @@ class WorkspaceDidChangeConfigurationParameters(
         )
 
 
-@dataclasses.dataclass(frozen=True)
-class HoverParameters(json_mixins.CamlCaseAndExcludeJsonMixin):
-    text_document: TextDocumentIdentifier
-    position: LspPosition
-
-    @staticmethod
-    def from_json_rpc_parameters(
-        parameters: json_rpc.Parameters,
-    ) -> "HoverParameters":
-        return _parse_parameters(parameters, target=HoverParameters)
-
-
-@dataclasses.dataclass(frozen=True)
-class LspHoverResponse(json_mixins.CamlCaseAndExcludeJsonMixin):
-    """Contains the Markdown response to be shown in the hover card."""
-
-    contents: str
-
-    @staticmethod
-    def from_pyre_hover_responses(
-        responses: List["PyreHoverResponse"],
-    ) -> Optional["LspHoverResponse"]:
-        lsp_hover_responses = [
-            lsp_response
-            for lsp_response in (hover.to_lsp_hover_response() for hover in responses)
-            if lsp_response is not None
-        ]
-        return (
-            None
-            if len(lsp_hover_responses) == 0
-            else LspHoverResponse(
-                "\n".join(response.contents for response in lsp_hover_responses)
-            )
-        )
-
-
-@dataclasses.dataclass(frozen=True)
-class PyreHoverResponse(json_mixins.CamlCaseAndExcludeJsonMixin):
-    value: Optional[str] = None
-    docstring: Optional[str] = None
-
-    def to_lsp_hover_response(self) -> Optional[LspHoverResponse]:
-        lines = []
-        if self.value:
-            lines.append(f"```\n{self.value}\n```" if self.value else "")
-        if self.docstring:
-            lines.append(self.docstring)
-        if len(lines) == 0:
-            return None
-        return LspHoverResponse("\n".join(lines))
-
-
-@dataclasses.dataclass(frozen=True)
-class ReferencesParameters(json_mixins.CamlCaseAndExcludeJsonMixin):
-    text_document: TextDocumentIdentifier
-    position: LspPosition
-
-    @staticmethod
-    def from_json_rpc_parameters(
-        parameters: json_rpc.Parameters,
-    ) -> "ReferencesParameters":
-        return _parse_parameters(parameters, target=ReferencesParameters)
-
-
-@dataclasses.dataclass(frozen=True)
-class ReferencesResponse(json_mixins.CamlCaseAndExcludeJsonMixin):
-    """Contains code location of one reference."""
-
-    path: str
-    range: PyreRange
-
-    def to_lsp_references_response(
-        self,
-    ) -> "LspLocation":
-        return LspLocation(uri=self.path, range=self.range.to_lsp_range())
-
-
 @dataclasses.dataclass(frozen=True)
 class TypeCoverageParameters(json_mixins.CamlCaseAndExcludeJsonMixin):
     text_document: TextDocumentIdentifier
@@ -654,273 +495,9 @@ class TypeCoverageResponse(json_mixins.CamlCaseAndExcludeJsonMixin):
     default_message: str
 
 
-@dataclasses.dataclass(frozen=True)
-class DefinitionParameters(json_mixins.CamlCaseAndExcludeJsonMixin):
-    text_document: TextDocumentIdentifier
-    position: LspPosition
-
-    @staticmethod
-    def from_json_rpc_parameters(
-        parameters: json_rpc.Parameters,
-    ) -> "DefinitionParameters":
-        return _parse_parameters(parameters, target=DefinitionParameters)
-
-
-@dataclasses.dataclass(frozen=True)
-class DefinitionResponse(json_mixins.CamlCaseAndExcludeJsonMixin):
-    """Contains one possible definition for a symbol."""
-
-    path: str
-    range: PyreRange
-
-    def to_lsp_definition_response(
-        self,
-    ) -> "LspLocation":
-        return LspLocation(uri=self.path, range=self.range.to_lsp_range())
-
-
-@dataclasses.dataclass(frozen=True)
-class CallHierarchyParameters(json_mixins.CamlCaseAndExcludeJsonMixin):
-    text_document: TextDocumentIdentifier
-    position: LspPosition
-
-    @staticmethod
-    def from_json_rpc_parameters(
-        parameters: json_rpc.Parameters,
-    ) -> "CallHierarchyParameters":
-        return _parse_parameters(parameters, target=CallHierarchyParameters)
-
-
-@dataclasses.dataclass(frozen=True)
-class CallHierarchyItem(json_mixins.CamlCaseAndExcludeJsonMixin):
-    name: str
-    kind: SymbolKind
-    uri: str
-
-    """
-    The range enclosing this symbol not including leading/trailing whitespace
-    but everything else, e.g. comments and code.
-    """
-    range: LspRange
-
-    """
-    The range that should be selected and revealed when this symbol is being
-    picked, e.g. the name of a function. Must be contained by the
-    CallHierarchyItem.range).
-    """
-    selection_range: LspRange
-
-    def document_uri(self) -> DocumentUri:
-        return DocumentUri.parse(self.uri)
-
-
-@dataclasses.dataclass(frozen=True)
-class CallHierarchyIncomingCallParameters(json_mixins.CamlCaseAndExcludeJsonMixin):
-    item: CallHierarchyItem
-
-    @staticmethod
-    def from_json_rpc_parameters(
-        parameters: json_rpc.Parameters,
-    ) -> "CallHierarchyIncomingCallParameters":
-        return _parse_parameters(parameters, target=CallHierarchyIncomingCallParameters)
-
-
-@dataclasses.dataclass(frozen=True)
-class CallHierarchyIncomingCall(json_mixins.CamlCaseAndExcludeJsonMixin):
-    from_: CallHierarchyItem = field(
-        metadata=dataclasses_json.config(field_name="from")
-    )
-    from_ranges: List[LspRange]
-
-
-@dataclasses.dataclass(frozen=True)
-class CallHierarchyOutgoingCallParameters(json_mixins.CamlCaseAndExcludeJsonMixin):
-    item: CallHierarchyItem
-
-    @staticmethod
-    def from_json_rpc_parameters(
-        parameters: json_rpc.Parameters,
-    ) -> "CallHierarchyOutgoingCallParameters":
-        return _parse_parameters(parameters, target=CallHierarchyOutgoingCallParameters)
-
-
-@dataclasses.dataclass(frozen=True)
-class CallHierarchyOutgoingCall(json_mixins.CamlCaseAndExcludeJsonMixin):
-    to: CallHierarchyItem
-    from_ranges: List[LspRange]
-
-
-@dataclasses.dataclass(frozen=True)
-class CompletionParameters(json_mixins.CamlCaseAndExcludeJsonMixin):
-    text_document: TextDocumentIdentifier
-    position: LspPosition
-
-    @staticmethod
-    def from_json_rpc_parameters(
-        parameters: json_rpc.Parameters,
-    ) -> "CompletionParameters":
-        return _parse_parameters(parameters, target=CompletionParameters)
-
-
 @dataclasses.dataclass(frozen=True)
 class LspLocation(json_mixins.CamlCaseAndExcludeJsonMixin):
     """Contains the start and end column and row for a symbol."""
 
     uri: str
     range: LspRange
-
-
-@dataclasses.dataclass(frozen=True)
-class DocumentSymbolsParameters(json_mixins.CamlCaseAndExcludeJsonMixin):
-    text_document: TextDocumentIdentifier
-
-    @staticmethod
-    def from_json_rpc_parameters(
-        parameters: json_rpc.Parameters,
-    ) -> "DocumentSymbolsParameters":
-        return _parse_parameters(parameters, target=DocumentSymbolsParameters)
-
-
-@dataclasses.dataclass(frozen=True)
-class DocumentSymbol(json_mixins.CamlCaseAndExcludeJsonMixin):
-    """Contains detailed information about a specified symbol."""
-
-    name: str
-    detail: Optional[str]
-    kind: SymbolKind
-    range: LspRange
-    selection_range: LspRange
-    children: List["DocumentSymbol"]
-
-
-@dataclasses.dataclass(frozen=True)
-class DocumentSymbolRequest:
-    path: str
-    client_id: str
-
-    def to_json(self) -> List[object]:
-        return [
-            "DocumentSymbol",
-            {
-                "path": self.path,
-                "client_id": self.client_id,
-            },
-        ]
-
-
-@dataclasses.dataclass(frozen=True)
-class CompletionRequest:
-    path: str
-    client_id: str
-    position: PyrePosition
-
-    def to_json(self) -> List[object]:
-        return [
-            "Completion",
-            {
-                "path": self.path,
-                "client_id": self.client_id,
-                "position": {
-                    "line": self.position.line,
-                    "column": self.position.character,
-                },
-            },
-        ]
-
-
-@dataclasses.dataclass(frozen=True)
-class CompletionItem(json_mixins.CamlCaseAndExcludeJsonMixin):
-    label: str
-    kind: Optional[CompletionItemKind]
-    sortText: str
-    filterText: str
-    detail: Optional[str]
-
-
-@dataclasses.dataclass(frozen=True)
-class CompletionResponse(json_mixins.CamlCaseAndExcludeJsonMixin):
-    completions: List[CompletionItem]
-
-
-@dataclasses.dataclass(frozen=True)
-class TextEdit(json_mixins.CamlCaseAndExcludeJsonMixin):
-    range: LspRange
-    new_text: str
-
-
-@dataclasses.dataclass(frozen=True)
-class WorkspaceEdit(json_mixins.CamlCaseAndExcludeJsonMixin):
-    changes: Optional[Dict[str, List[TextEdit]]]
-
-
-@dataclasses.dataclass(frozen=True)
-class RenameParameters(json_mixins.CamlCaseAndExcludeJsonMixin):
-    text_document: TextDocumentIdentifier
-    position: LspPosition
-    new_name: str
-
-    @staticmethod
-    def from_json_rpc_parameters(
-        parameters: json_rpc.Parameters,
-    ) -> "RenameParameters":
-        return _parse_parameters(parameters, target=RenameParameters)
-
-
-@dataclasses.dataclass(frozen=True)
-class WorkspaceSymbolParameters(json_mixins.CamlCaseAndExcludeJsonMixin):
-    query: str
-
-    @staticmethod
-    def from_json_rpc_parameters(
-        parameters: json_rpc.Parameters,
-    ) -> "WorkspaceSymbolParameters":
-        return _parse_parameters(parameters, target=WorkspaceSymbolParameters)
-
-
-@dataclasses.dataclass(frozen=True)
-class DocumentFormattingParameters(json_mixins.CamlCaseAndExcludeJsonMixin):
-    text_document: TextDocumentIdentifier
-
-    @staticmethod
-    def from_json_rpc_parameters(
-        parameters: json_rpc.Parameters,
-    ) -> "DocumentFormattingParameters":
-        return _parse_parameters(parameters, target=DocumentFormattingParameters)
-
-
-@dataclasses.dataclass(frozen=True)
-class DocumentFormattingResponse(json_mixins.CamlCaseAndExcludeJsonMixin):
-    """describing the modification to the document to be formatted"""
-
-    list_of_edits: List[TextEdit]
-
-    @staticmethod
-    def from_json_rpc_parameters(
-        parameters: json_rpc.Parameters,
-    ) -> "DocumentFormattingResponse":
-        return _parse_parameters(parameters, target=DocumentFormattingResponse)
-
-
-@dataclasses.dataclass(frozen=True)
-class WorkspaceSymbol(json_mixins.CamlCaseAndExcludeJsonMixin):
-    name: str
-    kind: SymbolKind
-    container_name: Optional[str]
-    location: LspLocation
-
-    @staticmethod
-    def from_json_rpc_parameters(
-        parameters: json_rpc.Parameters,
-    ) -> "WorkspaceSymbol":
-        return _parse_parameters(parameters, target=WorkspaceSymbol)
-
-
-@dataclasses.dataclass(frozen=True)
-class WorkspaceSymbolResponse(json_mixins.CamlCaseAndExcludeJsonMixin):
-    workspace_symbols: List[WorkspaceSymbol]
-
-    @staticmethod
-    def from_json_rpc_parameters(
-        parameters: json_rpc.Parameters,
-    ) -> "WorkspaceSymbolResponse":
-        return _parse_parameters(parameters, target=WorkspaceSymbolResponse)

pyre_check/client/pyre.py

@@ -178,19 +178,6 @@ def _create_and_check_configuration(
     return frontend_configuration.OpenSource(configuration)
 
 
-def _create_and_check_codenav_configuration(
-    arguments: command_arguments.CommandArguments,
-    base_directory: Path,
-) -> frontend_configuration.OpenSource:
-    configuration = configuration_module.create_overridden_configuration(
-        arguments,
-        base_directory,
-        find_directories.CODENAV_CONFIGURATION_FILE,
-    )
-    _check_open_source_version(configuration)
-    return frontend_configuration.OpenSource(configuration)
-
-
 @click.group(
     invoke_without_command=True,
     context_settings={"help_option_names": ["-h", "--help"]},
@@ -954,42 +941,6 @@ def kill(context: click.Context, with_fire: bool) -> int:
     hidden=True,
     help="Use lazy module tracking. This is experimental and cannot power full checks.",
 )
-@click.option(
-    "--hover",
-    type=click.Choice(
-        [kind.value for kind in language_server_features.HoverAvailability]
-    ),
-    default=language_server_features.LanguageServerFeatures.hover.value,
-    help="Availability of the hover langauge server feature",
-    hidden=True,
-)
-@click.option(
-    "--definition",
-    type=click.Choice(
-        [kind.value for kind in language_server_features.DefinitionAvailability]
-    ),
-    default=language_server_features.LanguageServerFeatures.definition.value,
-    help="Availability of the definition langauge server feature",
-    hidden=True,
-)
-@click.option(
-    "--document-symbols",
-    type=click.Choice(
-        [kind.value for kind in language_server_features.DocumentSymbolsAvailability]
-    ),
-    default=language_server_features.LanguageServerFeatures.document_symbols.value,
-    help="Availability of the document symbols langauge server feature",
-    hidden=True,
-)
-@click.option(
-    "--references",
-    type=click.Choice(
-        [kind.value for kind in language_server_features.DocumentSymbolsAvailability]
-    ),
-    default=language_server_features.LanguageServerFeatures.references.value,
-    help="Availability of the references langauge server feature",
-    hidden=True,
-)
 @click.option(
     "--status-updates",
     type=click.Choice(
@@ -1032,10 +983,6 @@ def persistent(
     flavor: Optional[str],
     skip_initial_type_check: bool,
     use_lazy_module_tracking: bool,
-    hover: str,
-    definition: str,
-    document_symbols: str,
-    references: str,
     status_updates: str,
     type_coverage: str,
     type_errors: str,
@@ -1068,12 +1015,6 @@ def persistent(
                 )
             ),
             language_server_features=language_server_features.LanguageServerFeatures(
-                hover=language_server_features.HoverAvailability(hover),
-                definition=language_server_features.DefinitionAvailability(definition),
-                document_symbols=language_server_features.DocumentSymbolsAvailability(
-                    document_symbols,
-                ),
-                references=language_server_features.ReferencesAvailability(references),
                 status_updates=language_server_features.StatusUpdatesAvailability(
                     status_updates
                 ),
@@ -1391,12 +1332,7 @@ def start(
         identifiers.PyreFlavor(flavor) if flavor is not None else CLASSIC_FLAVOR
     )
     command_argument: command_arguments.CommandArguments = context.obj["arguments"]
-    if flavor_choice == identifiers.PyreFlavor.CODE_NAVIGATION:
-        configuration = _create_and_check_codenav_configuration(
-            command_argument, Path(".").resolve()
-        )
-    else:
-        configuration = _create_and_check_configuration(command_argument, Path("."))
+    configuration = _create_and_check_configuration(command_argument, Path("."))
     start_logging_to_directory(configuration.get_log_directory(), flavor_choice)
     return commands.start.run(
         configuration,
@@ -1528,12 +1464,7 @@ def stop(context: click.Context, flavor: Optional[str]) -> int:
     flavor_choice = (
         identifiers.PyreFlavor(flavor) if flavor is not None else CLASSIC_FLAVOR
     )
-    if flavor_choice == identifiers.PyreFlavor.CODE_NAVIGATION:
-        configuration = _create_and_check_codenav_configuration(
-            command_argument, Path(".").resolve()
-        )
-    else:
-        configuration = _create_and_check_configuration(command_argument, Path("."))
+    configuration = _create_and_check_configuration(command_argument, Path("."))
     start_logging_to_directory(configuration.get_log_directory(), flavor_choice)
     return commands.stop.run(configuration, flavor_choice)
 

pyre_check/client/version.py

@@ -1 +1 @@
-__version__ = "0.0.101735819888"
+__version__ = "0.0.101736079117"