changeset 7 | 73cf4406b773 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/app3.scala Thu Sep 27 11:59:41 2012 +0100 @@ -0,0 +1,10 @@ +val my_urls = """urbanc""".r + +def crawl(url: String, n: Int) : Unit = { + if (n == 0) () + else if (my_urls.findFirstIn(url) == None) () + else { + println("Visiting: " + n + " " + url) + for (u <- get_all_URLs(get_page(url))) crawl(u, n - 1) + } +}