2021-10-21 12:01:41 +02:00
|
|
|
import os
|
2021-11-01 10:09:50 +01:00
|
|
|
import re
|
2021-10-21 12:01:41 +02:00
|
|
|
from dataclasses import dataclass
|
|
|
|
from pathlib import PurePath
|
2022-01-08 17:14:40 +01:00
|
|
|
from typing import Awaitable, List, Optional, Pattern, Set, Union
|
2021-10-21 12:01:41 +02:00
|
|
|
from urllib.parse import urljoin
|
|
|
|
|
|
|
|
from bs4 import BeautifulSoup, Tag
|
|
|
|
|
|
|
|
from ..config import Config
|
|
|
|
from ..logging import ProgressBar, log
|
|
|
|
from ..output_dir import FileSink
|
|
|
|
from ..utils import soupify
|
|
|
|
from .crawler import CrawlError
|
|
|
|
from .http_crawler import HttpCrawler, HttpCrawlerSection
|
|
|
|
|
|
|
|
|
|
|
|
class KitIpdCrawlerSection(HttpCrawlerSection):
|
|
|
|
def target(self) -> str:
|
|
|
|
target = self.s.get("target")
|
|
|
|
if not target:
|
|
|
|
self.missing_value("target")
|
|
|
|
|
|
|
|
if not target.startswith("https://"):
|
|
|
|
self.invalid_value("target", target, "Should be a URL")
|
|
|
|
|
|
|
|
return target
|
|
|
|
|
2021-11-01 10:43:13 +01:00
|
|
|
def link_regex(self) -> Pattern[str]:
|
2022-05-08 17:39:18 +02:00
|
|
|
regex = self.s.get("link_regex", r"^.*?[^/]+\.(pdf|zip|c|cpp|java)$")
|
2021-11-01 10:09:50 +01:00
|
|
|
return re.compile(regex)
|
|
|
|
|
2021-10-21 12:01:41 +02:00
|
|
|
|
2021-11-01 10:43:13 +01:00
|
|
|
@dataclass(unsafe_hash=True)
|
2021-10-21 12:01:41 +02:00
|
|
|
class KitIpdFile:
|
|
|
|
name: str
|
|
|
|
url: str
|
|
|
|
|
|
|
|
|
|
|
|
@dataclass
|
|
|
|
class KitIpdFolder:
|
|
|
|
name: str
|
|
|
|
files: List[KitIpdFile]
|
|
|
|
|
2021-11-01 10:43:13 +01:00
|
|
|
def explain(self) -> None:
|
|
|
|
log.explain_topic(f"Folder {self.name!r}")
|
|
|
|
for file in self.files:
|
2022-05-05 14:23:19 +02:00
|
|
|
log.explain(f"File {file.name!r} (href={file.url!r})")
|
2021-11-01 10:43:13 +01:00
|
|
|
|
|
|
|
def __hash__(self) -> int:
|
|
|
|
return self.name.__hash__()
|
|
|
|
|
2021-10-21 12:01:41 +02:00
|
|
|
|
|
|
|
class KitIpdCrawler(HttpCrawler):
|
|
|
|
|
|
|
|
def __init__(
|
|
|
|
self,
|
|
|
|
name: str,
|
|
|
|
section: KitIpdCrawlerSection,
|
|
|
|
config: Config,
|
|
|
|
):
|
|
|
|
super().__init__(name, section, config)
|
|
|
|
self._url = section.target()
|
2021-11-01 10:09:50 +01:00
|
|
|
self._file_regex = section.link_regex()
|
2021-10-21 12:01:41 +02:00
|
|
|
|
|
|
|
async def _run(self) -> None:
|
|
|
|
maybe_cl = await self.crawl(PurePath("."))
|
|
|
|
if not maybe_cl:
|
|
|
|
return
|
|
|
|
|
2021-11-01 10:43:13 +01:00
|
|
|
tasks: List[Awaitable[None]] = []
|
2021-10-21 12:01:41 +02:00
|
|
|
|
|
|
|
async with maybe_cl:
|
2021-11-01 10:43:13 +01:00
|
|
|
for item in await self._fetch_items():
|
|
|
|
if isinstance(item, KitIpdFolder):
|
|
|
|
tasks.append(self._crawl_folder(item))
|
|
|
|
else:
|
|
|
|
# Orphan files are placed in the root folder
|
|
|
|
tasks.append(self._download_file(PurePath("."), item))
|
2021-10-21 12:01:41 +02:00
|
|
|
|
|
|
|
await self.gather(tasks)
|
|
|
|
|
|
|
|
async def _crawl_folder(self, folder: KitIpdFolder) -> None:
|
|
|
|
path = PurePath(folder.name)
|
|
|
|
if not await self.crawl(path):
|
|
|
|
return
|
|
|
|
|
|
|
|
tasks = [self._download_file(path, file) for file in folder.files]
|
|
|
|
|
|
|
|
await self.gather(tasks)
|
|
|
|
|
|
|
|
async def _download_file(self, parent: PurePath, file: KitIpdFile) -> None:
|
|
|
|
element_path = parent / file.name
|
|
|
|
maybe_dl = await self.download(element_path)
|
|
|
|
if not maybe_dl:
|
|
|
|
return
|
|
|
|
|
|
|
|
async with maybe_dl as (bar, sink):
|
|
|
|
await self._stream_from_url(file.url, sink, bar)
|
|
|
|
|
2021-11-01 10:43:13 +01:00
|
|
|
async def _fetch_items(self) -> Set[Union[KitIpdFile, KitIpdFolder]]:
|
2021-10-21 12:01:41 +02:00
|
|
|
page = await self.get_page()
|
|
|
|
elements: List[Tag] = self._find_file_links(page)
|
2021-11-01 10:43:13 +01:00
|
|
|
items: Set[Union[KitIpdFile, KitIpdFolder]] = set()
|
2021-10-21 12:01:41 +02:00
|
|
|
|
|
|
|
for element in elements:
|
2021-11-01 10:43:13 +01:00
|
|
|
folder_label = self._find_folder_label(element)
|
|
|
|
if folder_label:
|
|
|
|
folder = self._extract_folder(folder_label)
|
|
|
|
if folder not in items:
|
|
|
|
items.add(folder)
|
|
|
|
folder.explain()
|
2021-11-01 10:09:50 +01:00
|
|
|
else:
|
2021-11-01 10:43:13 +01:00
|
|
|
file = self._extract_file(element)
|
|
|
|
items.add(file)
|
2022-05-05 14:23:19 +02:00
|
|
|
log.explain_topic(f"Orphan file {file.name!r} (href={file.url!r})")
|
2021-11-01 10:43:13 +01:00
|
|
|
log.explain("Attributing it to root folder")
|
2021-10-21 12:01:41 +02:00
|
|
|
|
2021-11-01 10:43:13 +01:00
|
|
|
return items
|
2021-10-21 12:01:41 +02:00
|
|
|
|
|
|
|
def _extract_folder(self, folder_tag: Tag) -> KitIpdFolder:
|
|
|
|
files: List[KitIpdFile] = []
|
2021-11-01 10:43:13 +01:00
|
|
|
name = folder_tag.getText().strip()
|
|
|
|
|
|
|
|
container: Tag = folder_tag.findNextSibling(name="table")
|
|
|
|
for link in self._find_file_links(container):
|
|
|
|
files.append(self._extract_file(link))
|
2021-10-21 12:01:41 +02:00
|
|
|
|
|
|
|
return KitIpdFolder(name, files)
|
|
|
|
|
2021-11-01 10:09:50 +01:00
|
|
|
@staticmethod
|
2021-11-01 10:43:13 +01:00
|
|
|
def _find_folder_label(file_link: Tag) -> Optional[Tag]:
|
2021-11-01 10:09:50 +01:00
|
|
|
enclosing_table: Tag = file_link.findParent(name="table")
|
|
|
|
if enclosing_table is None:
|
|
|
|
return None
|
2021-11-01 10:43:13 +01:00
|
|
|
return enclosing_table.findPreviousSibling(name=re.compile("^h[1-6]$"))
|
2021-11-01 10:09:50 +01:00
|
|
|
|
2021-10-21 12:01:41 +02:00
|
|
|
def _extract_file(self, link: Tag) -> KitIpdFile:
|
|
|
|
url = self._abs_url_from_link(link)
|
2021-11-01 10:09:50 +01:00
|
|
|
name = os.path.basename(url)
|
|
|
|
return KitIpdFile(name, url)
|
2021-10-21 12:01:41 +02:00
|
|
|
|
|
|
|
def _find_file_links(self, tag: Union[Tag, BeautifulSoup]) -> List[Tag]:
|
2021-11-01 10:09:50 +01:00
|
|
|
return tag.findAll(name="a", attrs={"href": self._file_regex})
|
2021-10-21 12:01:41 +02:00
|
|
|
|
|
|
|
def _abs_url_from_link(self, link_tag: Tag) -> str:
|
|
|
|
return urljoin(self._url, link_tag.get("href"))
|
|
|
|
|
|
|
|
async def _stream_from_url(self, url: str, sink: FileSink, bar: ProgressBar) -> None:
|
|
|
|
async with self.session.get(url, allow_redirects=False) as resp:
|
|
|
|
if resp.status == 403:
|
|
|
|
raise CrawlError("Received a 403. Are you within the KIT network/VPN?")
|
|
|
|
if resp.content_length:
|
|
|
|
bar.set_total(resp.content_length)
|
|
|
|
|
|
|
|
async for data in resp.content.iter_chunked(1024):
|
|
|
|
sink.file.write(data)
|
|
|
|
bar.advance(len(data))
|
|
|
|
|
|
|
|
sink.done()
|
|
|
|
|
|
|
|
async def get_page(self) -> BeautifulSoup:
|
|
|
|
async with self.session.get(self._url) as request:
|
2022-05-05 14:20:45 +02:00
|
|
|
# The web page for Algorithmen für Routenplanung contains some
|
|
|
|
# weird comments that beautifulsoup doesn't parse correctly. This
|
|
|
|
# hack enables those pages to be crawled, and should hopefully not
|
|
|
|
# cause issues on other pages.
|
|
|
|
content = (await request.read()).decode("utf-8")
|
|
|
|
content = re.sub(r"<!--.*?-->", "", content)
|
|
|
|
return soupify(content.encode("utf-8"))
|