FileInputPort
class defined at curl/kernel/net.curl:40
Buffered input from the file {param fname} with optional buffer size.
{FileInputPort.Close}:int
method defined at curl/kernel/net.curl:111
{FileInputPort.ContentLength}:int
method defined at curl/kernel/net.curl:114
{FileInputPort.ContentType}:symbol
method defined at curl/kernel/net.curl:116
{FileInputPort.init fname:text bufsize:int=512}
method defined at curl/kernel/net.curl:54
{FileInputPort.InitializeIn handle:int bufsize:int}
method defined at curl/kernel/net.curl:61
{FileInputPort.PeekCh}:int
method defined at curl/kernel/net.curl:88
{FileInputPort.ReadCh}:int
method defined at curl/kernel/net.curl:80
{FileInputPort.ReadText t:text n:int}:int
method defined at curl/kernel/net.curl:108
{FileInputPort.Refill}:void
method defined at curl/kernel/net.curl:70