% GENERATED: DO NOT EDIT
%%% % @noformat
-module(alcove_proto).
-include("alcove.hrl").
-export_type([call/0, calls/0]).
-type call() :: alloc | cap_constant | cap_enter | cap_fcntls_get | cap_fcntls_limit | cap_getmode | cap_ioctls_limit | cap_rights_limit | chdir | chmod | chown | chroot | clearenv | clone | clone_constant | close | connect | cpid | environ | errno_id | execve | execvp | exit | fcntl | fcntl_constant | fexecve | file_constant | filter | fork | getcwd | getenv | getgid | getgroups | gethostname | getopt | getpgrp | getpid | getpriority | getresgid | getresuid | getrlimit | getsid | getuid | ioctl | ioctl_constant | iolist_to_bin | jail | jail_attach | jail_remove | kill | link | lseek | mkdir | mkfifo | mount | mount_constant | open | pivot_root | pledge | prctl | prctl_constant | procctl | ptrace | ptrace_constant | read | readdir | rlimit_constant | rmdir | seccomp | seccomp_constant | select | setcpid | setenv | setgid | setgroups | sethostname | setns | setopt | setpgid | setpriority | setproctitle | setresgid | setresuid | setrlimit | setsid | setuid | sigaction | signal_constant | socket | symlink | syscall_constant | umount | umount2 | unlink | unsetenv | unshare | unveil | version | waitpid | write.
-spec call(call()) -> 0..100.
-spec noreturn(call()) -> boolean().
-type calls() :: [call()].
-spec calls() -> [call(),...].
% Static functions
-export([call/1, noreturn/1]).
% Generated functions
-export([calls/0]).
call(Call) when is_atom(Call) ->
lookup(Call, calls(), 0).
lookup(Call, [Call|_], N) ->
N;
lookup(Call, [_|Calls], N) ->
lookup(Call, Calls, N+1).
noreturn(execve) -> true;
noreturn(execvp) -> true;
noreturn(exit) -> true;
noreturn(fexecve) -> true;
noreturn(_) -> false.
calls() ->
[alloc,
cap_constant,
cap_enter,
cap_fcntls_get,
cap_fcntls_limit,
cap_getmode,
cap_ioctls_limit,
cap_rights_limit,
chdir,
chmod,
chown,
chroot,
clearenv,
clone,
clone_constant,
close,
connect,
cpid,
environ,
errno_id,
execve,
execvp,
exit,
fcntl,
fcntl_constant,
fexecve,
file_constant,
filter,
fork,
getcwd,
getenv,
getgid,
getgroups,
gethostname,
getopt,
getpgrp,
getpid,
getpriority,
getresgid,
getresuid,
getrlimit,
getsid,
getuid,
ioctl,
ioctl_constant,
iolist_to_bin,
jail,
jail_attach,
jail_remove,
kill,
link,
lseek,
mkdir,
mkfifo,
mount,
mount_constant,
open,
pivot_root,
pledge,
prctl,
prctl_constant,
procctl,
ptrace,
ptrace_constant,
read,
readdir,
rlimit_constant,
rmdir,
seccomp,
seccomp_constant,
select,
setcpid,
setenv,
setgid,
setgroups,
sethostname,
setns,
setopt,
setpgid,
setpriority,
setproctitle,
setresgid,
setresuid,
setrlimit,
setsid,
setuid,
sigaction,
signal_constant,
socket,
symlink,
syscall_constant,
umount,
umount2,
unlink,
unsetenv,
unshare,
unveil,
version,
waitpid,
write].