2024-03-31 21:10:56 +00:00
|
|
|
#ifndef SK_EXEC_H
|
|
|
|
#define SK_EXEC_H
|
|
|
|
|
|
|
|
#include "commons.h"
|
|
|
|
#include "state.h"
|
|
|
|
#include "prog.h"
|
2024-04-05 16:31:11 +00:00
|
|
|
struct env;
|
2024-03-31 21:10:56 +00:00
|
|
|
|
|
|
|
struct exec
|
|
|
|
{
|
|
|
|
size_t pc;
|
|
|
|
};
|
|
|
|
|
|
|
|
void exec_init(struct exec* self);
|
|
|
|
void exec_free(struct exec* self);
|
|
|
|
|
|
|
|
void exec_execute(struct exec* self,
|
|
|
|
struct state* state,
|
|
|
|
struct prog* prog);
|
|
|
|
|
2024-04-05 16:31:11 +00:00
|
|
|
void exec_capture_env(struct exec* self,
|
|
|
|
struct state* state,
|
|
|
|
struct fun* fun,
|
|
|
|
struct env* env);
|
2024-03-31 21:10:56 +00:00
|
|
|
#endif
|