filesys

type DirFs struct {
	// contains filtered or unexported fields
}

type File int

type Filesys interface {
	// Create creates an empty file at fname in write-only mode.
	// Returns ok=false and does nothing if fname exists.
	Create(dir, fname string) (f File, ok bool)
	// Append to an open file
	Append(f File, data []byte)
	// Close closes a file, invalidating the file descriptor
	Close(f File)
	// Open opens a file for reading
	//
	// Read-only files do not use the read offset managed by the kernel since
	// all reads are absolute.
	Open(dir, fname string) File
	// ReadAt reads from an offset in the file (using pread)
	ReadAt(f File, offset uint64, length uint64) []byte
	// Delete deletes a file (which must exist).
	Delete(dir, fname string)
	// AtomicCreate creates a file with data atomically using a temp file and
	// rename.
	AtomicCreate(dir, fname string, data []byte)
	// Link creates a hard link from newName to oldName
	Link(oldDir, oldName, newDir, newName string) bool
	// List lists the directory using readdir().
	//
	// This is a non-atomic operation since multiple system calls might be
	// needed to read the entire directory entry.
	List(dir string) []string
	// Mkdir creates a root directory.
	//
	// Used only for initialization outside of verified code
	// (Perennial's Go model does not model this operation).
	Mkdir(dir string)
}

type MemFs struct {
	// contains filtered or unexported fields
}