以下のコードをプログラムの先頭部に入れておくといい。
import java.net.{InetAddress=>IA}
val hn=IA.getLocalHost.getHostName
val adrs=IA.getAllByName(hn)
if(adrs.exists(_.getHostAddress matches "^172.*")) {
// 学内LANにいると推測されるとき限定で
System.setProperty("proxyHost", "proxy")
System.setProperty("proxyPort", "3128")
}
import scala.io.Source // io.Source でも可
val url="http://www2.nagano.ac.jp/hiraoka/BP/"
val tx=Source.fromURL(url,"utf-8").mkString
// この結果、変数txにページのデータ(HTMLであることが多い)が文字列として記憶される。
val b=Source.fromURL(url,"utf-8").getLines
val a=b.toArray // 配列に変換
io.Source.fromURL(url,"utf-8").getLines.forEach(println)
// または
for(line<-io.Source.fromURL(url,"utf-8").getLines)
println(line)
「正規表現(詳細はBPでは説明は省略するが)」に基いて、 目的のものだけを抜き出す書き方の例
val re="<[^>]+>".r
re.findAllIn(tx)
(もう少し踏み込んだ例を別ページに示したので参考にして下さい)