class OS_FLABEL < $OPSYS_FILE_LABEL
****

__This_class_is_a_'low-level'_object_which_is_filled_in_an_OS-dependent
___manner_by_the_FILE_SYS_get_label_routine.__It_must_contain_at_least_the
___following_for_use_by_the_FILE_LABEL_class.

________A_device_code_indicating_the_file-system_involved.

________A_file_code_indicating_the_number_of_the_fyle_as_known_to_the_FS

________A_modes_code_which_will_need_to_be_'unhatched'_for_setting_access.

________An_owner_identity_code

________A_project_identity_code_(which_may_be_void)

________An_object_size_in_octets

________Three_times_which_may_yield_the_same_date/time_stamp_--

_____________1.___The_time-stamp_when_created.

_____________2.___The_time-stamp_when_last_altered.

_____________3.___The_time-stamp_when_last_used.

________Device_block-size_for_the_object

________The_count_of_allocated_blocks.
________This_version_is_defined_for_Posix_conformant_unix_implementations!
___Reference_should_be_made_to_Posix_specifications_for_further_detail.


Ancestors
$OPSYS_FILE_LABEL AREF{_}



Public


Constants
const Units_per_Second : CARD := 1 ;
**** For NTFS measures in seconds!
const asize : CARD := 22 ;
**** to get round asize compiler bug

Features
access_time(new_val : OS_FSTIME)
****
__This_routine_sets_the_array_components_indicating_the_modification
___time_to_the_new_value_given.
access_time : OS_FSTIME
****
__This_routine_creates_and_returns_a_new_value_of_the_given_class.
aclear .. Included as aclear
acopy(beg, num, srcbeg : CARD, src : SAME) .. Included as acopy
acopy(beg, num : CARD, src : SAME) .. Included as acopy
acopy(beg : CARD, src : SAME) .. Included as acopy
acopy(src : SAME) .. Included as acopy
aget(index : CARD) : ELT .. Included as aget
aget(index : INT) : ELT .. Included as aget
array_ptr : REFERENCE .. Included as array_ptr
aset(index : CARD, val : ELT) .. Included as aset
aset(index : INT, val:ELT) .. Included as aset
block_count : CARD
****
__This_routine_creates_and_returns_a_new_value_of_the_given_class.
block_size : CARD
****
__This_routine_creates_and_returns_a_new_value_of_the_given_class.
create(cnt : CARD) : SAME .. Included as create
**** This routine returns a new array with cnt elements.
create : SAME
created_time : OS_FSTIME
**** This routine returns the file system time at which the file was
___originally_created.
device_code : OS_DEVCODE
**** This routine creates and returns a new value of the given class.
file_code : NUM_BITS
**** This routine creates and returns a new value of the given class.
file_size : CARD
**** This routine creates and returns a new value of the given class.
group_id(new_val : OS_IDENT)
**** This routine creates and returns a new value of the given class.
group_id : OS_IDENT
**** This routine creates and returns a new value of the given class.
link_cnt : OS_COUNT
**** This routine creates and returns a new value of the given class.
mode(new_val : NUM_BITS)
**** This routine is the writer routine corresponding to the above reader routine.
mode : NUM_BITS
****
__This_routine_creates_and_returns_a_new_value_of_the_given_class.
modify_time(new_val : OS_FSTIME)
****
__This_routine_sets_the_array_components_indicating_the_modification
___time_to_the_new_value_given.
modify_time : OS_FSTIME
**** This routine creates and returns a new value of the given class.
real_device_code : OS_DEVCODE
**** This routine creates and returns a new value of the given class.
status_change_time : OS_FSTIME
****
__This_routine_creates_and_returns_a_new_value_of_the_given_class.
user_id(new_val : OS_IDENT)
****
__This_routine_creates_and_returns_a_new_value_of_the_given_class.
user_id : OS_IDENT
****
__This_routine_creates_and_returns_a_new_value_of_the_given_class.

Iters
aelt!(once beg : CARD) : ELT .. Included as aelt!
aelt!(once beg, once num : CARD) : ELT .. Included as aelt!
aelt!(once beg,once num : CARD,once step : INT) : ELT .. Included as aelt!
aelt! : ELT .. Included as aelt!
aind! : CARD .. Included as aind!
aset!(val : ELT) .. Included as aset!
aset!(once beg : CARD,val : ELT) .. Included as aset!
aset!(once beg, once num : CARD, val : ELT) .. Included as aset!
aset!(once beg, once num : CARD, once step : INT,val : ELT) .. Included as aset!


Private

for_all(first, second : SAME) : BOOL .. Included as for_all
****
__This_private_predicate_returns_true_if_and_only_if_all_elements_of
___first_and_second_are_the_same!
is_legal_aelts_arg(beg, num : CARD, step : INT) : BOOL .. Included as is_legal_aelts_arg
**** This predicate returns true if and only if the arguments are legal
___values_for_aelt_and_aset_iters_below.
p_access,
**** 14 17*
p_access_2,
****
p_block_count,
**** 13 15*
______________p_block_count_high_______--_____16*
p_block_size,
**** 12 14*
______________p_block_count_high_______--_____16*
const p_dev_code,
**** 0
p_dev_high,
**** 1
p_dummy_1,
****
______________p_file_code_high_________--_____4*
p_dummy_2,
****
______________p_file_size_high_________--_____13*
______________p_block_count_high_______--_____16*
p_dummy_5, p_dummy_6 ;
p_dummy_5, p_dummy_6 ;
p_file_code,
**** 3
______________p_file_code_high_________--_____4*
p_file_size,
**** 11 12*
______________p_file_size_high_________--_____13*
______________p_block_count_high_______--_____16*
p_group,
**** 7 8*
p_links,
**** 5 6*
p_mode_bits,
**** 4 5*
p_modify,
**** 16 19*
p_modify_2,
****
p_real_dev_code,
**** 8 9*
p_real_dev_high,
**** 9 10*
p_status_change,
**** 18 21*
p_status_change_2,
p_user,
**** 6 7*

The Sather Home Page