class FILE_LABEL




Public


Readable Attributes
attr name : STR ;

Features
allocated : CARD .. Included as allocated
altered_at : TIME_STAMP .. Included as altered_at
block_size : CARD .. Included as block_size
create(
created_at : TIME_STAMP .. Included as created_at
device_code : NUM_BITS .. Included as device_code
file_code : CARD .. Included as file_code
group_access( .. Included as group_access
group_access : ACCESS_SET .. Included as group_access
is_device : BOOL .. Included as is_device
is_directory : BOOL .. Included as is_directory
is_file : BOOL .. Included as is_file
is_pipe : BOOL .. Included as is_pipe
is_special : BOOL .. Included as is_special
kind : FILE_KINDS .. Included as kind
owner( .. Included as owner
owner : USER .. Included as owner
owner_access( .. Included as owner_access
owner_access : ACCESS_SET .. Included as owner_access
project( .. Included as project
project : GROUP .. Included as project
public_access( .. Included as public_access
public_access : ACCESS_SET .. Included as public_access
size : CARD .. Included as size
used_at( .. Included as used_at
used_at : TIME_STAMP .. Included as used_at


Private

const FS_Kind_Length : CARD := FILE_SYS::Kind_Length ;
const Group_Mask : NUM_BITS := NUM_BITS::create(0x00000038) ; .. Included as Group_Mask
const Kind_Mask : NUM_BITS := NUM_BITS::create(0x0000F000) ; .. Included as Kind_Mask
const Kind_Shift : CARD := 12 ; .. Included as Kind_Shift
const Owner_Mask : NUM_BITS := NUM_BITS::create(0x000001C0) ; .. Included as Owner_Mask
const Ticks_per_Unit : CARD := OS_TIME::Ticks_per_Second /
const World_Mask : NUM_BITS := NUM_BITS::create(0x00000007) ; .. Included as World_Mask
attr label : OS_FLABEL ;
attr label : OS_FLABEL ;
modes : NUM_BITS .. Included as modes
**** kind, permissions, etc
attr name : STR ;

The Sather Home Page