+
Point of view
All features
deferred class FILE_STREAM
ensure
-
definition: Result = path /= Void
ensure
- path.same_as(new_path.out)
frozen
effective function
ensure
-
not_void: Result /= Void
-
always_the_same: Result = url
filtered_has_stream_pointer:
BOOLEAN
deferred function