Files package

The Files package provides classes for working with files and directories.

Files are identified by FilePath objects, which represent both the path to the file and the capabilites for accessing the file at that path. FilePath objects can be used with the CreateFile and OpenFile primitives and the File class to get a reference to a file that can be used to write to and/or read from the file. It can also be used with the Directory object to get a reference to a directory object that can be used for directory operations.

The FileLines class allows a file to be accessed one line at a time.

The FileStream actor provides the ability to asynchronously write to a file.

The Path primitive can be used to do path-related operations on strings and characters.

Example program

This program opens the files that are given as command line arguments and prints their contents.

use "files"

actor Main
  new create(env: Env) =>
    try
      for file_name in env.args.slice(1).values() do
        let path = FilePath(env.root as AmbientAuth, file_name)?
        match OpenFile(path)
        | let file: File =>
          while file.errno() is FileOK do
            env.out.write(file.read(1024))
          end
        else
          env.err.print("Error opening file '" + file_name + "'")
        end
      end
    end

Public Types

• primitive Path
• actor FileStream
• interface WalkHandler
• class FilePath
• class FileMode
• class FileLines
• class FileInfo
• primitive FileCreate
• primitive FileChmod
• primitive FileChown
• primitive FileLink
• primitive FileLookup
• primitive FileMkdir
• primitive FileRead
• primitive FileRemove
• primitive FileRename
• primitive FileSeek
• primitive FileStat
• primitive FileSync
• primitive FileTime
• primitive FileTruncate
• primitive FileWrite
• primitive FileExec
• type FileCaps
• primitive FileOK
• primitive FileError
• primitive FileEOF
• primitive FileBadFileNumber
• primitive FileExists
• primitive FilePermissionDenied
• type FileErrNo
• primitive CreateFile
• primitive OpenFile
• class File
• class Directory