DataMuseum.dk

top - metrics - download

    Length: 5376 (0x1500)
    Types: TextFile
    Names: »lf3502env«

└─⟦da1afb338⟧ Bits:30008156 SW2020 - RC3502 - File system - Rel. 1.0
    └─⟦bcdac339f⟧ 
        └─⟦this⟧ »lf3502env« 

TextFile

lf3502env;
const
lf_identifier_size=16;
type
lf_identifier=array(1..lf_identifier_size)of char;
const
lf_noname=lf_identifier(lf_identifier_size***" ");
lf_ownname='. ';
lf_parentname='..';
lf_conname='con';
lf_delimiter="/";
const
lf_pathname_size=64;
type
lf_pathname=array(1..lf_pathname_size)of char;
type
lf_authorities=(lf_read_authority,
lf_write_authority,
lf_adjust_authority,
lf_delete_authority,
lf_authorize_authority);
lf_authority_type=
record
authorizations,
inheritable,
protections:set of lf_authorities;
end;
const
lf_maxauthorities=(.lf_read_authority,
lf_write_authority,
lf_adjust_authority,
lf_delete_authority,
lf_authorize_authority.);
lf_maxauthority=
lf_authority_type(lf_maxauthorities,
lf_maxauthorities,
lf_maxauthorities);
type
lf_accessmode=(lf_read,lf_write,lf_exclusive);
type
lf_entrytype_type=(lf_datafile,lf_catalog);
type
lf_exceptions=(lf_exception1,lf_exception2,lf_exception3,lf_exception4,
lf_exception5,lf_exception6,lf_exception7,lf_exception8,
lf_exception9,lf_exception10,lf_exception11,lf_exception12,
lf_exception13,lf_exception14,lf_exception15,lf_exception16);
type
lf_time=
record
date:coded_date;
time:coded_time;
end;
const
lf_entry_tail_size=5;
type
lf_entry_tail_type=array(1..lf_entry_tail_size)of byte;
lf_entry_info_type=
record
name:lf_identifier;
authority:lf_authority_type;
?,?:integer;
entrytype:lf_entrytype_type;
tail:lf_entry_tail_type;
end;
const
lf_entry_info_size=typesize(lf_entry_info_type);
const
lf_file_tail_size=8;
type
lf_file_tail_type=
record
length:double;
contents:integer;
not_used:array((typesize(double)+typesize(integer)+1)..lf_file_tail_size)of byte;
end;
lf_file_info_type=
record
written:double;
allocated:double;
creation:lf_time;
last_write:lf_time;
tail:lf_file_tail_type;
end;
procedure lf_init
(max_files:integer);
external;
procedure lf_select
(var pathname:!lf_pathname;
mode:set of lf_accessmode;
var result:byte);
external;
procedure lf_deselect;
external;
procedure lf_lookup
(var name:!lf_identifier;
var entry:lf_entry_info_type;
var descriptor:lf_file_info_type;
var result:byte);
external;
procedure lf_open
(var file:zone;
var name:!lf_identifier;
mode:set of lf_accessmode);
external;
procedure lf_reset
(var file:zone);
external;
procedure lf_rewrite
(var file:zone);
external;
procedure lf_set_mode
(var file:zone;
mode:lf_accessmode);
external;
procedure lf_close
(var file:zone);
external;
procedure lf_create
(var name:!lf_identifier;
authority:lf_authority_type;
entrytype:lf_entrytype_type;
var result:byte);
external;
procedure lf_delete
(var name:!lf_identifier;
var result:byte);
external;
procedure lf_link
(var name:!lf_identifier;
var pathname:!lf_pathname;
var result:byte);
external;
procedure lf_rename
(var name:!lf_identifier;
var oldname:!lf_identifier;
var result:byte);
external;
procedure lf_extend
(var name:!lf_identifier;
bytes:double;
var result:byte);
external;
procedure lf_truncate
(var name:!lf_identifier;
bytes:double;
var result:byte);
external;
procedure lf_set_tail
(var name:!lf_identifier;
var entry:!lf_entry_info_type;
var descriptor:!lf_file_info_type;
var result:byte);
external;
function lf_eof
(var file:zone):boolean;
external;
function lf_length
(var file:zone):double;
external;
procedure lf_offset
(var file:zone;
offset:double);
external;
function lf_position
(var file:zone):double;
external;
procedure lf_seek
(var file:zone;
position:double);
external;
function lf_readblock
(var file:zone;
var to_ref:reference;
to_index:integer;
bytes:integer):integer;
external;
procedure lf_readbyte
(var file:zone;
var b:byte);
external;
procedure lf_readinteger
(var file:zone;
var j:integer);
external;
function lf_writeblock
(var file:zone;
var from_ref:reference;
from_index,
bytes:integer):integer;
external;
procedure lf_writebyte
(var file:zone;
b:byte);
external;
procedure lf_writeinteger
(var file:zone;
j:integer);
external;
procedure lf_set_authority
(var name:!lf_identifier;
authorization:set of lf_authorities;
var result:byte);
external;
procedure lf_set_inheritance
(var name:!lf_identifier;
inheritable:set of lf_authorities;
var result:byte);
external;
procedure lf_set_protection
(var name:!lf_identifier;
protections:set of lf_authorities;
var result:byte);
external;
procedure lf_flush
(var file:zone);
external;
function lf_ioresult
(var file:zone):byte;
external;
procedure lf_disable
(mask:set of lf_exceptions);
external;
procedure lf_enable
(mask:set of lf_exceptions);
external;
procedure lf_test
(onoff:boolean);
external;
const
ok=0;
lf_catconnection=35;lf_fileconnection=36;
lf_name_inexisting=6;lf_name_exists=5;
lf_name_error=12;lf_unauthorized=30;
lf_deleted=7;lf_filelimit=29;
lf_buffersize=21;lf_catalog_full=13;
lf_rejected=28;lf_mount_error=9;
lf_openlimit=17;lf_includelimit=18;
lf_indexlimit=15;lf_flt_overflow=8;
lf_volumelimit=16;
lf_parity=2;lf_harderror=3;
lf_disconnected=25;
lf_version=22;lf_not_implemented=23;
lf_software=14;
.
▶EOF◀