[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

Theorem base summary for Specification posix-pre

pre-close-eaccess(0,0)pre-create-enoent(0,0)pre-link-efail(1,1)pre-mkdir-esuccess(0,0)pre-read-elowlevel(0,0)pre-readmeta-ebadfd(0,0)pre-renam-enotdir(0,0)pre-seek-efail(1,1)pre-truncate-esuccess(0,0)pre-write-elowlevel(0,0)
pre-close-ebadfd(0,0)pre-create-enotdir(0,0)pre-link-eisdir(0,0)pre-open-eaccess(0,0)pre-read-enoent(0,0)pre-readmeta-eexists(0,0)pre-renam-enotempty(0,0)pre-seek-eisdir(0,0)pre-unlink-eaccess(0,0)pre-write-enoent(0,0)
pre-close-eexists(0,0)pre-create-enotempty(0,0)pre-link-elowlevel(0,0)pre-open-ebadfd(0,0)pre-read-enotdir(0,0)pre-readmeta-efail(1,1)pre-renam-esuccess(0,0)pre-seek-elowlevel(0,0)pre-unlink-ebadfd(0,0)pre-write-enotdir(0,0)
pre-close-efail(1,1)pre-create-esuccess(0,0)pre-link-enoent(0,0)pre-open-eexists(0,0)pre-read-enotempty(0,0)pre-readmeta-eisdir(0,0)pre-rmdir-eaccess(0,0)pre-seek-enoent(0,0)pre-unlink-eexists(0,0)pre-write-enotempty(0,0)
pre-close-eisdir(0,0)pre-fsync-eaccess(0,0)pre-link-enotdir(0,0)pre-open-efail(1,1)pre-read-esuccess(0,0)pre-readmeta-elowlevel(0,0)pre-rmdir-ebadfd(0,0)pre-seek-enotdir(0,0)pre-unlink-efail(1,1)pre-write-esuccess(0,0)
pre-close-elowlevel(0,0)pre-fsync-ebadfd(0,0)pre-link-enotempty(0,0)pre-open-eisdir(0,0)pre-readdir-eaccess(0,0)pre-readmeta-enoent(0,0)pre-rmdir-eexists(0,0)pre-seek-enotempty(0,0)pre-unlink-eisdir(0,0)pre-writemeta-eaccess(0,0)
pre-close-enoent(0,0)pre-fsync-eexists(0,0)pre-link-esuccess(0,0)pre-open-elowlevel(0,0)pre-readdir-ebadfd(0,0)pre-readmeta-enotdir(0,0)pre-rmdir-efail(1,1)pre-seek-esuccess(0,0)pre-unlink-elowlevel(0,0)pre-writemeta-ebadfd(0,0)
pre-close-enotdir(0,0)pre-fsync-eisdir(0,0)pre-mkdir-eaccess(0,0)pre-open-enoent(0,0)pre-readdir-eexists(0,0)pre-readmeta-enotempty(0,0)pre-rmdir-eisdir(0,0)pre-truncate-eaccess(0,0)pre-unlink-enoent(0,0)pre-writemeta-eexists(0,0)
pre-close-enotempty(0,0)pre-fsync-elowlevel(0,0)pre-mkdir-ebadfd(0,0)pre-open-enotdir(0,0)pre-readdir-efail(1,1)pre-readmeta-esuccess(0,0)pre-rmdir-elowlevel(0,0)pre-truncate-ebadfd(0,0)pre-unlink-enotdir(0,0)pre-writemeta-efail(1,1)
pre-close-esuccess(0,0)pre-fsync-enoent(0,0)pre-mkdir-eexists(0,0)pre-open-enotempty(0,0)pre-readdir-eisdir(0,0)pre-renam-eaccess(0,0)pre-rmdir-enoent(0,0)pre-truncate-eexists(0,0)pre-unlink-enotempty(0,0)pre-writemeta-eisdir(0,0)
pre-create-eaccess(0,0)pre-fsync-enotdir(0,0)pre-mkdir-efail(1,1)pre-open-esuccess(0,0)pre-readdir-elowlevel(0,0)pre-renam-ebadfd(0,0)pre-rmdir-enotdir(0,0)pre-truncate-efail(1,1)pre-unlink-esuccess(0,0)pre-writemeta-elowlevel(0,0)
pre-create-ebadfd(0,0)pre-fsync-enotempty(0,0)pre-mkdir-eisdir(0,0)pre-read-eaccess(0,0)pre-readdir-enoent(0,0)pre-renam-eexists(0,0)pre-rmdir-enotempty(0,0)pre-truncate-eisdir(0,0)pre-write-eaccess(0,0)pre-writemeta-enoent(0,0)
pre-create-eexists(0,0)pre-fsync-esuccess(0,0)pre-mkdir-elowlevel(0,0)pre-read-ebadfd(0,0)pre-readdir-enotdir(0,0)pre-renam-efail(1,1)pre-rmdir-esuccess(0,0)pre-truncate-elowlevel(0,0)pre-write-ebadfd(0,0)pre-writemeta-enotdir(0,0)
pre-create-efail(1,1)pre-link-eaccess(0,0)pre-mkdir-enotdir(0,0)pre-read-eexists(0,0)pre-readdir-enotempty(0,0)pre-renam-eisdir(0,0)pre-seek-eaccess(0,0)pre-truncate-enoent(0,0)pre-write-eexists(0,0)pre-writemeta-enotempty(0,0)
pre-create-eisdir(0,0)pre-link-ebadfd(0,0)pre-mkdir-enotempty(0,0)pre-read-efail(1,1)pre-readdir-esuccess(0,0)pre-renam-elowlevel(0,0)pre-seek-ebadfd(0,0)pre-truncate-enotdir(0,0)pre-write-efail(1,1)pre-writemeta-esuccess(0,0)
pre-create-elowlevel(0,0)pre-link-eexists(0,0)pre-mkdir-enotent(0,0)pre-read-eisdir(0,0)pre-readmeta-eaccess(0,0)pre-renam-enoent(0,0)pre-seek-eexists(0,0)pre-truncate-enotempty(0,0)pre-write-eisdir(0,0)