2020-09-29 20:24:15 -04:00
|
|
|
#ifndef JAK_DECOMPILERTYPESYSTEM_H
|
|
|
|
#define JAK_DECOMPILERTYPESYSTEM_H
|
|
|
|
|
|
|
|
#include "common/type_system/TypeSystem.h"
|
2020-11-28 15:35:38 -05:00
|
|
|
#include "decompiler/Disasm/Register.h"
|
2020-12-17 15:48:07 -05:00
|
|
|
#include "common/goos/Reader.h"
|
2020-09-29 20:24:15 -04:00
|
|
|
|
2021-01-06 20:04:15 -05:00
|
|
|
namespace decompiler {
|
|
|
|
class TP_Type;
|
2020-11-28 15:35:38 -05:00
|
|
|
struct TypeState;
|
2020-11-27 16:38:36 -05:00
|
|
|
|
2020-09-29 20:24:15 -04:00
|
|
|
class DecompilerTypeSystem {
|
|
|
|
public:
|
|
|
|
DecompilerTypeSystem();
|
|
|
|
TypeSystem ts;
|
|
|
|
std::unordered_map<std::string, TypeSpec> symbol_types;
|
|
|
|
std::unordered_set<std::string> symbols;
|
|
|
|
std::vector<std::string> symbol_add_order;
|
2020-10-24 22:51:40 -04:00
|
|
|
std::unordered_map<std::string, u64> type_flags;
|
|
|
|
std::unordered_map<std::string, std::string> type_parents;
|
2020-09-29 20:24:15 -04:00
|
|
|
|
|
|
|
void add_symbol(const std::string& name) {
|
|
|
|
if (symbols.find(name) == symbols.end()) {
|
|
|
|
symbols.insert(name);
|
|
|
|
symbol_add_order.push_back(name);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void add_symbol(const std::string& name, const std::string& base_type) {
|
|
|
|
add_symbol(name, TypeSpec(base_type));
|
|
|
|
}
|
|
|
|
|
2020-10-29 21:27:52 -04:00
|
|
|
void add_symbol(const std::string& name, const TypeSpec& type_spec);
|
2020-09-29 20:24:15 -04:00
|
|
|
void parse_type_defs(const std::vector<std::string>& file_path);
|
2020-12-17 15:48:07 -05:00
|
|
|
TypeSpec parse_type_spec(const std::string& str);
|
2020-10-24 22:51:40 -04:00
|
|
|
void add_type_flags(const std::string& name, u64 flags);
|
|
|
|
void add_type_parent(const std::string& child, const std::string& parent);
|
2020-09-29 20:24:15 -04:00
|
|
|
std::string dump_symbol_types();
|
2020-10-24 22:51:40 -04:00
|
|
|
std::string lookup_parent_from_inspects(const std::string& child) const;
|
|
|
|
bool lookup_flags(const std::string& type, u64* dest) const;
|
2021-01-16 10:54:09 -05:00
|
|
|
TP_Type tp_lca(const TP_Type& existing, const TP_Type& add, bool* changed) const;
|
2020-11-27 16:38:36 -05:00
|
|
|
bool tp_lca(TypeState* combined, const TypeState& add);
|
2021-01-16 10:54:09 -05:00
|
|
|
int get_format_arg_count(const std::string& str) const;
|
|
|
|
int get_format_arg_count(const TP_Type& type) const;
|
2021-03-03 20:52:25 -05:00
|
|
|
TypeSpec lookup_symbol_type(const std::string& name) const;
|
|
|
|
|
2020-11-28 15:35:38 -05:00
|
|
|
struct {
|
2021-01-18 13:33:32 -05:00
|
|
|
bool locked = false;
|
2020-11-28 15:35:38 -05:00
|
|
|
bool allow_pair;
|
|
|
|
std::string current_method_type;
|
|
|
|
void reset() {
|
|
|
|
allow_pair = false;
|
|
|
|
current_method_type.clear();
|
|
|
|
}
|
|
|
|
} type_prop_settings;
|
2020-12-17 15:48:07 -05:00
|
|
|
|
|
|
|
private:
|
|
|
|
goos::Reader m_reader;
|
2020-09-29 20:24:15 -04:00
|
|
|
};
|
2021-01-06 20:04:15 -05:00
|
|
|
} // namespace decompiler
|
2020-09-29 20:24:15 -04:00
|
|
|
|
|
|
|
#endif // JAK_DECOMPILERTYPESYSTEM_H
|