read-open (プロシージャ)
public {read-open
url:Url,
character-encoding:CharEncoding = CharEncoding.none-specified,
buffer-size:int = {calculate-instances-per-memory-size default-buffer-memory-size, char },
unread-size:int = {min 4, buffer-size div 4}
}:TextInputStream
パッケージ： CURL.IO.FILE

url を TextInputStream として開きます。

注意事項

詳細については、File.read-open を参照してください。