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 <-