Record

descriptor-stat

File attributes.

record descriptor-stat {
  type: descriptor-type,
  link-count: link-count,
  size: filesize,
  data-access-timestamp: option<instant>,
  data-modification-timestamp: option<instant>,
  status-change-timestamp: option<instant>,
}

Fields

Name	Type	Description
type	descriptor-type	File type.
link-count	link-count	Number of hard links to the file.
size	filesize	For regular files, the file size in bytes. For symbolic links, the length in bytes of the pathname contained in the symbolic link.
data-access-timestamp	option<instant>	Last data access timestamp.
data-modification-timestamp	option<instant>	Last data modification timestamp.
status-change-timestamp	option<instant>	Last file status-change timestamp.