diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-08-24 15:10:41 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-08-24 15:10:41 -0400 |
| commit | 634d1ad756fca46e1e8aec93a265998232dd58a6 (patch) | |
| tree | be05e440db02d4c76890026982aa6978f212f9bd /src/structs.c | |
| parent | e30c0f06d55cd7b27c5d012a96989920f586e4a1 (diff) | |
Move structs/enums into the right folder
Diffstat (limited to 'src/structs.c')
| -rw-r--r-- | src/structs.c | 80 |
1 files changed, 0 insertions, 80 deletions
diff --git a/src/structs.c b/src/structs.c deleted file mode 100644 index 9be38d1f..00000000 --- a/src/structs.c +++ /dev/null @@ -1,80 +0,0 @@ -// Logic for compiling new struct types defined in code -#include <gc.h> - -#include "ast.h" -#include "compile.h" -#include "environment.h" -#include "naming.h" -#include "stdlib/tables.h" -#include "stdlib/text.h" -#include "typecheck.h" - -Text_t compile_struct_typeinfo(env_t *env, type_t *t, const char *name, arg_ast_t *fields, bool is_secret, - bool is_opaque) { - Text_t typeinfo_name = namespace_name(env, env->namespace, Texts(name, "$$info")); - Text_t type_code = Match(t, StructType)->external - ? Text$from_str(name) - : Texts("struct ", namespace_name(env, env->namespace, Texts(name, "$$struct"))); - - int num_fields = 0; - for (arg_ast_t *f = fields; f; f = f->next) - num_fields += 1; - const char *short_name = name; - if (strchr(short_name, '$')) short_name = strrchr(short_name, '$') + 1; - - const char *metamethods = is_packed_data(t) ? "PackedData$metamethods" : "Struct$metamethods"; - Text_t typeinfo = Texts( - "public const TypeInfo_t ", typeinfo_name, " = {.size=sizeof(", type_code, "), .align=__alignof__(", type_code, - "), " - ".metamethods=", - metamethods, - ", " - ".tag=StructInfo, .StructInfo.name=\"", - short_name, "\"", is_secret ? Text(", .StructInfo.is_secret=true") : EMPTY_TEXT, - is_opaque ? Text(", .StructInfo.is_opaque=true") : EMPTY_TEXT, ", .StructInfo.num_fields=", String(num_fields)); - if (fields) { - typeinfo = Texts(typeinfo, ", .StructInfo.fields=(NamedType_t[", String(num_fields), "]){"); - for (arg_ast_t *f = fields; f; f = f->next) { - type_t *field_type = get_arg_ast_type(env, f); - typeinfo = Texts(typeinfo, "{\"", f->name, "\", ", compile_type_info(field_type), "}"); - if (f->next) typeinfo = Texts(typeinfo, ", "); - } - typeinfo = Texts(typeinfo, "}"); - } - return Texts(typeinfo, "};\n"); -} - -Text_t compile_struct_header(env_t *env, ast_t *ast) { - DeclareMatch(def, ast, StructDef); - Text_t typeinfo_name = namespace_name(env, env->namespace, Texts(def->name, "$$info")); - Text_t type_code = def->external - ? Text$from_str(def->name) - : Texts("struct ", namespace_name(env, env->namespace, Texts(def->name, "$$struct"))); - - Text_t fields = EMPTY_TEXT; - for (arg_ast_t *field = def->fields; field; field = field->next) { - type_t *field_t = get_arg_ast_type(env, field); - type_t *check_for_opaque = non_optional(field_t); - if (check_for_opaque->tag == StructType && Match(check_for_opaque, StructType)->opaque) { - if (field->type) - code_err(field->type, "This is an opaque type, so it can't be used as a struct field type"); - else if (field->value) - code_err(field->value, "This is an opaque type, so it can't be used as a struct field type"); - } - fields = Texts(fields, compile_declaration(field_t, valid_c_name(field->name)), - field_t->tag == BoolType ? Text(":1") : EMPTY_TEXT, ";\n"); - } - Text_t struct_code = def->external ? EMPTY_TEXT : Texts(type_code, " {\n", fields, "};\n"); - type_t *t = Table$str_get(*env->types, def->name); - - Text_t unpadded_size = - def->opaque ? Texts("sizeof(", type_code, ")") : Text$from_str(String((int64_t)unpadded_struct_size(t))); - Text_t typeinfo_code = Texts("extern const TypeInfo_t ", typeinfo_name, ";\n"); - Text_t optional_code = EMPTY_TEXT; - if (!def->opaque) { - optional_code = Texts("DEFINE_OPTIONAL_TYPE(", compile_type(t), ", ", unpadded_size, ", ", - namespace_name(env, env->namespace, Texts("$Optional", def->name, "$$type")), ");\n"); - } - return Texts(struct_code, optional_code, typeinfo_code); -} -// vim: ts=4 sw=0 et cino=L2,l1,(0,W4,m1,\:0 |
