mirror of
https://github.com/open-goal/jak-project.git
synced 2024-10-20 21:27:52 -04:00
290 lines
13 KiB
C++
290 lines
13 KiB
C++
#pragma once
|
|
|
|
/*!
|
|
* @file Interpreter.h
|
|
* The GOOS Interpreter and implementation of special and "built-in forms"
|
|
*/
|
|
|
|
#include <memory>
|
|
#include <optional>
|
|
|
|
#include "Object.h"
|
|
#include "Reader.h"
|
|
|
|
namespace goos {
|
|
class Interpreter {
|
|
public:
|
|
Interpreter(const std::string& user_profile = "#f");
|
|
~Interpreter();
|
|
void execute_repl(REPL::Wrapper& repl);
|
|
void throw_eval_error(const Object& o, const std::string& err);
|
|
Object eval_with_rewind(const Object& obj, const std::shared_ptr<EnvironmentObject>& env);
|
|
bool get_global_variable_by_name(const std::string& name, Object* dest);
|
|
void set_global_variable_by_name(const std::string& name, const Object& value);
|
|
void set_global_variable_to_symbol(const std::string& name, const std::string& value);
|
|
Object eval(Object obj, const std::shared_ptr<EnvironmentObject>& env);
|
|
Object intern(const std::string& name);
|
|
HeapObject* intern_ptr(const std::string& name);
|
|
void disable_printfs();
|
|
Object eval_symbol(const Object& sym, const std::shared_ptr<EnvironmentObject>& env);
|
|
bool eval_symbol(const Object& sym,
|
|
const std::shared_ptr<EnvironmentObject>& env,
|
|
Object* result);
|
|
Arguments get_args(const Object& form, const Object& rest, const ArgumentSpec& spec);
|
|
void set_args_in_env(const Object& form,
|
|
const Arguments& args,
|
|
const ArgumentSpec& arg_spec,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_list_return_last(const Object& form,
|
|
Object rest,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
bool truthy(const Object& o);
|
|
|
|
void register_form(
|
|
const std::string& name,
|
|
const std::function<
|
|
Object(const Object&, Arguments&, const std::shared_ptr<EnvironmentObject>&)>& form);
|
|
void eval_args(Arguments* args, const std::shared_ptr<EnvironmentObject>& env);
|
|
|
|
Reader reader;
|
|
Object global_environment;
|
|
Object goal_env;
|
|
|
|
private:
|
|
friend class Goal;
|
|
void load_goos_library();
|
|
void define_var_in_env(Object& env, Object& var, const std::string& name);
|
|
void expect_env(const Object& form, const Object& o);
|
|
void vararg_check(
|
|
const Object& form,
|
|
const Arguments& args,
|
|
const std::vector<std::optional<ObjectType>>& unnamed,
|
|
const std::unordered_map<std::string, std::pair<bool, std::optional<ObjectType>>>& named);
|
|
|
|
Object eval_pair(const Object& o, const std::shared_ptr<EnvironmentObject>& env);
|
|
ArgumentSpec parse_arg_spec(const Object& form, Object& rest);
|
|
|
|
Object quasiquote_helper(const Object& form, const std::shared_ptr<EnvironmentObject>& env);
|
|
|
|
IntType number_to_integer(const Object& obj);
|
|
FloatType number_to_float(const Object& obj);
|
|
|
|
template <typename T>
|
|
T number(const Object& obj);
|
|
|
|
template <typename T>
|
|
Object num_lt(const Object& form, Arguments& args, const std::shared_ptr<EnvironmentObject>& env);
|
|
template <typename T>
|
|
Object num_gt(const Object& form, Arguments& args, const std::shared_ptr<EnvironmentObject>& env);
|
|
template <typename T>
|
|
Object num_leq(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
template <typename T>
|
|
Object num_geq(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
template <typename T>
|
|
Object num_plus(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
template <typename T>
|
|
Object num_minus(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
template <typename T>
|
|
Object num_divide(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
template <typename T>
|
|
Object num_times(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
|
|
Object eval_eval(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_equals(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_exit(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_begin(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_read(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_read_data_file(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_read_file(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_load_file(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_try_load_file(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_print(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_inspect(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_plus(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_minus(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_times(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_divide(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_numequals(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_lt(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_gt(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_leq(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_geq(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_car(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_cdr(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_set_car(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_set_cdr(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_gensym(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_cons(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_null(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_type(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_format(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_error(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_string_ref(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_string_length(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_string_append(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_string_starts_with(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_string_ends_with(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_string_split(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_ash(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_symbol_to_string(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_string_to_symbol(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_get_env(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
|
|
// specials
|
|
Object eval_define(const Object& form,
|
|
const Object& rest,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_quote(const Object& form,
|
|
const Object& rest,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_set(const Object& form,
|
|
const Object& rest,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_lambda(const Object& form,
|
|
const Object& rest,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_cond(const Object& form,
|
|
const Object& rest,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_or(const Object& form,
|
|
const Object& rest,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_and(const Object& form,
|
|
const Object& rest,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_quasiquote(const Object& form,
|
|
const Object& rest,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_macro(const Object& form,
|
|
const Object& rest,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_while(const Object& form,
|
|
const Object& rest,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
|
|
Object eval_make_string_hash_table(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_hash_table_try_ref(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
Object eval_hash_table_set(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env);
|
|
|
|
bool want_exit = false;
|
|
bool disable_printing = false;
|
|
|
|
std::unordered_map<std::string,
|
|
Object (Interpreter::*)(const Object& form,
|
|
Arguments& args,
|
|
const std::shared_ptr<EnvironmentObject>& env)>
|
|
builtin_forms;
|
|
|
|
std::unordered_map<
|
|
std::string,
|
|
std::function<Object(const Object&, Arguments&, const std::shared_ptr<EnvironmentObject>&)>>
|
|
m_custom_forms;
|
|
std::unordered_map<std::string,
|
|
Object (Interpreter::*)(const Object& form,
|
|
const Object& rest,
|
|
const std::shared_ptr<EnvironmentObject>& env)>
|
|
special_forms;
|
|
int64_t gensym_id = 0;
|
|
|
|
std::unordered_map<std::string, ObjectType> string_to_type;
|
|
};
|
|
} // namespace goos
|