Merge pull request #124 from netromdk/py3.11

Python 3.11 support

Author: netromdk

.github/workflows/test.yml

@@ -13,10 +13,9 @@ jobs:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
-        # Start Linux jobs last since they are fastest to start and complete, and start 3.10 first,
-        # since it pairs wiht macOS+Windows jobs, and 2.7+3.5 last since they only run tests and
-        # don't use venv. (3.4 is not supported on GitHub anymore)
-        python-version: ['3.10', 3.6, 3.7, 3.8, 3.9, 2.7, 3.5]
+        # Start Linux jobs last since they are fastest to start and complete, and start 3.11 first,
+        # since it pairs wiht macOS+Windows jobs.
+        python-version: ['3.11', '3.10', 3.6, 3.7, 3.8, 3.9, 2.7]
         os: [windows-latest, macos-latest, ubuntu-latest]
 
         # Choose test script depending on OS.
@@ -28,14 +27,10 @@ jobs:
           - os: windows-latest
             test_script_name: ./misc/actions/test.ps1
 
-        # Only test on macOS and Windows with Python 3.10.
+        # Only test on macOS and Windows with Python 3.11.
         exclude:
           - os: macos-latest
             python-version: 2.7
-          - os: macos-latest
-            python-version: 3.4
-          - os: macos-latest
-            python-version: 3.5
           - os: macos-latest
             python-version: 3.6
           - os: macos-latest
@@ -44,12 +39,10 @@ jobs:
             python-version: 3.8
           - os: macos-latest
             python-version: 3.9
+          - os: macos-latest
+            python-version: '3.10'
           - os: windows-latest
             python-version: 2.7
-          - os: windows-latest
-            python-version: 3.4
-          - os: windows-latest
-            python-version: 3.5
           - os: windows-latest
             python-version: 3.6
           - os: windows-latest
@@ -58,6 +51,8 @@ jobs:
             python-version: 3.8
           - os: windows-latest
             python-version: 3.9
+          - os: windows-latest
+            python-version: '3.10'
 
     steps:
     - uses: actions/checkout@93ea575cb5d8a053eaa0ac8fa3b40d7e05a33cc8

CONTRIBUTING.md

@@ -16,6 +16,11 @@ Dependencies can also be directly installed via:
 % pip install -r misc/.analysis-requirements.txt
 ```
 
+**Note:** Until the release of Vermin 1.6, it is recommended to use Python 3.10 or lower when
+running analysis checks. This is because Pylint requires an update but doing so makes it
+incompatible with certain versions of Python 2.x. In Vermin 1.6, support for Python 2.7 will be
+removed and dependencies will be updated such that Python 3.11 can be used for analysis checks.
+
 Unittests can be run without installing any dependencies: `make test`
 
 ## Detection Rules

README.rst

@@ -37,7 +37,7 @@ vanilla Python, and it doesn't have any external dependencies, it works with v2.
 required but detection of 2.x functionality will remain functional.
 
 It functions by parsing Python code into an abstract syntax tree (AST), which it traverses and
-matches against internal dictionaries with **3427** rules, covering v2.0-2.7 and v3.0-3.10, divided
+matches against internal dictionaries with **3427** rules, covering v2.0-2.7 and v3.0-3.11, divided
 into **144** modules, **2356** classes/functions/constants members of modules, **801** kwargs of
 functions, **4** strftime directives, **3** bytes format directives, **2** array typecodes, **3**
 codecs error handler names, **20** codecs encodings, **75** builtin generic annotation types, **9**
@@ -136,18 +136,20 @@ Features detected include v2/v3 ``print expr`` and ``print(expr)``, ``long``, f-
 (``async`` and ``await``), asynchronous generators (``await`` and ``yield`` in same function),
 asynchronous comprehensions, ``await`` in comprehensions, asynchronous ``for``-loops, boolean
 constants, named expressions, keyword-only parameters, positional-only parameters, ``nonlocal``,
-``yield from``, exception context cause (``raise .. from ..``), ``set`` literals, ``set``
-comprehensions, ``dict`` comprehensions, infix matrix multiplication, ``"..".format(..)``, imports
-(``import X``, ``from X import Y``, ``from X import *``), function calls wrt. name and kwargs,
-``strftime`` + ``strptime`` directives used, function and variable annotations (also ``Final`` and
-``Literal``), ``continue`` in ``finally`` block, modular inverse ``pow()``, array typecodes, codecs
-error handler names, encodings, ``%`` formatting and directives for bytes and bytearray, ``with``
-statement, multiple context expressions in a ``with`` statement, unpacking assignment, generalized
-unpacking, ellipsis literal (`...`) out of slices, dictionary union (``{..} | {..}``), dictionary
-union merge (``a = {..}; a |= {..}``), builtin generic type annotations (``list[str]``), function
-decorators, class decorators, relaxed decorators, pattern matching with ``match``, and union types
-written as ``X | Y``. It tries to detect and ignore user-defined functions, classes, arguments, and
-variables with names that clash with library-defined symbols.
+``yield from``, exception context cause (``raise .. from ..``), ``except*``, ``set`` literals,
+``set`` comprehensions, ``dict`` comprehensions, infix matrix multiplication, ``"..".format(..)``,
+imports (``import X``, ``from X import Y``, ``from X import *``), function calls wrt. name and
+kwargs, ``strftime`` + ``strptime`` directives used, function and variable annotations (also
+``Final`` and ``Literal``), ``continue`` in ``finally`` block, modular inverse ``pow()``, array
+typecodes, codecs error handler names, encodings, ``%`` formatting and directives for bytes and
+bytearray, ``with`` statement, asynchronous ``with`` statement, multiple context expressions in a
+``with`` statement, multiple context expressions in a ``with`` statement grouped with parenthesis,
+unpacking assignment, generalized unpacking, ellipsis literal (``...``) out of slices, dictionary
+union (``{..}  | {..}``), dictionary union merge (``a = {..}; a |= {..}``), builtin generic type
+annotations (``list[str]``), function decorators, class decorators, relaxed decorators, pattern
+matching with ``match``, and union types written as ``X | Y``. It tries to detect and ignore
+user-defined functions, classes, arguments, and variables with names that clash with library-defined
+symbols.
 
 Caveats
 =======

tests/builtin_classes.py

@@ -30,3 +30,9 @@ def test_memoryview(self):
 
   def test_long(self):
     self.assertOnlyIn((2, 0), self.detect("long()"))
+
+  def test_ExceptionGroup(self):
+    self.assertOnlyIn((3, 11), self.detect("ExceptionGroup()"))
+
+  def test_BaseExceptionGroup(self):
+    self.assertOnlyIn((3, 11), self.detect("BaseExceptionGroup()"))

tests/class.py

@@ -22,6 +22,9 @@ def test_ABC_of_abc(self):
   def test_BooleanOptionalAction_of_argparse(self):
     self.assertOnlyIn((3, 9), self.detect("from argparse import BooleanOptionalAction"))
 
+  def test_Barrier_of_asyncio(self):
+    self.assertOnlyIn((3, 11), self.detect("from asyncio import Barrier"))
+
   def test_BufferedProtocol_of_asyncio(self):
     self.assertOnlyIn((3, 7), self.detect("from asyncio import BufferedProtocol"))
 
@@ -34,6 +37,9 @@ def test_ThreadedChildWatcher_of_asyncio(self):
   def test_PidfdChildWatcher_of_asyncio(self):
     self.assertOnlyIn((3, 9), self.detect("from asyncio import PidfdChildWatcher"))
 
+  def test_Runner_of_asyncio(self):
+    self.assertOnlyIn((3, 11), self.detect("from asyncio import Runner"))
+
   def test_Calendar_of_calendar(self):
     self.assertOnlyIn(((2, 5), (3, 0)), self.detect("from calendar import Calendar"))
 
@@ -160,6 +166,9 @@ def test_Deque_of_typing(self):
   def test_ForwardRef_of_typing(self):
     self.assertOnlyIn((3, 7), self.detect("from typing import ForwardRef"))
 
+  def test_NamedTuple_of_typing(self):
+    self.assertOnlyIn((3, 11), self.detect("from typing import NamedTuple"))
+
   def test_OrderedDict_of_typing(self):
     self.assertOnlyIn((3, 7), self.detect("from typing import OrderedDict"))
 
@@ -293,6 +302,12 @@ def test_c_bool_of_ctypes(self):
   def test_c_ssize_t_of_ctypes(self):
     self.assertOnlyIn(((2, 7), (3, 2)), self.detect("from ctypes import c_ssize_t"))
 
+  def test_BigEndianUnion_of_ctypes(self):
+    self.assertOnlyIn((3, 11), self.detect("from ctypes import BigEndianUnion"))
+
+  def test_LittleEndianUnion_of_ctypes(self):
+    self.assertOnlyIn((3, 11), self.detect("from ctypes import LittleEndianUnion"))
+
   def test_HtmlDiff_of_difflib(self):
     self.assertOnlyIn(((2, 4), (3, 0)), self.detect("from difflib import HtmlDiff"))
 
@@ -311,6 +326,9 @@ def test_LoggerAdapter_of_logging(self):
   def test_NullHandler_of_logging(self):
     self.assertOnlyIn(((2, 7), (3, 1)), self.detect("from logging import NullHandler"))
 
+  def test_StreamHandler_of_logging(self):
+    self.assertOnlyIn(((2, 6), (3, 0)), self.detect("from logging import StreamHandler"))
+
   def test_QueueHandler_of_logging_handlers(self):
     self.assertOnlyIn((3, 2), self.detect("from logging.handlers import QueueHandler"))
 
@@ -450,12 +468,21 @@ def test_DecodedGenerator_of_email_generator(self):
   def test_BytesGenerator_of_email_generator(self):
     self.assertOnlyIn((3, 2), self.detect("from email.generator import BytesGenerator"))
 
+  def test_EnumCheck_of_enum(self):
+    self.assertOnlyIn((3, 11), self.detect("from enum import EnumCheck"))
+
   def test_Flag_of_enum(self):
     self.assertOnlyIn((3, 6), self.detect("from enum import Flag"))
 
+  def test_FlagBoundary_of_enum(self):
+    self.assertOnlyIn((3, 11), self.detect("from enum import FlagBoundary"))
+
   def test_IntFlag_of_enum(self):
     self.assertOnlyIn((3, 6), self.detect("from enum import IntFlag"))
 
+  def test_StrEnum_of_enum(self):
+    self.assertOnlyIn((3, 11), self.detect("from enum import StrEnum"))
+
   def test_auto_of_enum(self):
     self.assertOnlyIn((3, 6), self.detect("from enum import auto"))
 
@@ -465,6 +492,9 @@ def test_FTP_TLS_of_ftplib(self):
   def test_partialmethod_of_functools(self):
     self.assertOnlyIn((3, 4), self.detect("from functools import partialmethod"))
 
+  def test_HTTPMethod_of_http(self):
+    self.assertOnlyIn((3, 11), self.detect("from http import HTTPMethod"))
+
   def test_HTTPStatus_of_http(self):
     self.assertOnlyIn((3, 5), self.detect("from http import HTTPStatus"))
 
@@ -525,6 +555,9 @@ def test_ExtensionFileLoader_of_importlib_machinery(self):
   def test_ModuleSpec_of_importlib_machinery(self):
     self.assertOnlyIn((3, 4), self.detect("from importlib.machinery import ModuleSpec"))
 
+  def test_NamespaceLoader_of_importlib_machinery(self):
+    self.assertOnlyIn((3, 11), self.detect("from importlib.machinery import NamespaceLoader"))
+
   def test_EntryPoints_of_importlib_metadata(self):
     self.assertOnlyIn((3, 10), self.detect("from importlib.metadata import EntryPoints"))
 
@@ -537,6 +570,9 @@ def test_Bytecode_of_dis(self):
   def test_Instruction_of_dis(self):
     self.assertOnlyIn((3, 4), self.detect("from dis import Instruction"))
 
+  def test_Positions_of_dis(self):
+    self.assertOnlyIn((3, 11), self.detect("from dis import Positions"))
+
   def test_DocTest_of_doctest(self):
     self.assertOnlyIn(((2, 4), (3, 0)), self.detect("from doctest import DocTest"))
 
@@ -572,6 +608,9 @@ def test_ParamSpec_of_typing(self):
   def test_SMTP_SSL_of_smtplib(self):
     self.assertOnlyIn(((2, 6), (3, 0)), self.detect("from smtplib import SMTP_SSL"))
 
+  def test_Blob_of_sqlite3(self):
+    self.assertOnlyIn((3, 11), self.detect("from sqlite3 import Blob"))
+
   def test_LMTP_of_smtplib(self):
     self.assertOnlyIn(((2, 6), (3, 0)), self.detect("from smtplib import LMTP"))