List of all items

Structs

• file_attr::FileAttr
• fs::InvFS
• inode_mapper::InodeMapper
• invariants::FSData
• invariants::common::CPI
• invariants::common::CPPN
• invariants::fs::create::CreateInv
• invariants::fs::getattr::GetattrArgs
• invariants::fs::getattr::GetattrInv
• invariants::fs::init::InitInv
• invariants::fs::link::LinkInv
• invariants::fs::lookup::LookupArgs
• invariants::fs::lookup::LookupInv
• invariants::fs::mkdir::MkdirInv
• invariants::fs::mknod::MknodInv
• invariants::fs::read::ReadInv
• invariants::fs::removexattr::RemovexattrInv
• invariants::fs::rename::RenameInv
• invariants::fs::rmdir::RmdirInv
• invariants::fs::setattr::SetattrArgs
• invariants::fs::setattr::SetattrInv
• invariants::fs::setxattr::SetxattrInv
• invariants::fs::symlink::SymlinkInv
• invariants::fs::unlink::UnlinkInv
• invariants::fs::write::WriteInv
• logging::CALL_ID

Enums

• file_attr::FileType
• invariants::perm::Access

Traits

• fs_to_fuse::FsToFuseAttr
• fs_to_fuse::FsToFuseKind
• logwrapper::LogWrapper

Macros

• log_acces
• log_call
• log_more
• log_res

Functions

• fs::chdirin
• fs::chdirout
• fs::get_groups
• invariants::common::common_pre_ino
• invariants::common::common_pre_parent_name
• invariants::fs::create::inv_create_after
• invariants::fs::create::inv_create_before
• invariants::fs::getattr::inv_getattr_after
• invariants::fs::getattr::inv_getattr_before
• invariants::fs::init::inv_init_after
• invariants::fs::init::inv_init_before
• invariants::fs::link::inv_link_after
• invariants::fs::link::inv_link_before
• invariants::fs::lookup::inv_lookup_after
• invariants::fs::lookup::inv_lookup_before
• invariants::fs::mkdir::inv_mkdir_after
• invariants::fs::mkdir::inv_mkdir_before
• invariants::fs::mknod::inv_mknod_after
• invariants::fs::mknod::inv_mknod_before
• invariants::fs::read::inv_read_after
• invariants::fs::read::inv_read_before
• invariants::fs::removexattr::inv_removexattr_after
• invariants::fs::removexattr::inv_removexattr_before
• invariants::fs::rename::inv_rename_after
• invariants::fs::rename::inv_rename_before
• invariants::fs::rmdir::inv_rmdir_after
• invariants::fs::rmdir::inv_rmdir_before
• invariants::fs::setattr::inv_setattr_after
• invariants::fs::setattr::inv_setattr_before
• invariants::fs::setxattr::inv_setxattr_after
• invariants::fs::setxattr::inv_setxattr_before
• invariants::fs::symlink::inv_symlink_after
• invariants::fs::symlink::inv_symlink_before
• invariants::fs::unlink::inv_unlink_after
• invariants::fs::unlink::inv_unlink_before
• invariants::fs::write::inv_write_after
• invariants::fs::write::inv_write_before
• invariants::perm::check_perm
• invariants::perm::sgids
• load_prev_contents
• store_prev_contents

Type Aliases

• logging::CallID