Section Header

    + name := ABSTRACT_FILE;

    - comment := "Abstract File Management";

Section Inherit

    + parent_entry:ENTRY :=

Section Public

    + cursor:UINTEGER_32;

    - set_cursor n:UINTEGER_32 <-

Update.


    - refresh:BOOLEAN <-

    - is_empty:BOOLEAN <-
        Is collection empty ?

    - this:ENTRY <-

Read.


    - read dest:OBJECT :INTEGER <-

    - read dest:ARRAYED size nb_elt:INTEGER :INTEGER <-

Write.


    - write src:ARRAYED from start:INTEGER size nb_elt:INTEGER :INTEGER <-

Close.


    - close:ENTRY <-

Section ENTRY

    - make e:ENTRY :BOOLEAN <-

    - make_read_only e:ENTRY :BOOLEAN <-