Section Header

    + name := ABSTRACT_FILE_SYSTEM;

    - comment := "Basic File System manager.";

Section Inherit

    - parent_object:OBJECT :=

Section Public

Drives


    + current_drive:STRING_CONSTANT;
        Current Drive

    + isaac_drive:STRING_CONSTANT;
        System Drive

    - set_drive d:STRING_CONSTANT <-

Directories


    - root:DIRECTORY <-

    + current_dir:DIRECTORY;
        Current directory

    - get_current_directory:DIRECTORY <-

    - get_directory n:ABSTRACT_STRING :DIRECTORY <-

    - change_directory n:ABSTRACT_STRING <-

Files


    - new_file n:ABSTRACT_STRING :STD_FILE <-

    - get_file_type n:ABSTRACT_STRING :STD_FILE <-
        Return file Type Format

    - get_file n:ABSTRACT_STRING :STD_FILE <-

    - size:INTEGER <-
        Size of all files of the file system

Init


    - physical_init <-

    - make <-