Implement TypeOf matcher

CHANGELOG.md

@@ -3,6 +3,7 @@
 ## Added
 - Handle string annotations in ScopeProvider [#373](https://github.com/Instagram/LibCST/pull/373)
 - Add is_annotation subtype for Access inreferences. [#372](https://github.com/Instagram/LibCST/pull/372)
+- Implement TypeOf matcher. [#384](https://github.com/Instagram/LibCST/pull/384)
 
 ## Updated
 - Call pyre query with noninteractive logging [#371](https://github.com/Instagram/LibCST/pull/371)

docs/source/matchers.rst

@@ -145,6 +145,7 @@ when calling :func:`~libcst.matchers.matches` or using decorators.
 
 .. autoclass:: libcst.matchers.OneOf
 .. autoclass:: libcst.matchers.AllOf
+.. autoclass:: libcst.matchers.TypeOf
 .. autofunction:: libcst.matchers.DoesNotMatch
 .. autoclass:: libcst.matchers.MatchIfTrue
 .. autofunction:: libcst.matchers.MatchRegex

libcst/codegen/gen_matcher_classes.py

@@ -456,14 +456,13 @@ def _get_fields(node: Type[cst.CSTNode]) -> Generator[Field, None, None]:
 generated_code.append("")
 generated_code.append("")
 generated_code.append("# This file was generated by libcst.codegen.gen_matcher_classes")
-generated_code.append("from abc import ABC")
 generated_code.append("from dataclasses import dataclass")
 generated_code.append("from typing import Callable, Sequence, Union")
 generated_code.append("from typing_extensions import Literal")
 generated_code.append("import libcst as cst")
 generated_code.append("")
 generated_code.append(
-    "from libcst.matchers._matcher_base import BaseMatcherNode, DoNotCareSentinel, DoNotCare, OneOf, AllOf, DoesNotMatch, MatchIfTrue, MatchRegex, MatchMetadata, MatchMetadataIfTrue, ZeroOrMore, AtLeastN, ZeroOrOne, AtMostN, SaveMatchedNode, extract, extractall, findall, matches, replace"
+    "from libcst.matchers._matcher_base import AbstractBaseMatcherNodeMeta, BaseMatcherNode, DoNotCareSentinel, DoNotCare, TypeOf, OneOf, AllOf, DoesNotMatch, MatchIfTrue, MatchRegex, MatchMetadata, MatchMetadataIfTrue, ZeroOrMore, AtLeastN, ZeroOrOne, AtMostN, SaveMatchedNode, extract, extractall, findall, matches, replace"
 )
 all_exports.update(
     [
@@ -477,6 +476,7 @@ def _get_fields(node: Type[cst.CSTNode]) -> Generator[Field, None, None]:
         "MatchRegex",
         "MatchMetadata",
         "MatchMetadataIfTrue",
+        "TypeOf",
         "ZeroOrMore",
         "AtLeastN",
         "ZeroOrOne",
@@ -504,10 +504,15 @@ def _get_fields(node: Type[cst.CSTNode]) -> Generator[Field, None, None]:
     ]
 )
 
+generated_code.append("")
+generated_code.append("")
+generated_code.append("class _NodeABC(metaclass=AbstractBaseMatcherNodeMeta):")
+generated_code.append("    __slots__ = ()")
+
 for base in typeclasses:
     generated_code.append("")
     generated_code.append("")
-    generated_code.append(f"class {base.__name__}(ABC):")
+    generated_code.append(f"class {base.__name__}(_NodeABC):")
     generated_code.append("    pass")
     all_exports.add(base.__name__)
 

libcst/matchers/__init__.py

@@ -5,7 +5,6 @@
 
 
 # This file was generated by libcst.codegen.gen_matcher_classes
-from abc import ABC
 from dataclasses import dataclass
 from typing import Callable, Sequence, Union
 
@@ -14,6 +13,7 @@
 import libcst as cst
 from libcst.matchers._decorators import call_if_inside, call_if_not_inside, leave, visit
 from libcst.matchers._matcher_base import (
+    AbstractBaseMatcherNodeMeta,
     AllOf,
     AtLeastN,
     AtMostN,
@@ -27,6 +27,7 @@
     MatchRegex,
     OneOf,
     SaveMatchedNode,
+    TypeOf,
     ZeroOrMore,
     ZeroOrOne,
     extract,
@@ -42,103 +43,107 @@
 )
 
 
-class BaseAssignTargetExpression(ABC):
+class _NodeABC(metaclass=AbstractBaseMatcherNodeMeta):
+    __slots__ = ()
+
+
+class BaseAssignTargetExpression(_NodeABC):
     pass
 
 
-class BaseAugOp(ABC):
+class BaseAugOp(_NodeABC):
     pass
 
 
-class BaseBinaryOp(ABC):
+class BaseBinaryOp(_NodeABC):
     pass
 
 
-class BaseBooleanOp(ABC):
+class BaseBooleanOp(_NodeABC):
     pass
 
 
-class BaseComp(ABC):
+class BaseComp(_NodeABC):
     pass
 
 
-class BaseCompOp(ABC):
+class BaseCompOp(_NodeABC):
     pass
 
 
-class BaseCompoundStatement(ABC):
+class BaseCompoundStatement(_NodeABC):
     pass
 
 
-class BaseDelTargetExpression(ABC):
+class BaseDelTargetExpression(_NodeABC):
     pass
 
 
-class BaseDict(ABC):
+class BaseDict(_NodeABC):
     pass
 
 
-class BaseDictElement(ABC):
+class BaseDictElement(_NodeABC):
     pass
 
 
-class BaseElement(ABC):
+class BaseElement(_NodeABC):
     pass
 
 
-class BaseExpression(ABC):
+class BaseExpression(_NodeABC):
     pass
 
 
-class BaseFormattedStringContent(ABC):
+class BaseFormattedStringContent(_NodeABC):
     pass
 
 
-class BaseList(ABC):
+class BaseList(_NodeABC):
     pass
 
 
-class BaseMetadataProvider(ABC):
+class BaseMetadataProvider(_NodeABC):
     pass
 
 
-class BaseNumber(ABC):
+class BaseNumber(_NodeABC):
     pass
 
 
-class BaseParenthesizableWhitespace(ABC):
+class BaseParenthesizableWhitespace(_NodeABC):
     pass
 
 
-class BaseSet(ABC):
+class BaseSet(_NodeABC):
     pass
 
 
-class BaseSimpleComp(ABC):
+class BaseSimpleComp(_NodeABC):
     pass
 
 
-class BaseSlice(ABC):
+class BaseSlice(_NodeABC):
     pass
 
 
-class BaseSmallStatement(ABC):
+class BaseSmallStatement(_NodeABC):
     pass
 
 
-class BaseStatement(ABC):
+class BaseStatement(_NodeABC):
     pass
 
 
-class BaseString(ABC):
+class BaseString(_NodeABC):
     pass
 
 
-class BaseSuite(ABC):
+class BaseSuite(_NodeABC):
     pass
 
 
-class BaseUnaryOp(ABC):
+class BaseUnaryOp(_NodeABC):
     pass
 
 
@@ -13242,6 +13247,7 @@ class Yield(BaseExpression, BaseMatcherNode):
     "TrailingWhitespace",
     "Try",
     "Tuple",
+    "TypeOf",
     "UnaryOperation",
     "While",
     "With",

libcst/matchers/_matcher_base.py

@@ -7,12 +7,14 @@
 import copy
 import inspect
 import re
+from abc import ABCMeta
 from dataclasses import dataclass, fields
 from enum import Enum, auto
 from typing import (
     Callable,
     Dict,
     Generic,
+    Iterator,
     List,
     Mapping,
     NoReturn,
@@ -51,11 +53,20 @@ def __repr__(self) -> str:
 _BaseMatcherNodeSelfT = TypeVar("_BaseMatcherNodeSelfT", bound="BaseMatcherNode")
 _OtherNodeT = TypeVar("_OtherNodeT")
 _MetadataValueT = TypeVar("_MetadataValueT")
+_MatcherTypeT = TypeVar("_MatcherTypeT", bound=Type["BaseMatcherNode"])
+_OtherNodeMatcherTypeT = TypeVar(
+    "_OtherNodeMatcherTypeT", bound=Type["BaseMatcherNode"]
+)
 
 
 _METADATA_MISSING_SENTINEL = object()
 
 
+class AbstractBaseMatcherNodeMeta(ABCMeta):
+    def __or__(self, node: Type["BaseMatcherNode"]) -> "TypeOf[Type[BaseMatcherNode]]":
+        return TypeOf(self, node)
+
+
 class BaseMatcherNode:
     """
     Base class that all concrete matchers subclass from. :class:`OneOf` and
@@ -103,6 +114,81 @@ def DoNotCare() -> DoNotCareSentinel:
     return DoNotCareSentinel.DEFAULT
 
 
+class TypeOf(Generic[_MatcherTypeT], BaseMatcherNode):
+    """
+    Matcher that matches any one of the given types. Useful when you want to work
+    with trees where a common property might belong to more than a single type.
+
+    For example, if you want either a binary operation or a boolean operation
+    where the left side has a name ``foo``::
+
+        m.TypeOf(m.BinaryOperation, m.BooleanOperation)(left = m.Name("foo"))
+
+    Or you could use the shorthand, like::
+
+        (m.BinaryOperation | m.BooleanOperation)(left = m.Name("foo"))
+
+    Also :class:`TypeOf` matchers can be used with initalizing in the default
+    state of other node matchers (without passing any extra patterns)::
+
+        m.Name | m.SimpleString
+
+    The will be equal to::
+
+        m.OneOf(m.Name(), m.SimpleString())
+    """
+
+    def __init__(self, *options: Union[_MatcherTypeT, "TypeOf[_MatcherTypeT]"]) -> None:
+        actual_options: List[_MatcherTypeT] = []
+        for option in options:
+            if isinstance(option, TypeOf):
+                if option.initalized:
+                    raise Exception(
+                        "Cannot chain an uninitalized TypeOf with an initalized one"
+                    )
+                actual_options.extend(option._raw_options)
+            else:
+                actual_options.append(option)
+
+        self._initalized = False
+        self._call_items: Tuple[Tuple[object, ...], Dict[str, object]] = ((), {})
+        self._raw_options: Tuple[_MatcherTypeT, ...] = tuple(actual_options)
+
+    @property
+    def initalized(self) -> bool:
+        return self._initalized
+
+    @property
+    def options(self) -> Iterator[BaseMatcherNode]:
+        for option in self._raw_options:
+            args, kwargs = self._call_items
+            matcher_pattern = option(*args, **kwargs)
+            yield matcher_pattern
+
+    def __call__(self, *args: object, **kwargs: object) -> BaseMatcherNode:
+        self._initalized = True
+        self._call_items = (args, kwargs)
+        return self
+
+    def __or__(
+        self, other: _OtherNodeMatcherTypeT
+    ) -> "TypeOf[Union[_MatcherTypeT, _OtherNodeMatcherTypeT]]":
+        return TypeOf[Union[_MatcherTypeT, _OtherNodeMatcherTypeT]](self, other)
+
+    def __and__(self, other: _OtherNodeMatcherTypeT) -> NoReturn:
+        left, right = type(self).__name__, other.__name__
+        raise TypeError(
+            f"TypeError: unsupported operand type(s) for &: {left!r} and {right!r}"
+        )
+
+    def __invert__(self) -> "AllOf[BaseMatcherNode]":
+        return AllOf(*map(DoesNotMatch, self.options))
+
+    def __repr__(self) -> str:
+        types = ", ".join(repr(option) for option in self._raw_options)
+        return f"TypeOf({types}, initalized = {self.initalized})"
+
+
 class OneOf(Generic[_MatcherT], BaseMatcherNode):
     """
     Matcher that matches any one of its options. Useful when you want to match
@@ -1383,7 +1469,7 @@ def _matches(
         return {} if isinstance(matcher, _InverseOf) else None
 
     # Now, evaluate the matcher node itself.
-    if isinstance(matcher, OneOf):
+    if isinstance(matcher, (OneOf, TypeOf)):
         for matcher in matcher.options:
             node_capture = _node_matches(node, matcher, metadata_lookup)
             if node_capture is not None: