author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
Wed, 07 Aug 2013 17:31:42 +0100 | |
changeset 94 | 9ea667baf097 |
parent 93 | 4794759139ea |
child 96 | 9fcd3de53c06 |
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("Visiting: " + n + " " + url) for (u <- get_all_URLs(get_page(url))) crawl(u, n - 1) } }