Specification posix-permission

[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

instantiate parameter
   permission-param

< 
   path-permission

with 
   posix-base, 
   permission


   
by mapping
      : state → directory-tree × file-data-store; 
      meta → meta; 
      st → tree, fs
   rename 
      px → px; 
      px-parent → px-parent; 
      py → py; 
      pr → pr; 
      pw → pw
end instantiate