changeset 330 | 0806e45d873c |
parent 254 | dcd4688690ce |
329:dbba38a5c2ae | 330:0806e45d873c |
---|---|
1 val http_pattern = """"https?://[^"]*"""".r |
1 val http_pattern = """"https?://[^"]*"""".r |
2 val my_urls = """urbanc""".r |
|
3 val email_pattern = |
2 val email_pattern = |
4 """([a-z0-9_\.-]+)@([\da-z\.-]+)\.([a-z\.]{2,6})""".r |
3 """([a-z0-9_\.-]+)@([\da-z\.-]+)\.([a-z\.]{2,6})""".r |
5 |
4 |
6 def print_str(s: String) = |
5 def print_str(s: String) = |
7 if (s == "") () else println(s) |
6 if (s == "") () else println(s) |