13#ifndef WASI_API_EXTERN
15#define WASI_API_EXTERN __declspec(dllimport)
17#define WASI_API_EXTERN
27#define WASI_DECLARE_OWN(name) \
28 typedef struct wasi_##name##_t wasi_##name##_t; \
29 WASI_API_EXTERN void wasi_##name##_delete(own wasi_##name##_t *);
41WASI_DECLARE_OWN(config)
82 const
char *values[]);
169 const
char *guest_path);
184 const
char *host_port);
A list of bytes.
Definition: wasm.h:102
void wasi_config_inherit_env(wasi_config_t *config)
Indicates that the entire environment of the calling process should be inherited by this WASI configu...
void wasi_config_inherit_argv(wasi_config_t *config)
Indicates that the argv list should be inherited from this process's argv list.
void wasi_config_inherit_stderr(wasi_config_t *config)
Configures this process's own stderr stream to be used as stderr for this WASI configuration.
bool wasi_config_preopen_socket(wasi_config_t *config, uint32_t fd_num, const char *host_port)
Configures a "preopened" listen socket to be available to WASI APIs.
bool wasi_config_set_stdout_file(wasi_config_t *config, const char *path)
Configures standard output to be written to the specified file.
void wasi_config_set_stdin_bytes(wasi_config_t *config, wasm_byte_vec_t *binary)
Configures standard input to be taken from the specified wasm_byte_vec_t.
bool wasi_config_preopen_dir(wasi_config_t *config, const char *path, const char *guest_path)
Configures a "preopened directory" to be available to WASI APIs.
void wasi_config_set_argv(wasi_config_t *config, int argc, const char *argv[])
Sets the argv list for this configuration object.
void wasi_config_inherit_stdout(wasi_config_t *config)
Configures this process's own stdout stream to be used as stdout for this WASI configuration.
bool wasi_config_set_stderr_file(wasi_config_t *config, const char *path)
Configures standard output to be written to the specified file.
void wasi_config_set_env(wasi_config_t *config, int envc, const char *names[], const char *values[])
Sets the list of environment variables available to the WASI instance.
void wasi_config_inherit_stdin(wasi_config_t *config)
Configures this process's own stdin stream to be used as stdin for this WASI configuration.
bool wasi_config_set_stdin_file(wasi_config_t *config, const char *path)
Configures standard input to be taken from the specified file.
wasi_config_t * wasi_config_new()
Creates a new empty configuration object.