#define _BE_MAIN_H
void be_init(void);
-void be_main(int argc, const char *argv[]);
+void be_main(FILE *file_handle);
typedef struct _be_main_env_t be_main_env_t;
typedef struct _be_options_t be_options_t;
#include "pset.h"
#include "entity.h"
-arch_env_t *arch_env_init(arch_env_t *env, const arch_isa_if_t *isa_if)
+arch_env_t *arch_env_init(arch_env_t *env, const arch_isa_if_t *isa_if, FILE *file_handle)
{
memset(env, 0, sizeof(*env));
- env->isa = isa_if->init();
+ env->isa = isa_if->init(file_handle);
return env;
}
/**
* Initialize the isa interface.
*/
- void *(*init)(void);
+ void *(*init)(FILE *file_handle);
/**
* Free the isa instance.
* @param isa The isa which shall be put into the environment.
* @return The environment.
*/
-extern arch_env_t *arch_env_init(arch_env_t *env, const arch_isa_if_t *isa);
+extern arch_env_t *arch_env_init(arch_env_t *env, const arch_isa_if_t *isa, FILE *file_handle);
/**
* Add a node handler to the environment.