Check with mypy

.github/workflows/flake8.yml

@@ -24,15 +24,30 @@ jobs:
           event-type: flake8-event
           # Additional arguments to pass to flake8, default "." (current directory)
           args: "--ignore=E121"
-
-    test:
-      runs-on: ubuntu-latest
-      steps:
-        - uses: actions/checkout@master
-        - uses: actions/setup-python@v2
-          with:
-            python-version: '3.7.7'
-        - name: Test
-          uses: onichandame/python-test-action@master
-          with:
-            deps_list: 'requirements.txt'
+
+  mypy:
+    name: mypy
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check out code
+        uses: actions/checkout@v2
+      - uses: actions/setup-python@v2
+        with:
+          python-version: '3.7.7'
+          deps_list: 'requirements.txt'
+      - name: Run mypy
+        run: |
+          pip3 install .
+          python3 -m mypy .
+
+  Tests:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@master
+      - uses: actions/setup-python@v2
+        with:
+          python-version: '3.7.7'
+      - name: Test
+        uses: onichandame/python-test-action@master
+        with:
+          deps_list: 'requirements.txt'

main.py

@@ -1,14 +1,15 @@
 from pathlib import Path
+from typing import List
 
 
 def ccc():
     pass
 
 
-def Precommit():
+def Precommit(a: List[int]):
     if True:
-        print(Path(".") + " 11111" + "22222")
+        print(str(Path(".")) + " 11111" + "22222")
 
 
-Precommit()
-ccc()
+Precommit((1))
+ccc()

requirements.txt

@@ -1,2 +1,18 @@
+flake8==3.7.9
+codecov==2.0.15
+matplotlib==3.2.1
+coverage==5.0.3
+javalang==0.13.0
+beautifulsoup4==4.8.2
+numpy==1.18.1
+pandas==1.0.0
+mypy==0.770
+networkx==2.4
+cchardet==2.1.6
+lxml==4.5.0
+cached-property==1.2.0
+deprecated==1.2.10
 typing-extensions; python_version<'3.8'
-tqdm == 4.32.1
+tqdm == 4.32.1
+bs4==0.0.1
+pebble==4.5.3

setup.cfg

@@ -0,0 +1,12 @@
+[wheel]
+universal = 1
+
+[flake8]
+ignore =
+max-line-length = 120
+max-complexity = 10
+
+extensions = ['recommonmark']
+
+[mypy]
+mypy_path = stubs

setup.py

@@ -0,0 +1,32 @@
+from setuptools import setup, find_packages
+import temp_python
+
+setup(
+    name='veniq',
+    version=temp_python.__version__,
+    description=temp_python.__doc__.strip(),
+    long_description='Govno',
+    url='https://github.com/cqfn/veniq.git',
+    download_url='https://github.com/cqfn/veniq.git',
+    author=temp_python.__author__,
+    author_email='yegor256@gmail.com',
+    license=temp_python.__licence__,
+    packages=find_packages(),
+    entry_points={
+        'console_scripts': [
+            'temp_python = temp_python.__main__:main'
+        ],
+    },
+    extras_require={},
+    install_requires=open('requirements.txt', 'r').readlines(),
+    tests_require=open('requirements.txt', 'r').readlines(),
+    classifiers=[
+        'Programming Language :: Python',
+        'Environment :: Console',
+        'Intended Audience :: Developers',
+        'License :: OSI Approved :: MIT License',
+        'Topic :: Software Development',
+        'Topic :: Utilities'
+    ],
+    include_package_data=True,
+)

stubs/bs4/__init__.pyi

@@ -0,0 +1,40 @@
+from .element import Tag
+from typing import Any, Optional
+
+class BeautifulSoup(Tag):
+    ROOT_TAG_NAME: str = ...
+    DEFAULT_BUILDER_FEATURES: Any = ...
+    ASCII_SPACES: str = ...
+    NO_PARSER_SPECIFIED_WARNING: str = ...
+    element_classes: Any = ...
+    builder: Any = ...
+    is_xml: Any = ...
+    known_xml: Any = ...
+    parse_only: Any = ...
+    markup: Any = ...
+    def __init__(self, markup: str = ..., features: Optional[Any] = ..., builder: Optional[Any] = ..., parse_only: Optional[Any] = ..., from_encoding: Optional[Any] = ..., exclude_encodings: Optional[Any] = ..., element_classes: Optional[Any] = ..., **kwargs: Any): ...
+    def __copy__(self): ...
+    hidden: bool = ...
+    current_data: Any = ...
+    currentTag: Any = ...
+    tagStack: Any = ...
+    preserve_whitespace_tag_stack: Any = ...
+    def reset(self) -> None: ...
+    def new_tag(self, name: Any, namespace: Optional[Any] = ..., nsprefix: Optional[Any] = ..., attrs: Any = ..., sourceline: Optional[Any] = ..., sourcepos: Optional[Any] = ..., **kwattrs: Any): ...
+    def new_string(self, s: Any, subclass: Optional[Any] = ...): ...
+    # def insert_before(self, successor: Any) -> None: ...
+    # def insert_after(self, successor: Any) -> None: ...
+    def popTag(self): ...
+    def pushTag(self, tag: Any) -> None: ...
+    def endData(self, containerClass: Optional[Any] = ...) -> None: ...
+    def object_was_parsed(self, o: Any, parent: Optional[Any] = ..., most_recent_element: Optional[Any] = ...) -> None: ...
+    def handle_starttag(self, name: Any, namespace: Any, nsprefix: Any, attrs: Any, sourceline: Optional[Any] = ..., sourcepos: Optional[Any] = ...): ...
+    def handle_endtag(self, name: Any, nsprefix: Optional[Any] = ...) -> None: ...
+    def handle_data(self, data: Any) -> None: ...
+    # def decode(self, pretty_print: bool = ..., eventual_encoding: Any = ..., formatter: str = ...): ...
+
+class BeautifulStoneSoup(BeautifulSoup):
+    def __init__(self, *args: Any, **kwargs: Any) -> None: ...
+
+class StopParsing(Exception): ...
+class FeatureNotFound(ValueError): ...

stubs/bs4/builder/__init__.pyi

@@ -0,0 +1,58 @@
+from typing import Any, Optional
+
+class TreeBuilderRegistry:
+    builders_for_feature: Any = ...
+    builders: Any = ...
+    def __init__(self) -> None: ...
+    def register(self, treebuilder_class: Any) -> None: ...
+    def lookup(self, *features: Any): ...
+
+class TreeBuilder:
+    NAME: str = ...
+    ALTERNATE_NAMES: Any = ...
+    features: Any = ...
+    is_xml: bool = ...
+    picklable: bool = ...
+    empty_element_tags: Any = ...
+    DEFAULT_CDATA_LIST_ATTRIBUTES: Any = ...
+    DEFAULT_PRESERVE_WHITESPACE_TAGS: Any = ...
+    USE_DEFAULT: Any = ...
+    TRACKS_LINE_NUMBERS: bool = ...
+    soup: Any = ...
+    cdata_list_attributes: Any = ...
+    preserve_whitespace_tags: Any = ...
+    store_line_numbers: Any = ...
+    def __init__(self, multi_valued_attributes: Any = ..., preserve_whitespace_tags: Any = ..., store_line_numbers: Any = ...) -> None: ...
+    def initialize_soup(self, soup: Any) -> None: ...
+    def reset(self) -> None: ...
+    def can_be_empty_element(self, tag_name: Any): ...
+    def feed(self, markup: Any) -> None: ...
+    def prepare_markup(self, markup: Any, user_specified_encoding: Optional[Any] = ..., document_declared_encoding: Optional[Any] = ..., exclude_encodings: Optional[Any] = ...) -> None: ...
+    def test_fragment_to_document(self, fragment: Any): ...
+    def set_up_substitutions(self, tag: Any): ...
+
+class SAXTreeBuilder(TreeBuilder):
+    def feed(self, markup: Any) -> None: ...
+    def close(self) -> None: ...
+    def startElement(self, name: Any, attrs: Any) -> None: ...
+    def endElement(self, name: Any) -> None: ...
+    def startElementNS(self, nsTuple: Any, nodeName: Any, attrs: Any) -> None: ...
+    def endElementNS(self, nsTuple: Any, nodeName: Any) -> None: ...
+    def startPrefixMapping(self, prefix: Any, nodeValue: Any) -> None: ...
+    def endPrefixMapping(self, prefix: Any) -> None: ...
+    def characters(self, content: Any) -> None: ...
+    def startDocument(self) -> None: ...
+    def endDocument(self) -> None: ...
+
+class HTMLTreeBuilder(TreeBuilder):
+    empty_element_tags: Any = ...
+    block_elements: Any = ...
+    DEFAULT_CDATA_LIST_ATTRIBUTES: Any = ...
+    DEFAULT_PRESERVE_WHITESPACE_TAGS: Any = ...
+    def set_up_substitutions(self, tag: Any): ...
+
+class ParserRejectedMarkup(Exception):
+    def __init__(self, message_or_exception: Any) -> None: ...
+
+# Names in __all__ with no definition:
+#   HTMLParserTreeBuilder

stubs/bs4/builder/_html5lib.pyi

@@ -0,0 +1,65 @@
+from bs4.builder import HTMLTreeBuilder
+from html5lib.treebuilders import base as treebuilder_base
+from typing import Any, Optional
+
+class HTML5TreeBuilder(HTMLTreeBuilder):
+    NAME: str = ...
+    features: Any = ...
+    TRACKS_LINE_NUMBERS: bool = ...
+    user_specified_encoding: Any = ...
+    def prepare_markup(self, markup: Any, user_specified_encoding: Any, document_declared_encoding: Optional[Any] = ..., exclude_encodings: Optional[Any] = ...) -> None: ...
+    def feed(self, markup: Any) -> None: ...
+    underlying_builder: Any = ...
+    def create_treebuilder(self, namespaceHTMLElements: Any): ...
+    def test_fragment_to_document(self, fragment: Any): ...
+
+class TreeBuilderForHtml5lib(treebuilder_base.TreeBuilder):
+    soup: Any = ...
+    parser: Any = ...
+    store_line_numbers: Any = ...
+    def __init__(self, namespaceHTMLElements: Any, soup: Optional[Any] = ..., store_line_numbers: bool = ..., **kwargs: Any) -> None: ...
+    def documentClass(self): ...
+    def insertDoctype(self, token: Any) -> None: ...
+    def elementClass(self, name: Any, namespace: Any): ...
+    def commentClass(self, data: Any): ...
+    def fragmentClass(self): ...
+    def appendChild(self, node: Any) -> None: ...
+    def getDocument(self): ...
+    def getFragment(self): ...
+    def testSerializer(self, element: Any): ...
+
+class AttrList:
+    element: Any = ...
+    attrs: Any = ...
+    def __init__(self, element: Any) -> None: ...
+    def __iter__(self) -> Any: ...
+    def __setitem__(self, name: Any, value: Any) -> None: ...
+    def items(self): ...
+    def keys(self): ...
+    def __len__(self): ...
+    def __getitem__(self, name: Any): ...
+    def __contains__(self, name: Any): ...
+
+class Element(treebuilder_base.Node):
+    element: Any = ...
+    soup: Any = ...
+    namespace: Any = ...
+    def __init__(self, element: Any, soup: Any, namespace: Any) -> None: ...
+    def appendChild(self, node: Any) -> None: ...
+    def getAttributes(self): ...
+    def setAttributes(self, attributes: Any) -> None: ...
+    attributes: Any = ...
+    def insertText(self, data: Any, insertBefore: Optional[Any] = ...) -> None: ...
+    def insertBefore(self, node: Any, refNode: Any) -> None: ...
+    def removeChild(self, node: Any) -> None: ...
+    def reparentChildren(self, new_parent: Any) -> None: ...
+    def cloneNode(self): ...
+    def hasContent(self): ...
+    def getNameTuple(self): ...
+    nameTuple: Any = ...
+
+class TextNode(Element):
+    element: Any = ...
+    soup: Any = ...
+    def __init__(self, element: Any, soup: Any) -> None: ...
+    def cloneNode(self) -> None: ...

stubs/bs4/builder/_htmlparser.pyi

@@ -0,0 +1,31 @@
+from bs4.builder import HTMLTreeBuilder
+from html.parser import HTMLParser
+from typing import Any, Optional
+
+class HTMLParseError(Exception): ...
+
+class BeautifulSoupHTMLParser(HTMLParser):
+    already_closed_empty_element: Any = ...
+    def __init__(self, *args: Any, **kwargs: Any) -> None: ...
+    def error(self, msg: Any) -> None: ...
+    def handle_startendtag(self, name: Any, attrs: Any) -> None: ...
+    def handle_starttag(self, name: Any, attrs: Any, handle_empty_element: bool = ...) -> None: ...
+    def handle_endtag(self, name: Any, check_already_closed: bool = ...) -> None: ...
+    def handle_data(self, data: Any) -> None: ...
+    def handle_charref(self, name: Any) -> None: ...
+    def handle_entityref(self, name: Any) -> None: ...
+    def handle_comment(self, data: Any) -> None: ...
+    def handle_decl(self, data: Any) -> None: ...
+    def unknown_decl(self, data: Any) -> None: ...
+    def handle_pi(self, data: Any) -> None: ...
+
+class HTMLParserTreeBuilder(HTMLTreeBuilder):
+    is_xml: bool = ...
+    picklable: bool = ...
+    NAME: Any = ...
+    features: Any = ...
+    TRACKS_LINE_NUMBERS: bool = ...
+    parser_args: Any = ...
+    def __init__(self, parser_args: Optional[Any] = ..., parser_kwargs: Optional[Any] = ..., **kwargs: Any) -> None: ...
+    def prepare_markup(self, markup: Any, user_specified_encoding: Optional[Any] = ..., document_declared_encoding: Optional[Any] = ..., exclude_encodings: Optional[Any] = ...) -> None: ...
+    def feed(self, markup: Any) -> None: ...

stubs/bs4/builder/_lxml.pyi

@@ -0,0 +1,42 @@
+from bs4.builder import HTMLTreeBuilder, TreeBuilder
+from typing import Any, Optional
+
+class LXMLTreeBuilderForXML(TreeBuilder):
+    DEFAULT_PARSER_CLASS: Any = ...
+    is_xml: bool = ...
+    processing_instruction_class: Any = ...
+    NAME: str = ...
+    ALTERNATE_NAMES: Any = ...
+    features: Any = ...
+    CHUNK_SIZE: int = ...
+    DEFAULT_NSMAPS: Any = ...
+    DEFAULT_NSMAPS_INVERTED: Any = ...
+    def initialize_soup(self, soup: Any) -> None: ...
+    def default_parser(self, encoding: Any): ...
+    def parser_for(self, encoding: Any): ...
+    empty_element_tags: Any = ...
+    soup: Any = ...
+    nsmaps: Any = ...
+    def __init__(self, parser: Optional[Any] = ..., empty_element_tags: Optional[Any] = ..., **kwargs: Any) -> None: ...
+    def prepare_markup(self, markup: Any, user_specified_encoding: Optional[Any] = ..., exclude_encodings: Optional[Any] = ..., document_declared_encoding: Optional[Any] = ...) -> None: ...
+    parser: Any = ...
+    def feed(self, markup: Any) -> None: ...
+    def close(self) -> None: ...
+    def start(self, name: Any, attrs: Any, nsmap: Any = ...) -> None: ...
+    def end(self, name: Any) -> None: ...
+    def pi(self, target: Any, data: Any) -> None: ...
+    def data(self, content: Any) -> None: ...
+    def doctype(self, name: Any, pubid: Any, system: Any) -> None: ...
+    def comment(self, content: Any) -> None: ...
+    def test_fragment_to_document(self, fragment: Any): ...
+
+class LXMLTreeBuilder(HTMLTreeBuilder, LXMLTreeBuilderForXML):
+    NAME: Any = ...
+    ALTERNATE_NAMES: Any = ...
+    features: Any = ...
+    is_xml: bool = ...
+    processing_instruction_class: Any = ...
+    def default_parser(self, encoding: Any): ...
+    parser: Any = ...
+    def feed(self, markup: Any) -> None: ...
+    def test_fragment_to_document(self, fragment: Any): ...