class FILE_PROTOCOL
Summary
Class invariant
Overview
name: STRING
constant attribute
is_connected: BOOLEAN
effective function
error: STRING
writable attribute
connect_to (url: URL)
effective procedure
disconnect
effective procedure
input: INPUT_STREAM
effective function
output: OUTPUT_STREAM
effective function