| author | Christian Urban <urbanc@in.tum.de> | 
| Wed, 16 Oct 2019 23:45:46 +0100 | |
| changeset 660 | 7ef4d9a2676a | 
| parent 254 | dcd4688690ce | 
| permissions | -rw-r--r-- | 
val http_pattern = """"https?://[^"]*"""".r def unquote(s: String) = s.drop(1).dropRight(1) def get_all_URLs(page: String) : Set[String] = http_pattern.findAllIn(page).map(unquote).toSet def crawl(url: String, n: Int) : Unit = { if (n == 0) () else { println(s"Visiting: $n $url") for (u <- get_all_URLs(get_page(url))) crawl(u, n - 1) } } crawl(some_start_URL, 2)