Mercurial > vim
diff src/vim9class.c @ 32670:695b50472e85
Fix line endings issue
author | Christian Brabandt <cb@256bit.org> |
---|---|
date | Mon, 26 Jun 2023 13:13:12 +0200 |
parents | 448aef880252 |
children | d35204b890af |
line wrap: on
line diff
--- a/src/vim9class.c +++ b/src/vim9class.c @@ -1,1670 +1,1670 @@ -/* vi:set ts=8 sts=4 sw=4 noet: - * - * VIM - Vi IMproved by Bram Moolenaar - * - * Do ":help uganda" in Vim to read copying and usage conditions. - * Do ":help credits" in Vim to see a list of people who contributed. - * See README.txt for an overview of the Vim source code. - */ - -/* - * vim9class.c: Vim9 script class support - */ - -#define USING_FLOAT_STUFF -#include "vim.h" - -#if defined(FEAT_EVAL) || defined(PROTO) - -// When not generating protos this is included in proto.h -#ifdef PROTO -# include "vim9.h" -#endif - -/* - * Parse a member declaration, both object and class member. - * Returns OK or FAIL. When OK then "varname_end" is set to just after the - * variable name and "type_ret" is set to the decleared or detected type. - * "init_expr" is set to the initialisation expression (allocated), if there is - * one. For an interface "init_expr" is NULL. - */ - static int -parse_member( - exarg_T *eap, - char_u *line, - char_u *varname, - int has_public, // TRUE if "public" seen before "varname" - char_u **varname_end, - garray_T *type_list, - type_T **type_ret, - char_u **init_expr) -{ - *varname_end = to_name_end(varname, FALSE); - if (*varname == '_' && has_public) - { - semsg(_(e_public_member_name_cannot_start_with_underscore_str), line); - return FAIL; - } - - char_u *colon = skipwhite(*varname_end); - char_u *type_arg = colon; - type_T *type = NULL; - if (*colon == ':') - { - if (VIM_ISWHITE(**varname_end)) - { - semsg(_(e_no_white_space_allowed_before_colon_str), varname); - return FAIL; - } - if (!VIM_ISWHITE(colon[1])) - { - semsg(_(e_white_space_required_after_str_str), ":", varname); - return FAIL; - } - type_arg = skipwhite(colon + 1); - type = parse_type(&type_arg, type_list, TRUE); - if (type == NULL) - return FAIL; - } - - char_u *expr_start = skipwhite(type_arg); - char_u *expr_end = expr_start; - if (type == NULL && *expr_start != '=') - { - emsg(_(e_type_or_initialization_required)); - return FAIL; - } - - if (*expr_start == '=') - { - if (!VIM_ISWHITE(expr_start[-1]) || !VIM_ISWHITE(expr_start[1])) - { - semsg(_(e_white_space_required_before_and_after_str_at_str), - "=", type_arg); - return FAIL; - } - expr_start = skipwhite(expr_start + 1); - - expr_end = expr_start; - evalarg_T evalarg; - fill_evalarg_from_eap(&evalarg, eap, FALSE); - skip_expr(&expr_end, NULL); - - if (type == NULL) - { - // No type specified, use the type of the initializer. - typval_T tv; - tv.v_type = VAR_UNKNOWN; - char_u *expr = expr_start; - int res = eval0(expr, &tv, eap, &evalarg); - - if (res == OK) - { - type = typval2type(&tv, get_copyID(), type_list, - TVTT_DO_MEMBER); - clear_tv(&tv); - } - if (type == NULL) - { - semsg(_(e_cannot_get_object_member_type_from_initializer_str), - expr_start); - clear_evalarg(&evalarg, NULL); - return FAIL; - } - } - clear_evalarg(&evalarg, NULL); - } - if (!valid_declaration_type(type)) - return FAIL; - - *type_ret = type; - if (expr_end > expr_start) - { - if (init_expr == NULL) - { - emsg(_(e_cannot_initialize_member_in_interface)); - return FAIL; - } - *init_expr = vim_strnsave(expr_start, expr_end - expr_start); - } - return OK; -} - -/* - * Add a member to an object or a class. - * Returns OK when successful, "init_expr" will be consumed then. - * Returns FAIL otherwise, caller might need to free "init_expr". - */ - static int -add_member( - garray_T *gap, - char_u *varname, - char_u *varname_end, - int has_public, - type_T *type, - char_u *init_expr) -{ - if (ga_grow(gap, 1) == FAIL) - return FAIL; - ocmember_T *m = ((ocmember_T *)gap->ga_data) + gap->ga_len; - m->ocm_name = vim_strnsave(varname, varname_end - varname); - m->ocm_access = has_public ? VIM_ACCESS_ALL - : *varname == '_' ? VIM_ACCESS_PRIVATE : VIM_ACCESS_READ; - m->ocm_type = type; - if (init_expr != NULL) - m->ocm_init = init_expr; - ++gap->ga_len; - return OK; -} - -/* - * Move the class or object members found while parsing a class into the class. - * "gap" contains the found members. - * "parent_members" points to the members in the parent class (if any) - * "parent_count" is the number of members in the parent class - * "members" will be set to the newly allocated array of members and - * "member_count" set to the number of members. - * Returns OK or FAIL. - */ - static int -add_members_to_class( - garray_T *gap, - ocmember_T *parent_members, - int parent_count, - ocmember_T **members, - int *member_count) -{ - *member_count = parent_count + gap->ga_len; - *members = *member_count == 0 ? NULL - : ALLOC_MULT(ocmember_T, *member_count); - if (*member_count > 0 && *members == NULL) - return FAIL; - for (int i = 0; i < parent_count; ++i) - { - // parent members need to be copied - ocmember_T *m = *members + i; - *m = parent_members[i]; - m->ocm_name = vim_strsave(m->ocm_name); - if (m->ocm_init != NULL) - m->ocm_init = vim_strsave(m->ocm_init); - } - if (gap->ga_len > 0) - // new members are moved - mch_memmove(*members + parent_count, - gap->ga_data, sizeof(ocmember_T) * gap->ga_len); - VIM_CLEAR(gap->ga_data); - return OK; -} - -/* - * Convert a member index "idx" of interface "itf" to the member index of class - * "cl" implementing that interface. - */ - int -object_index_from_itf_index(class_T *itf, int is_method, int idx, class_T *cl) -{ - if (idx > (is_method ? itf->class_obj_method_count - : itf->class_obj_member_count)) - { - siemsg("index %d out of range for interface %s", idx, itf->class_name); - return 0; - } - itf2class_T *i2c; - for (i2c = itf->class_itf2class; i2c != NULL; i2c = i2c->i2c_next) - if (i2c->i2c_class == cl && i2c->i2c_is_method == is_method) - break; - if (i2c == NULL) - { - siemsg("class %s not found on interface %s", - cl->class_name, itf->class_name); - return 0; - } - int *table = (int *)(i2c + 1); - return table[idx]; -} - -/* - * Handle ":class" and ":abstract class" up to ":endclass". - * Handle ":interface" up to ":endinterface". - */ - void -ex_class(exarg_T *eap) -{ - int is_class = eap->cmdidx == CMD_class; // FALSE for :interface - long start_lnum = SOURCING_LNUM; - - char_u *arg = eap->arg; - int is_abstract = eap->cmdidx == CMD_abstract; - if (is_abstract) - { - if (STRNCMP(arg, "class", 5) != 0 || !VIM_ISWHITE(arg[5])) - { - semsg(_(e_invalid_argument_str), arg); - return; - } - arg = skipwhite(arg + 5); - is_class = TRUE; - } - - if (!current_script_is_vim9() - || (cmdmod.cmod_flags & CMOD_LEGACY) - || !getline_equal(eap->getline, eap->cookie, getsourceline)) - { - if (is_class) - emsg(_(e_class_can_only_be_defined_in_vim9_script)); - else - emsg(_(e_interface_can_only_be_defined_in_vim9_script)); - return; - } - - if (!ASCII_ISUPPER(*arg)) - { - if (is_class) - semsg(_(e_class_name_must_start_with_uppercase_letter_str), arg); - else - semsg(_(e_interface_name_must_start_with_uppercase_letter_str), - arg); - return; - } - char_u *name_end = find_name_end(arg, NULL, NULL, FNE_CHECK_START); - if (!IS_WHITE_OR_NUL(*name_end)) - { - semsg(_(e_white_space_required_after_name_str), arg); - return; - } - char_u *name_start = arg; - - // "export class" gets used when creating the class, don't use "is_export" - // for the items inside the class. - int class_export = is_export; - is_export = FALSE; - - // TODO: - // generics: <Tkey, Tentry> - - // Name for "extends BaseClass" - char_u *extends = NULL; - - // Names for "implements SomeInterface" - garray_T ga_impl; - ga_init2(&ga_impl, sizeof(char_u *), 5); - - arg = skipwhite(name_end); - while (*arg != NUL && *arg != '#' && *arg != '\n') - { - // TODO: - // specifies SomeInterface - if (STRNCMP(arg, "extends", 7) == 0 && IS_WHITE_OR_NUL(arg[7])) - { - if (extends != NULL) - { - emsg(_(e_duplicate_extends)); - goto early_ret; - } - arg = skipwhite(arg + 7); - char_u *end = find_name_end(arg, NULL, NULL, FNE_CHECK_START); - if (!IS_WHITE_OR_NUL(*end)) - { - semsg(_(e_white_space_required_after_name_str), arg); - goto early_ret; - } - extends = vim_strnsave(arg, end - arg); - if (extends == NULL) - goto early_ret; - - arg = skipwhite(end + 1); - } - else if (STRNCMP(arg, "implements", 10) == 0 - && IS_WHITE_OR_NUL(arg[10])) - { - if (ga_impl.ga_len > 0) - { - emsg(_(e_duplicate_implements)); - goto early_ret; - } - arg = skipwhite(arg + 10); - - for (;;) - { - char_u *impl_end = find_name_end(arg, NULL, NULL, - FNE_CHECK_START); - if (!IS_WHITE_OR_NUL(*impl_end) && *impl_end != ',') - { - semsg(_(e_white_space_required_after_name_str), arg); - goto early_ret; - } - char_u *iname = vim_strnsave(arg, impl_end - arg); - if (iname == NULL) - goto early_ret; - for (int i = 0; i < ga_impl.ga_len; ++i) - if (STRCMP(((char_u **)ga_impl.ga_data)[i], iname) == 0) - { - semsg(_(e_duplicate_interface_after_implements_str), - iname); - vim_free(iname); - goto early_ret; - } - if (ga_add_string(&ga_impl, iname) == FAIL) - { - vim_free(iname); - goto early_ret; - } - if (*impl_end != ',') - { - arg = skipwhite(impl_end); - break; - } - arg = skipwhite(impl_end + 1); - } - } - else - { - semsg(_(e_trailing_characters_str), arg); -early_ret: - vim_free(extends); - ga_clear_strings(&ga_impl); - return; - } - } - - garray_T type_list; // list of pointers to allocated types - ga_init2(&type_list, sizeof(type_T *), 10); - - // Growarray with class members declared in the class. - garray_T classmembers; - ga_init2(&classmembers, sizeof(ocmember_T), 10); - - // Growarray with functions declared in the class. - garray_T classfunctions; - ga_init2(&classfunctions, sizeof(ufunc_T *), 10); - - // Growarray with object members declared in the class. - garray_T objmembers; - ga_init2(&objmembers, sizeof(ocmember_T), 10); - - // Growarray with object methods declared in the class. - garray_T objmethods; - ga_init2(&objmethods, sizeof(ufunc_T *), 10); - - /* - * Go over the body of the class/interface until "endclass" or - * "endinterface" is found. - */ - char_u *theline = NULL; - int success = FALSE; - for (;;) - { - vim_free(theline); - theline = eap->getline(':', eap->cookie, 0, GETLINE_CONCAT_ALL); - if (theline == NULL) - break; - char_u *line = skipwhite(theline); - - // Skip empty and comment lines. - if (*line == NUL) - continue; - if (*line == '#') - { - if (vim9_bad_comment(line)) - break; - continue; - } - - char_u *p = line; - char *end_name = is_class ? "endclass" : "endinterface"; - if (checkforcmd(&p, end_name, is_class ? 4 : 5)) - { - if (STRNCMP(line, end_name, is_class ? 8 : 12) != 0) - semsg(_(e_command_cannot_be_shortened_str), line); - else if (*p == '|' || !ends_excmd2(line, p)) - semsg(_(e_trailing_characters_str), p); - else - success = TRUE; - break; - } - char *wrong_name = is_class ? "endinterface" : "endclass"; - if (checkforcmd(&p, wrong_name, is_class ? 5 : 4)) - { - semsg(_(e_invalid_command_str_expected_str), line, end_name); - break; - } - - int has_public = FALSE; - if (checkforcmd(&p, "public", 3)) - { - if (STRNCMP(line, "public", 6) != 0) - { - semsg(_(e_command_cannot_be_shortened_str), line); - break; - } - has_public = TRUE; - p = skipwhite(line + 6); - - if (STRNCMP(p, "this", 4) != 0 && STRNCMP(p, "static", 6) != 0) - { - emsg(_(e_public_must_be_followed_by_this_or_static)); - break; - } - } - - int has_static = FALSE; - char_u *ps = p; - if (checkforcmd(&p, "static", 4)) - { - if (STRNCMP(ps, "static", 6) != 0) - { - semsg(_(e_command_cannot_be_shortened_str), ps); - break; - } - has_static = TRUE; - p = skipwhite(ps + 6); - } - - // object members (public, read access, private): - // "this._varname" - // "this.varname" - // "public this.varname" - if (STRNCMP(p, "this", 4) == 0) - { - if (p[4] != '.' || !eval_isnamec1(p[5])) - { - semsg(_(e_invalid_object_member_declaration_str), p); - break; - } - char_u *varname = p + 5; - char_u *varname_end = NULL; - type_T *type = NULL; - char_u *init_expr = NULL; - if (parse_member(eap, line, varname, has_public, - &varname_end, &type_list, &type, - is_class ? &init_expr: NULL) == FAIL) - break; - if (add_member(&objmembers, varname, varname_end, - has_public, type, init_expr) == FAIL) - { - vim_free(init_expr); - break; - } - } - - // constructors: - // def new() - // enddef - // def newOther() - // enddef - // object methods and class functions: - // def SomeMethod() - // enddef - // static def ClassFunction() - // enddef - // TODO: - // def <Tval> someMethod() - // enddef - else if (checkforcmd(&p, "def", 3)) - { - exarg_T ea; - garray_T lines_to_free; - - // TODO: error for "public static def Func()"? - - CLEAR_FIELD(ea); - ea.cmd = line; - ea.arg = p; - ea.cmdidx = CMD_def; - ea.getline = eap->getline; - ea.cookie = eap->cookie; - - ga_init2(&lines_to_free, sizeof(char_u *), 50); - ufunc_T *uf = define_function(&ea, NULL, &lines_to_free, - is_class ? CF_CLASS : CF_INTERFACE); - ga_clear_strings(&lines_to_free); - - if (uf != NULL) - { - char_u *name = uf->uf_name; - int is_new = STRNCMP(name, "new", 3) == 0; - if (is_new && is_abstract) - { - emsg(_(e_cannot_define_new_function_in_abstract_class)); - success = FALSE; - break; - } - garray_T *fgap = has_static || is_new - ? &classfunctions : &objmethods; - // Check the name isn't used already. - for (int i = 0; i < fgap->ga_len; ++i) - { - char_u *n = ((ufunc_T **)fgap->ga_data)[i]->uf_name; - if (STRCMP(name, n) == 0) - { - semsg(_(e_duplicate_function_str), name); - break; - } - } - - if (ga_grow(fgap, 1) == OK) - { - if (is_new) - uf->uf_flags |= FC_NEW; - - ((ufunc_T **)fgap->ga_data)[fgap->ga_len] = uf; - ++fgap->ga_len; - } - } - } - - // class members - else if (has_static) - { - // class members (public, read access, private): - // "static _varname" - // "static varname" - // "public static varname" - char_u *varname = p; - char_u *varname_end = NULL; - type_T *type = NULL; - char_u *init_expr = NULL; - if (parse_member(eap, line, varname, has_public, - &varname_end, &type_list, &type, - is_class ? &init_expr : NULL) == FAIL) - break; - if (add_member(&classmembers, varname, varname_end, - has_public, type, init_expr) == FAIL) - { - vim_free(init_expr); - break; - } - } - - else - { - if (is_class) - semsg(_(e_not_valid_command_in_class_str), line); - else - semsg(_(e_not_valid_command_in_interface_str), line); - break; - } - } - vim_free(theline); - - class_T *extends_cl = NULL; // class from "extends" argument - - /* - * Check a few things before defining the class. - */ - - // Check the "extends" class is valid. - if (success && extends != NULL) - { - typval_T tv; - tv.v_type = VAR_UNKNOWN; - if (eval_variable_import(extends, &tv) == FAIL) - { - semsg(_(e_class_name_not_found_str), extends); - success = FALSE; - } - else - { - if (tv.v_type != VAR_CLASS - || tv.vval.v_class == NULL - || (tv.vval.v_class->class_flags & CLASS_INTERFACE) != 0) - { - semsg(_(e_cannot_extend_str), extends); - success = FALSE; - } - else - { - extends_cl = tv.vval.v_class; - ++extends_cl->class_refcount; - } - clear_tv(&tv); - } - } - VIM_CLEAR(extends); - - class_T **intf_classes = NULL; - - // Check all "implements" entries are valid. - if (success && ga_impl.ga_len > 0) - { - intf_classes = ALLOC_CLEAR_MULT(class_T *, ga_impl.ga_len); - - for (int i = 0; i < ga_impl.ga_len && success; ++i) - { - char_u *impl = ((char_u **)ga_impl.ga_data)[i]; - typval_T tv; - tv.v_type = VAR_UNKNOWN; - if (eval_variable_import(impl, &tv) == FAIL) - { - semsg(_(e_interface_name_not_found_str), impl); - success = FALSE; - break; - } - - if (tv.v_type != VAR_CLASS - || tv.vval.v_class == NULL - || (tv.vval.v_class->class_flags & CLASS_INTERFACE) == 0) - { - semsg(_(e_not_valid_interface_str), impl); - success = FALSE; - } - - class_T *ifcl = tv.vval.v_class; - intf_classes[i] = ifcl; - ++ifcl->class_refcount; - - // check the members of the interface match the members of the class - for (int loop = 1; loop <= 2 && success; ++loop) - { - // loop == 1: check class members - // loop == 2: check object members - int if_count = loop == 1 ? ifcl->class_class_member_count - : ifcl->class_obj_member_count; - if (if_count == 0) - continue; - ocmember_T *if_ms = loop == 1 ? ifcl->class_class_members - : ifcl->class_obj_members; - ocmember_T *cl_ms = (ocmember_T *)(loop == 1 - ? classmembers.ga_data - : objmembers.ga_data); - int cl_count = loop == 1 ? classmembers.ga_len - : objmembers.ga_len; - for (int if_i = 0; if_i < if_count; ++if_i) - { - int cl_i; - for (cl_i = 0; cl_i < cl_count; ++cl_i) - { - ocmember_T *m = &cl_ms[cl_i]; - if (STRCMP(if_ms[if_i].ocm_name, m->ocm_name) == 0) - { - // TODO: check type - break; - } - } - if (cl_i == cl_count) - { - semsg(_(e_member_str_of_interface_str_not_implemented), - if_ms[if_i].ocm_name, impl); - success = FALSE; - break; - } - } - } - - // check the functions/methods of the interface match the - // functions/methods of the class - for (int loop = 1; loop <= 2 && success; ++loop) - { - // loop == 1: check class functions - // loop == 2: check object methods - int if_count = loop == 1 ? ifcl->class_class_function_count - : ifcl->class_obj_method_count; - if (if_count == 0) - continue; - ufunc_T **if_fp = loop == 1 ? ifcl->class_class_functions - : ifcl->class_obj_methods; - ufunc_T **cl_fp = (ufunc_T **)(loop == 1 - ? classfunctions.ga_data - : objmethods.ga_data); - int cl_count = loop == 1 ? classfunctions.ga_len - : objmethods.ga_len; - for (int if_i = 0; if_i < if_count; ++if_i) - { - char_u *if_name = if_fp[if_i]->uf_name; - int cl_i; - for (cl_i = 0; cl_i < cl_count; ++cl_i) - { - char_u *cl_name = cl_fp[cl_i]->uf_name; - if (STRCMP(if_name, cl_name) == 0) - { - // TODO: check return and argument types - break; - } - } - if (cl_i == cl_count) - { - semsg(_(e_function_str_of_interface_str_not_implemented), - if_name, impl); - success = FALSE; - break; - } - } - } - - clear_tv(&tv); - } - } - - if (success) - { - // Check no function argument name is used as a class member. - // (Object members are always accessed with "this." prefix, so no need - // to check them.) - for (int loop = 1; loop <= 2 && success; ++loop) - { - garray_T *gap = loop == 1 ? &classfunctions : &objmethods; - - for (int fi = 0; fi < gap->ga_len && success; ++fi) - { - ufunc_T *uf = ((ufunc_T **)gap->ga_data)[fi]; - - for (int i = 0; i < uf->uf_args.ga_len && success; ++i) - { - char_u *aname = ((char_u **)uf->uf_args.ga_data)[i]; - garray_T *mgap = &classmembers; - - for (int mi = 0; mi < mgap->ga_len; ++mi) - { - char_u *mname = ((ocmember_T *)mgap->ga_data + mi) - ->ocm_name; - if (STRCMP(aname, mname) == 0) - { - success = FALSE; - - if (uf->uf_script_ctx.sc_sid > 0) - SOURCING_LNUM = uf->uf_script_ctx.sc_lnum; - - semsg(_(e_argument_already_declared_in_class_str), - aname); - break; - } - } - } - } - } - } - - - class_T *cl = NULL; - if (success) - { - // "endclass" encountered without failures: Create the class. - - cl = ALLOC_CLEAR_ONE(class_T); - if (cl == NULL) - goto cleanup; - if (!is_class) - cl->class_flags = CLASS_INTERFACE; - - cl->class_refcount = 1; - cl->class_name = vim_strnsave(name_start, name_end - name_start); - if (cl->class_name == NULL) - goto cleanup; - - if (extends_cl != NULL) - { - cl->class_extends = extends_cl; - extends_cl->class_flags |= CLASS_EXTENDED; - } - - // Add class and object members to "cl". - if (add_members_to_class(&classmembers, - extends_cl == NULL ? NULL - : extends_cl->class_class_members, - extends_cl == NULL ? 0 - : extends_cl->class_class_member_count, - &cl->class_class_members, - &cl->class_class_member_count) == FAIL - || add_members_to_class(&objmembers, - extends_cl == NULL ? NULL - : extends_cl->class_obj_members, - extends_cl == NULL ? 0 - : extends_cl->class_obj_member_count, - &cl->class_obj_members, - &cl->class_obj_member_count) == FAIL) - goto cleanup; - - if (ga_impl.ga_len > 0) - { - // Move the "implements" names into the class. - cl->class_interface_count = ga_impl.ga_len; - cl->class_interfaces = ALLOC_MULT(char_u *, ga_impl.ga_len); - if (cl->class_interfaces == NULL) - goto cleanup; - for (int i = 0; i < ga_impl.ga_len; ++i) - cl->class_interfaces[i] = ((char_u **)ga_impl.ga_data)[i]; - VIM_CLEAR(ga_impl.ga_data); - ga_impl.ga_len = 0; - - cl->class_interfaces_cl = intf_classes; - intf_classes = NULL; - } - - if (cl->class_interface_count > 0 || extends_cl != NULL) - { - // For each interface add a lookuptable for the member index on the - // interface to the member index in this class. - // And a lookuptable for the object method index on the interface - // to the object method index in this class. - // Also do this for the extended class, if any. - for (int i = 0; i <= cl->class_interface_count; ++i) - { - class_T *ifcl = i < cl->class_interface_count - ? cl->class_interfaces_cl[i] - : extends_cl; - if (ifcl == NULL) - continue; - - // Table for members. - itf2class_T *if2cl = alloc_clear(sizeof(itf2class_T) - + ifcl->class_obj_member_count * sizeof(int)); - if (if2cl == NULL) - goto cleanup; - if2cl->i2c_next = ifcl->class_itf2class; - ifcl->class_itf2class = if2cl; - if2cl->i2c_class = cl; - if2cl->i2c_is_method = FALSE; - - for (int if_i = 0; if_i < ifcl->class_obj_member_count; ++if_i) - for (int cl_i = 0; cl_i < cl->class_obj_member_count; - ++cl_i) - { - if (STRCMP(ifcl->class_obj_members[if_i].ocm_name, - cl->class_obj_members[cl_i].ocm_name) == 0) - { - int *table = (int *)(if2cl + 1); - table[if_i] = cl_i; - break; - } - } - - // Table for methods. - if2cl = alloc_clear(sizeof(itf2class_T) - + ifcl->class_obj_method_count * sizeof(int)); - if (if2cl == NULL) - goto cleanup; - if2cl->i2c_next = ifcl->class_itf2class; - ifcl->class_itf2class = if2cl; - if2cl->i2c_class = cl; - if2cl->i2c_is_method = TRUE; - - for (int if_i = 0; if_i < ifcl->class_obj_method_count; ++if_i) - { - int done = FALSE; - for (int cl_i = 0; cl_i < objmethods.ga_len; ++cl_i) - { - if (STRCMP(ifcl->class_obj_methods[if_i]->uf_name, - ((ufunc_T **)objmethods.ga_data)[cl_i]->uf_name) - == 0) - { - int *table = (int *)(if2cl + 1); - table[if_i] = cl_i; - done = TRUE; - break; - } - } - - if (!done && extends_cl != NULL) - { - for (int cl_i = 0; - cl_i < extends_cl->class_obj_member_count; ++cl_i) - { - if (STRCMP(ifcl->class_obj_methods[if_i]->uf_name, - extends_cl->class_obj_methods[cl_i]->uf_name) - == 0) - { - int *table = (int *)(if2cl + 1); - table[if_i] = cl_i; - break; - } - } - } - } - } - } - - if (is_class && cl->class_class_member_count > 0) - { - // Allocate a typval for each class member and initialize it. - cl->class_members_tv = ALLOC_CLEAR_MULT(typval_T, - cl->class_class_member_count); - if (cl->class_members_tv != NULL) - for (int i = 0; i < cl->class_class_member_count; ++i) - { - ocmember_T *m = &cl->class_class_members[i]; - typval_T *tv = &cl->class_members_tv[i]; - if (m->ocm_init != NULL) - { - typval_T *etv = eval_expr(m->ocm_init, eap); - if (etv != NULL) - { - *tv = *etv; - vim_free(etv); - } - } - else - { - // TODO: proper default value - tv->v_type = m->ocm_type->tt_type; - tv->vval.v_string = NULL; - } - } - } - - int have_new = FALSE; - for (int i = 0; i < classfunctions.ga_len; ++i) - if (STRCMP(((ufunc_T **)classfunctions.ga_data)[i]->uf_name, - "new") == 0) - { - have_new = TRUE; - break; - } - if (is_class && !is_abstract && !have_new) - { - // No new() method was defined, add the default constructor. - garray_T fga; - ga_init2(&fga, 1, 1000); - ga_concat(&fga, (char_u *)"new("); - for (int i = 0; i < cl->class_obj_member_count; ++i) - { - if (i > 0) - ga_concat(&fga, (char_u *)", "); - ga_concat(&fga, (char_u *)"this."); - ocmember_T *m = cl->class_obj_members + i; - ga_concat(&fga, (char_u *)m->ocm_name); - ga_concat(&fga, (char_u *)" = v:none"); - } - ga_concat(&fga, (char_u *)")\nenddef\n"); - ga_append(&fga, NUL); - - exarg_T fea; - CLEAR_FIELD(fea); - fea.cmdidx = CMD_def; - fea.cmd = fea.arg = fga.ga_data; - - garray_T lines_to_free; - ga_init2(&lines_to_free, sizeof(char_u *), 50); - - ufunc_T *nf = define_function(&fea, NULL, &lines_to_free, CF_CLASS); - - ga_clear_strings(&lines_to_free); - vim_free(fga.ga_data); - - if (nf != NULL && ga_grow(&classfunctions, 1) == OK) - { - ((ufunc_T **)classfunctions.ga_data)[classfunctions.ga_len] - = nf; - ++classfunctions.ga_len; - - nf->uf_flags |= FC_NEW; - nf->uf_ret_type = get_type_ptr(&type_list); - if (nf->uf_ret_type != NULL) - { - nf->uf_ret_type->tt_type = VAR_OBJECT; - nf->uf_ret_type->tt_class = cl; - nf->uf_ret_type->tt_argcount = 0; - nf->uf_ret_type->tt_args = NULL; - } - } - } - - // Move all the functions into the created class. - // loop 1: class functions, loop 2: object methods - for (int loop = 1; loop <= 2; ++loop) - { - garray_T *gap = loop == 1 ? &classfunctions : &objmethods; - int *fcount = loop == 1 ? &cl->class_class_function_count - : &cl->class_obj_method_count; - ufunc_T ***fup = loop == 1 ? &cl->class_class_functions - : &cl->class_obj_methods; - - int parent_count = 0; - if (extends_cl != NULL) - // Include functions from the parent. - parent_count = loop == 1 - ? extends_cl->class_class_function_count - : extends_cl->class_obj_method_count; - - *fcount = parent_count + gap->ga_len; - if (*fcount == 0) - { - *fup = NULL; - continue; - } - *fup = ALLOC_MULT(ufunc_T *, *fcount); - if (*fup == NULL) - goto cleanup; - - if (gap->ga_len != 0) - mch_memmove(*fup, gap->ga_data, - sizeof(ufunc_T *) * gap->ga_len); - vim_free(gap->ga_data); - if (loop == 1) - cl->class_class_function_count_child = gap->ga_len; - else - cl->class_obj_method_count_child = gap->ga_len; - - int skipped = 0; - for (int i = 0; i < parent_count; ++i) - { - // Copy functions from the parent. Can't use the same - // function, because "uf_class" is different and compilation - // will have a different result. - // Put them after the functions in the current class, object - // methods may be overruled, then "super.Method()" is used to - // find a method from the parent. - // Skip "new" functions. TODO: not all of them. - if (loop == 1 && STRNCMP( - extends_cl->class_class_functions[i]->uf_name, - "new", 3) == 0) - ++skipped; - else - { - ufunc_T *pf = (loop == 1 - ? extends_cl->class_class_functions - : extends_cl->class_obj_methods)[i]; - (*fup)[gap->ga_len + i - skipped] = copy_function(pf); - - // If the child class overrides a function from the parent - // the signature must be equal. - char_u *pname = pf->uf_name; - for (int ci = 0; ci < gap->ga_len; ++ci) - { - ufunc_T *cf = (*fup)[ci]; - char_u *cname = cf->uf_name; - if (STRCMP(pname, cname) == 0) - { - where_T where = WHERE_INIT; - where.wt_func_name = (char *)pname; - (void)check_type(pf->uf_func_type, cf->uf_func_type, - TRUE, where); - } - } - } - } - - *fcount -= skipped; - - // Set the class pointer on all the functions and object methods. - for (int i = 0; i < *fcount; ++i) - { - ufunc_T *fp = (*fup)[i]; - fp->uf_class = cl; - if (loop == 2) - fp->uf_flags |= FC_OBJECT; - } - } - - cl->class_type.tt_type = VAR_CLASS; - cl->class_type.tt_class = cl; - cl->class_object_type.tt_type = VAR_OBJECT; - cl->class_object_type.tt_class = cl; - cl->class_type_list = type_list; - - // TODO: - // - Fill hashtab with object members and methods ? - - // Add the class to the script-local variables. - // TODO: handle other context, e.g. in a function - typval_T tv; - tv.v_type = VAR_CLASS; - tv.vval.v_class = cl; - is_export = class_export; - SOURCING_LNUM = start_lnum; - set_var_const(cl->class_name, current_sctx.sc_sid, - NULL, &tv, FALSE, 0, 0); - return; - } - -cleanup: - if (cl != NULL) - { - vim_free(cl->class_name); - vim_free(cl->class_class_functions); - if (cl->class_interfaces != NULL) - { - for (int i = 0; i < cl->class_interface_count; ++i) - vim_free(cl->class_interfaces[i]); - vim_free(cl->class_interfaces); - } - if (cl->class_interfaces_cl != NULL) - { - for (int i = 0; i < cl->class_interface_count; ++i) - class_unref(cl->class_interfaces_cl[i]); - vim_free(cl->class_interfaces_cl); - } - vim_free(cl->class_obj_members); - vim_free(cl->class_obj_methods); - vim_free(cl); - } - - vim_free(extends); - class_unref(extends_cl); - - if (intf_classes != NULL) - { - for (int i = 0; i < ga_impl.ga_len; ++i) - class_unref(intf_classes[i]); - vim_free(intf_classes); - } - ga_clear_strings(&ga_impl); - - for (int round = 1; round <= 2; ++round) - { - garray_T *gap = round == 1 ? &classmembers : &objmembers; - if (gap->ga_len == 0 || gap->ga_data == NULL) - continue; - - for (int i = 0; i < gap->ga_len; ++i) - { - ocmember_T *m = ((ocmember_T *)gap->ga_data) + i; - vim_free(m->ocm_name); - vim_free(m->ocm_init); - } - ga_clear(gap); - } - - for (int i = 0; i < objmethods.ga_len; ++i) - { - ufunc_T *uf = ((ufunc_T **)objmethods.ga_data)[i]; - func_clear_free(uf, FALSE); - } - ga_clear(&objmethods); - - for (int i = 0; i < classfunctions.ga_len; ++i) - { - ufunc_T *uf = ((ufunc_T **)classfunctions.ga_data)[i]; - func_clear_free(uf, FALSE); - } - ga_clear(&classfunctions); - - clear_type_list(&type_list); -} - -/* - * Find member "name" in class "cl", set "member_idx" to the member index and - * return its type. - * When not found "member_idx" is set to -1 and t_any is returned. - */ - type_T * -class_member_type( - class_T *cl, - char_u *name, - char_u *name_end, - int *member_idx) -{ - *member_idx = -1; // not found (yet) - size_t len = name_end - name; - - for (int i = 0; i < cl->class_obj_member_count; ++i) - { - ocmember_T *m = cl->class_obj_members + i; - if (STRNCMP(m->ocm_name, name, len) == 0 && m->ocm_name[len] == NUL) - { - *member_idx = i; - return m->ocm_type; - } - } - - semsg(_(e_unknown_variable_str), name); - return &t_any; -} - -/* - * Handle ":enum" up to ":endenum". - */ - void -ex_enum(exarg_T *eap UNUSED) -{ - // TODO -} - -/* - * Handle ":type". - */ - void -ex_type(exarg_T *eap UNUSED) -{ - // TODO -} - -/* - * Evaluate what comes after a class: - * - class member: SomeClass.varname - * - class function: SomeClass.SomeMethod() - * - class constructor: SomeClass.new() - * - object member: someObject.varname - * - object method: someObject.SomeMethod() - * - * "*arg" points to the '.'. - * "*arg" is advanced to after the member name or method call. - * - * Returns FAIL or OK. - */ - int -class_object_index( - char_u **arg, - typval_T *rettv, - evalarg_T *evalarg, - int verbose UNUSED) // give error messages -{ - if (VIM_ISWHITE((*arg)[1])) - { - semsg(_(e_no_white_space_allowed_after_str_str), ".", *arg); - return FAIL; - } - - ++*arg; - char_u *name = *arg; - char_u *name_end = find_name_end(name, NULL, NULL, FNE_CHECK_START); - if (name_end == name) - return FAIL; - size_t len = name_end - name; - - class_T *cl; - if (rettv->v_type == VAR_CLASS) - cl = rettv->vval.v_class; - else // VAR_OBJECT - { - if (rettv->vval.v_object == NULL) - { - emsg(_(e_using_null_object)); - return FAIL; - } - cl = rettv->vval.v_object->obj_class; - } - - if (cl == NULL) - { - emsg(_(e_incomplete_type)); - return FAIL; - } - - if (*name_end == '(') - { - int on_class = rettv->v_type == VAR_CLASS; - int count = on_class ? cl->class_class_function_count - : cl->class_obj_method_count; - for (int i = 0; i < count; ++i) - { - ufunc_T *fp = on_class ? cl->class_class_functions[i] - : cl->class_obj_methods[i]; - // Use a separate pointer to avoid that ASAN complains about - // uf_name[] only being 4 characters. - char_u *ufname = (char_u *)fp->uf_name; - if (STRNCMP(name, ufname, len) == 0 && ufname[len] == NUL) - { - typval_T argvars[MAX_FUNC_ARGS + 1]; - int argcount = 0; - - char_u *argp = name_end; - int ret = get_func_arguments(&argp, evalarg, 0, - argvars, &argcount); - if (ret == FAIL) - return FAIL; - - funcexe_T funcexe; - CLEAR_FIELD(funcexe); - funcexe.fe_evaluate = TRUE; - if (rettv->v_type == VAR_OBJECT) - { - funcexe.fe_object = rettv->vval.v_object; - ++funcexe.fe_object->obj_refcount; - } - - // Clear the class or object after calling the function, in - // case the refcount is one. - typval_T tv_tofree = *rettv; - rettv->v_type = VAR_UNKNOWN; - - // Call the user function. Result goes into rettv; - int error = call_user_func_check(fp, argcount, argvars, - rettv, &funcexe, NULL); - - // Clear the previous rettv and the arguments. - clear_tv(&tv_tofree); - for (int idx = 0; idx < argcount; ++idx) - clear_tv(&argvars[idx]); - - if (error != FCERR_NONE) - { - user_func_error(error, printable_func_name(fp), - funcexe.fe_found_var); - return FAIL; - } - *arg = argp; - return OK; - } - } - - semsg(_(e_method_not_found_on_class_str_str), cl->class_name, name); - } - - else if (rettv->v_type == VAR_OBJECT) - { - for (int i = 0; i < cl->class_obj_member_count; ++i) - { - ocmember_T *m = &cl->class_obj_members[i]; - if (STRNCMP(name, m->ocm_name, len) == 0 && m->ocm_name[len] == NUL) - { - if (*name == '_') - { - semsg(_(e_cannot_access_private_member_str), m->ocm_name); - return FAIL; - } - - // The object only contains a pointer to the class, the member - // values array follows right after that. - object_T *obj = rettv->vval.v_object; - typval_T *tv = (typval_T *)(obj + 1) + i; - copy_tv(tv, rettv); - object_unref(obj); - - *arg = name_end; - return OK; - } - } - - semsg(_(e_member_not_found_on_object_str_str), cl->class_name, name); - } - - else if (rettv->v_type == VAR_CLASS) - { - // class member - for (int i = 0; i < cl->class_class_member_count; ++i) - { - ocmember_T *m = &cl->class_class_members[i]; - if (STRNCMP(name, m->ocm_name, len) == 0 && m->ocm_name[len] == NUL) - { - if (*name == '_') - { - semsg(_(e_cannot_access_private_member_str), m->ocm_name); - return FAIL; - } - - typval_T *tv = &cl->class_members_tv[i]; - copy_tv(tv, rettv); - class_unref(cl); - - *arg = name_end; - return OK; - } - } - - semsg(_(e_member_not_found_on_class_str_str), cl->class_name, name); - } - - return FAIL; -} - -/* - * If "arg" points to a class or object method, return it. - * Otherwise return NULL. - */ - ufunc_T * -find_class_func(char_u **arg) -{ - char_u *name = *arg; - char_u *name_end = find_name_end(name, NULL, NULL, FNE_CHECK_START); - if (name_end == name || *name_end != '.') - return NULL; - - size_t len = name_end - name; - typval_T tv; - tv.v_type = VAR_UNKNOWN; - if (eval_variable(name, (int)len, - 0, &tv, NULL, EVAL_VAR_NOAUTOLOAD) == FAIL) - return NULL; - if (tv.v_type != VAR_CLASS && tv.v_type != VAR_OBJECT) - goto fail_after_eval; - - class_T *cl = tv.v_type == VAR_CLASS ? tv.vval.v_class - : tv.vval.v_object->obj_class; - if (cl == NULL) - goto fail_after_eval; - char_u *fname = name_end + 1; - char_u *fname_end = find_name_end(fname, NULL, NULL, FNE_CHECK_START); - if (fname_end == fname) - goto fail_after_eval; - len = fname_end - fname; - - int count = tv.v_type == VAR_CLASS ? cl->class_class_function_count - : cl->class_obj_method_count; - ufunc_T **funcs = tv.v_type == VAR_CLASS ? cl->class_class_functions - : cl->class_obj_methods; - for (int i = 0; i < count; ++i) - { - ufunc_T *fp = funcs[i]; - // Use a separate pointer to avoid that ASAN complains about - // uf_name[] only being 4 characters. - char_u *ufname = (char_u *)fp->uf_name; - if (STRNCMP(fname, ufname, len) == 0 && ufname[len] == NUL) - { - clear_tv(&tv); - return fp; - } - } - -fail_after_eval: - clear_tv(&tv); - return NULL; -} - -/* - * If "name[len]" is a class member in cctx->ctx_ufunc->uf_class return the - * index in class.class_class_members[]. - * If "cl_ret" is not NULL set it to the class. - * Otherwise return -1; - */ - int -class_member_index(char_u *name, size_t len, class_T **cl_ret, cctx_T *cctx) -{ - if (cctx == NULL || cctx->ctx_ufunc == NULL - || cctx->ctx_ufunc->uf_class == NULL) - return -1; - class_T *cl = cctx->ctx_ufunc->uf_class; - - for (int i = 0; i < cl->class_class_member_count; ++i) - { - ocmember_T *m = &cl->class_class_members[i]; - if (STRNCMP(name, m->ocm_name, len) == 0 && m->ocm_name[len] == NUL) - { - if (cl_ret != NULL) - *cl_ret = cl; - return i; - } - } - return -1; -} - -/* - * Return TRUE if current context "cctx_arg" is inside class "cl". - * Return FALSE if not. - */ - int -inside_class(cctx_T *cctx_arg, class_T *cl) -{ - for (cctx_T *cctx = cctx_arg; cctx != NULL; cctx = cctx->ctx_outer) - if (cctx->ctx_ufunc != NULL && cctx->ctx_ufunc->uf_class == cl) - return TRUE; - return FALSE; -} - -/* - * Make a copy of an object. - */ - void -copy_object(typval_T *from, typval_T *to) -{ - *to = *from; - if (to->vval.v_object != NULL) - ++to->vval.v_object->obj_refcount; -} - -/* - * Free an object. - */ - static void -object_clear(object_T *obj) -{ - // Avoid a recursive call, it can happen if "obj" has a circular reference. - obj->obj_refcount = INT_MAX; - - class_T *cl = obj->obj_class; - - // the member values are just after the object structure - typval_T *tv = (typval_T *)(obj + 1); - for (int i = 0; i < cl->class_obj_member_count; ++i) - clear_tv(tv + i); - - // Remove from the list headed by "first_object". - object_cleared(obj); - - vim_free(obj); - class_unref(cl); -} - -/* - * Unreference an object. - */ - void -object_unref(object_T *obj) -{ - if (obj != NULL && --obj->obj_refcount <= 0) - object_clear(obj); -} - -/* - * Make a copy of a class. - */ - void -copy_class(typval_T *from, typval_T *to) -{ - *to = *from; - if (to->vval.v_class != NULL) - ++to->vval.v_class->class_refcount; -} - -/* - * Unreference a class. Free it when the reference count goes down to zero. - */ - void -class_unref(class_T *cl) -{ - if (cl != NULL && --cl->class_refcount <= 0 && cl->class_name != NULL) - { - // Freeing what the class contains may recursively come back here. - // Clear "class_name" first, if it is NULL the class does not need to - // be freed. - VIM_CLEAR(cl->class_name); - - class_unref(cl->class_extends); - - for (int i = 0; i < cl->class_interface_count; ++i) - { - vim_free(((char_u **)cl->class_interfaces)[i]); - if (cl->class_interfaces_cl[i] != NULL) - class_unref(cl->class_interfaces_cl[i]); - } - vim_free(cl->class_interfaces); - vim_free(cl->class_interfaces_cl); - - itf2class_T *next; - for (itf2class_T *i2c = cl->class_itf2class; i2c != NULL; i2c = next) - { - next = i2c->i2c_next; - vim_free(i2c); - } - - for (int i = 0; i < cl->class_class_member_count; ++i) - { - ocmember_T *m = &cl->class_class_members[i]; - vim_free(m->ocm_name); - vim_free(m->ocm_init); - if (cl->class_members_tv != NULL) - clear_tv(&cl->class_members_tv[i]); - } - vim_free(cl->class_class_members); - vim_free(cl->class_members_tv); - - for (int i = 0; i < cl->class_obj_member_count; ++i) - { - ocmember_T *m = &cl->class_obj_members[i]; - vim_free(m->ocm_name); - vim_free(m->ocm_init); - } - vim_free(cl->class_obj_members); - - for (int i = 0; i < cl->class_class_function_count; ++i) - { - ufunc_T *uf = cl->class_class_functions[i]; - func_clear_free(uf, FALSE); - } - vim_free(cl->class_class_functions); - - for (int i = 0; i < cl->class_obj_method_count; ++i) - { - ufunc_T *uf = cl->class_obj_methods[i]; - func_clear_free(uf, FALSE); - } - vim_free(cl->class_obj_methods); - - clear_type_list(&cl->class_type_list); - - vim_free(cl); - } -} - -static object_T *first_object = NULL; - -/* - * Call this function when an object has been created. It will be added to the - * list headed by "first_object". - */ - void -object_created(object_T *obj) -{ - if (first_object != NULL) - { - obj->obj_next_used = first_object; - first_object->obj_prev_used = obj; - } - first_object = obj; -} - -static object_T *next_nonref_obj = NULL; - -/* - * Call this function when an object has been cleared and is about to be freed. - * It is removed from the list headed by "first_object". - */ - void -object_cleared(object_T *obj) -{ - if (obj->obj_next_used != NULL) - obj->obj_next_used->obj_prev_used = obj->obj_prev_used; - if (obj->obj_prev_used != NULL) - obj->obj_prev_used->obj_next_used = obj->obj_next_used; - else if (first_object == obj) - first_object = obj->obj_next_used; - - // update the next object to check if needed - if (obj == next_nonref_obj) - next_nonref_obj = obj->obj_next_used; -} - -/* - * Go through the list of all objects and free items without "copyID". - */ - int -object_free_nonref(int copyID) -{ - int did_free = FALSE; - - for (object_T *obj = first_object; obj != NULL; obj = next_nonref_obj) - { - next_nonref_obj = obj->obj_next_used; - if ((obj->obj_copyID & COPYID_MASK) != (copyID & COPYID_MASK)) - { - // Free the object and items it contains. - object_clear(obj); - did_free = TRUE; - } - } - - next_nonref_obj = NULL; - return did_free; -} - - -#endif // FEAT_EVAL +/* vi:set ts=8 sts=4 sw=4 noet: + * + * VIM - Vi IMproved by Bram Moolenaar + * + * Do ":help uganda" in Vim to read copying and usage conditions. + * Do ":help credits" in Vim to see a list of people who contributed. + * See README.txt for an overview of the Vim source code. + */ + +/* + * vim9class.c: Vim9 script class support + */ + +#define USING_FLOAT_STUFF +#include "vim.h" + +#if defined(FEAT_EVAL) || defined(PROTO) + +// When not generating protos this is included in proto.h +#ifdef PROTO +# include "vim9.h" +#endif + +/* + * Parse a member declaration, both object and class member. + * Returns OK or FAIL. When OK then "varname_end" is set to just after the + * variable name and "type_ret" is set to the decleared or detected type. + * "init_expr" is set to the initialisation expression (allocated), if there is + * one. For an interface "init_expr" is NULL. + */ + static int +parse_member( + exarg_T *eap, + char_u *line, + char_u *varname, + int has_public, // TRUE if "public" seen before "varname" + char_u **varname_end, + garray_T *type_list, + type_T **type_ret, + char_u **init_expr) +{ + *varname_end = to_name_end(varname, FALSE); + if (*varname == '_' && has_public) + { + semsg(_(e_public_member_name_cannot_start_with_underscore_str), line); + return FAIL; + } + + char_u *colon = skipwhite(*varname_end); + char_u *type_arg = colon; + type_T *type = NULL; + if (*colon == ':') + { + if (VIM_ISWHITE(**varname_end)) + { + semsg(_(e_no_white_space_allowed_before_colon_str), varname); + return FAIL; + } + if (!VIM_ISWHITE(colon[1])) + { + semsg(_(e_white_space_required_after_str_str), ":", varname); + return FAIL; + } + type_arg = skipwhite(colon + 1); + type = parse_type(&type_arg, type_list, TRUE); + if (type == NULL) + return FAIL; + } + + char_u *expr_start = skipwhite(type_arg); + char_u *expr_end = expr_start; + if (type == NULL && *expr_start != '=') + { + emsg(_(e_type_or_initialization_required)); + return FAIL; + } + + if (*expr_start == '=') + { + if (!VIM_ISWHITE(expr_start[-1]) || !VIM_ISWHITE(expr_start[1])) + { + semsg(_(e_white_space_required_before_and_after_str_at_str), + "=", type_arg); + return FAIL; + } + expr_start = skipwhite(expr_start + 1); + + expr_end = expr_start; + evalarg_T evalarg; + fill_evalarg_from_eap(&evalarg, eap, FALSE); + skip_expr(&expr_end, NULL); + + if (type == NULL) + { + // No type specified, use the type of the initializer. + typval_T tv; + tv.v_type = VAR_UNKNOWN; + char_u *expr = expr_start; + int res = eval0(expr, &tv, eap, &evalarg); + + if (res == OK) + { + type = typval2type(&tv, get_copyID(), type_list, + TVTT_DO_MEMBER); + clear_tv(&tv); + } + if (type == NULL) + { + semsg(_(e_cannot_get_object_member_type_from_initializer_str), + expr_start); + clear_evalarg(&evalarg, NULL); + return FAIL; + } + } + clear_evalarg(&evalarg, NULL); + } + if (!valid_declaration_type(type)) + return FAIL; + + *type_ret = type; + if (expr_end > expr_start) + { + if (init_expr == NULL) + { + emsg(_(e_cannot_initialize_member_in_interface)); + return FAIL; + } + *init_expr = vim_strnsave(expr_start, expr_end - expr_start); + } + return OK; +} + +/* + * Add a member to an object or a class. + * Returns OK when successful, "init_expr" will be consumed then. + * Returns FAIL otherwise, caller might need to free "init_expr". + */ + static int +add_member( + garray_T *gap, + char_u *varname, + char_u *varname_end, + int has_public, + type_T *type, + char_u *init_expr) +{ + if (ga_grow(gap, 1) == FAIL) + return FAIL; + ocmember_T *m = ((ocmember_T *)gap->ga_data) + gap->ga_len; + m->ocm_name = vim_strnsave(varname, varname_end - varname); + m->ocm_access = has_public ? VIM_ACCESS_ALL + : *varname == '_' ? VIM_ACCESS_PRIVATE : VIM_ACCESS_READ; + m->ocm_type = type; + if (init_expr != NULL) + m->ocm_init = init_expr; + ++gap->ga_len; + return OK; +} + +/* + * Move the class or object members found while parsing a class into the class. + * "gap" contains the found members. + * "parent_members" points to the members in the parent class (if any) + * "parent_count" is the number of members in the parent class + * "members" will be set to the newly allocated array of members and + * "member_count" set to the number of members. + * Returns OK or FAIL. + */ + static int +add_members_to_class( + garray_T *gap, + ocmember_T *parent_members, + int parent_count, + ocmember_T **members, + int *member_count) +{ + *member_count = parent_count + gap->ga_len; + *members = *member_count == 0 ? NULL + : ALLOC_MULT(ocmember_T, *member_count); + if (*member_count > 0 && *members == NULL) + return FAIL; + for (int i = 0; i < parent_count; ++i) + { + // parent members need to be copied + ocmember_T *m = *members + i; + *m = parent_members[i]; + m->ocm_name = vim_strsave(m->ocm_name); + if (m->ocm_init != NULL) + m->ocm_init = vim_strsave(m->ocm_init); + } + if (gap->ga_len > 0) + // new members are moved + mch_memmove(*members + parent_count, + gap->ga_data, sizeof(ocmember_T) * gap->ga_len); + VIM_CLEAR(gap->ga_data); + return OK; +} + +/* + * Convert a member index "idx" of interface "itf" to the member index of class + * "cl" implementing that interface. + */ + int +object_index_from_itf_index(class_T *itf, int is_method, int idx, class_T *cl) +{ + if (idx > (is_method ? itf->class_obj_method_count + : itf->class_obj_member_count)) + { + siemsg("index %d out of range for interface %s", idx, itf->class_name); + return 0; + } + itf2class_T *i2c; + for (i2c = itf->class_itf2class; i2c != NULL; i2c = i2c->i2c_next) + if (i2c->i2c_class == cl && i2c->i2c_is_method == is_method) + break; + if (i2c == NULL) + { + siemsg("class %s not found on interface %s", + cl->class_name, itf->class_name); + return 0; + } + int *table = (int *)(i2c + 1); + return table[idx]; +} + +/* + * Handle ":class" and ":abstract class" up to ":endclass". + * Handle ":interface" up to ":endinterface". + */ + void +ex_class(exarg_T *eap) +{ + int is_class = eap->cmdidx == CMD_class; // FALSE for :interface + long start_lnum = SOURCING_LNUM; + + char_u *arg = eap->arg; + int is_abstract = eap->cmdidx == CMD_abstract; + if (is_abstract) + { + if (STRNCMP(arg, "class", 5) != 0 || !VIM_ISWHITE(arg[5])) + { + semsg(_(e_invalid_argument_str), arg); + return; + } + arg = skipwhite(arg + 5); + is_class = TRUE; + } + + if (!current_script_is_vim9() + || (cmdmod.cmod_flags & CMOD_LEGACY) + || !getline_equal(eap->getline, eap->cookie, getsourceline)) + { + if (is_class) + emsg(_(e_class_can_only_be_defined_in_vim9_script)); + else + emsg(_(e_interface_can_only_be_defined_in_vim9_script)); + return; + } + + if (!ASCII_ISUPPER(*arg)) + { + if (is_class) + semsg(_(e_class_name_must_start_with_uppercase_letter_str), arg); + else + semsg(_(e_interface_name_must_start_with_uppercase_letter_str), + arg); + return; + } + char_u *name_end = find_name_end(arg, NULL, NULL, FNE_CHECK_START); + if (!IS_WHITE_OR_NUL(*name_end)) + { + semsg(_(e_white_space_required_after_name_str), arg); + return; + } + char_u *name_start = arg; + + // "export class" gets used when creating the class, don't use "is_export" + // for the items inside the class. + int class_export = is_export; + is_export = FALSE; + + // TODO: + // generics: <Tkey, Tentry> + + // Name for "extends BaseClass" + char_u *extends = NULL; + + // Names for "implements SomeInterface" + garray_T ga_impl; + ga_init2(&ga_impl, sizeof(char_u *), 5); + + arg = skipwhite(name_end); + while (*arg != NUL && *arg != '#' && *arg != '\n') + { + // TODO: + // specifies SomeInterface + if (STRNCMP(arg, "extends", 7) == 0 && IS_WHITE_OR_NUL(arg[7])) + { + if (extends != NULL) + { + emsg(_(e_duplicate_extends)); + goto early_ret; + } + arg = skipwhite(arg + 7); + char_u *end = find_name_end(arg, NULL, NULL, FNE_CHECK_START); + if (!IS_WHITE_OR_NUL(*end)) + { + semsg(_(e_white_space_required_after_name_str), arg); + goto early_ret; + } + extends = vim_strnsave(arg, end - arg); + if (extends == NULL) + goto early_ret; + + arg = skipwhite(end + 1); + } + else if (STRNCMP(arg, "implements", 10) == 0 + && IS_WHITE_OR_NUL(arg[10])) + { + if (ga_impl.ga_len > 0) + { + emsg(_(e_duplicate_implements)); + goto early_ret; + } + arg = skipwhite(arg + 10); + + for (;;) + { + char_u *impl_end = find_name_end(arg, NULL, NULL, + FNE_CHECK_START); + if (!IS_WHITE_OR_NUL(*impl_end) && *impl_end != ',') + { + semsg(_(e_white_space_required_after_name_str), arg); + goto early_ret; + } + char_u *iname = vim_strnsave(arg, impl_end - arg); + if (iname == NULL) + goto early_ret; + for (int i = 0; i < ga_impl.ga_len; ++i) + if (STRCMP(((char_u **)ga_impl.ga_data)[i], iname) == 0) + { + semsg(_(e_duplicate_interface_after_implements_str), + iname); + vim_free(iname); + goto early_ret; + } + if (ga_add_string(&ga_impl, iname) == FAIL) + { + vim_free(iname); + goto early_ret; + } + if (*impl_end != ',') + { + arg = skipwhite(impl_end); + break; + } + arg = skipwhite(impl_end + 1); + } + } + else + { + semsg(_(e_trailing_characters_str), arg); +early_ret: + vim_free(extends); + ga_clear_strings(&ga_impl); + return; + } + } + + garray_T type_list; // list of pointers to allocated types + ga_init2(&type_list, sizeof(type_T *), 10); + + // Growarray with class members declared in the class. + garray_T classmembers; + ga_init2(&classmembers, sizeof(ocmember_T), 10); + + // Growarray with functions declared in the class. + garray_T classfunctions; + ga_init2(&classfunctions, sizeof(ufunc_T *), 10); + + // Growarray with object members declared in the class. + garray_T objmembers; + ga_init2(&objmembers, sizeof(ocmember_T), 10); + + // Growarray with object methods declared in the class. + garray_T objmethods; + ga_init2(&objmethods, sizeof(ufunc_T *), 10); + + /* + * Go over the body of the class/interface until "endclass" or + * "endinterface" is found. + */ + char_u *theline = NULL; + int success = FALSE; + for (;;) + { + vim_free(theline); + theline = eap->getline(':', eap->cookie, 0, GETLINE_CONCAT_ALL); + if (theline == NULL) + break; + char_u *line = skipwhite(theline); + + // Skip empty and comment lines. + if (*line == NUL) + continue; + if (*line == '#') + { + if (vim9_bad_comment(line)) + break; + continue; + } + + char_u *p = line; + char *end_name = is_class ? "endclass" : "endinterface"; + if (checkforcmd(&p, end_name, is_class ? 4 : 5)) + { + if (STRNCMP(line, end_name, is_class ? 8 : 12) != 0) + semsg(_(e_command_cannot_be_shortened_str), line); + else if (*p == '|' || !ends_excmd2(line, p)) + semsg(_(e_trailing_characters_str), p); + else + success = TRUE; + break; + } + char *wrong_name = is_class ? "endinterface" : "endclass"; + if (checkforcmd(&p, wrong_name, is_class ? 5 : 4)) + { + semsg(_(e_invalid_command_str_expected_str), line, end_name); + break; + } + + int has_public = FALSE; + if (checkforcmd(&p, "public", 3)) + { + if (STRNCMP(line, "public", 6) != 0) + { + semsg(_(e_command_cannot_be_shortened_str), line); + break; + } + has_public = TRUE; + p = skipwhite(line + 6); + + if (STRNCMP(p, "this", 4) != 0 && STRNCMP(p, "static", 6) != 0) + { + emsg(_(e_public_must_be_followed_by_this_or_static)); + break; + } + } + + int has_static = FALSE; + char_u *ps = p; + if (checkforcmd(&p, "static", 4)) + { + if (STRNCMP(ps, "static", 6) != 0) + { + semsg(_(e_command_cannot_be_shortened_str), ps); + break; + } + has_static = TRUE; + p = skipwhite(ps + 6); + } + + // object members (public, read access, private): + // "this._varname" + // "this.varname" + // "public this.varname" + if (STRNCMP(p, "this", 4) == 0) + { + if (p[4] != '.' || !eval_isnamec1(p[5])) + { + semsg(_(e_invalid_object_member_declaration_str), p); + break; + } + char_u *varname = p + 5; + char_u *varname_end = NULL; + type_T *type = NULL; + char_u *init_expr = NULL; + if (parse_member(eap, line, varname, has_public, + &varname_end, &type_list, &type, + is_class ? &init_expr: NULL) == FAIL) + break; + if (add_member(&objmembers, varname, varname_end, + has_public, type, init_expr) == FAIL) + { + vim_free(init_expr); + break; + } + } + + // constructors: + // def new() + // enddef + // def newOther() + // enddef + // object methods and class functions: + // def SomeMethod() + // enddef + // static def ClassFunction() + // enddef + // TODO: + // def <Tval> someMethod() + // enddef + else if (checkforcmd(&p, "def", 3)) + { + exarg_T ea; + garray_T lines_to_free; + + // TODO: error for "public static def Func()"? + + CLEAR_FIELD(ea); + ea.cmd = line; + ea.arg = p; + ea.cmdidx = CMD_def; + ea.getline = eap->getline; + ea.cookie = eap->cookie; + + ga_init2(&lines_to_free, sizeof(char_u *), 50); + ufunc_T *uf = define_function(&ea, NULL, &lines_to_free, + is_class ? CF_CLASS : CF_INTERFACE); + ga_clear_strings(&lines_to_free); + + if (uf != NULL) + { + char_u *name = uf->uf_name; + int is_new = STRNCMP(name, "new", 3) == 0; + if (is_new && is_abstract) + { + emsg(_(e_cannot_define_new_function_in_abstract_class)); + success = FALSE; + break; + } + garray_T *fgap = has_static || is_new + ? &classfunctions : &objmethods; + // Check the name isn't used already. + for (int i = 0; i < fgap->ga_len; ++i) + { + char_u *n = ((ufunc_T **)fgap->ga_data)[i]->uf_name; + if (STRCMP(name, n) == 0) + { + semsg(_(e_duplicate_function_str), name); + break; + } + } + + if (ga_grow(fgap, 1) == OK) + { + if (is_new) + uf->uf_flags |= FC_NEW; + + ((ufunc_T **)fgap->ga_data)[fgap->ga_len] = uf; + ++fgap->ga_len; + } + } + } + + // class members + else if (has_static) + { + // class members (public, read access, private): + // "static _varname" + // "static varname" + // "public static varname" + char_u *varname = p; + char_u *varname_end = NULL; + type_T *type = NULL; + char_u *init_expr = NULL; + if (parse_member(eap, line, varname, has_public, + &varname_end, &type_list, &type, + is_class ? &init_expr : NULL) == FAIL) + break; + if (add_member(&classmembers, varname, varname_end, + has_public, type, init_expr) == FAIL) + { + vim_free(init_expr); + break; + } + } + + else + { + if (is_class) + semsg(_(e_not_valid_command_in_class_str), line); + else + semsg(_(e_not_valid_command_in_interface_str), line); + break; + } + } + vim_free(theline); + + class_T *extends_cl = NULL; // class from "extends" argument + + /* + * Check a few things before defining the class. + */ + + // Check the "extends" class is valid. + if (success && extends != NULL) + { + typval_T tv; + tv.v_type = VAR_UNKNOWN; + if (eval_variable_import(extends, &tv) == FAIL) + { + semsg(_(e_class_name_not_found_str), extends); + success = FALSE; + } + else + { + if (tv.v_type != VAR_CLASS + || tv.vval.v_class == NULL + || (tv.vval.v_class->class_flags & CLASS_INTERFACE) != 0) + { + semsg(_(e_cannot_extend_str), extends); + success = FALSE; + } + else + { + extends_cl = tv.vval.v_class; + ++extends_cl->class_refcount; + } + clear_tv(&tv); + } + } + VIM_CLEAR(extends); + + class_T **intf_classes = NULL; + + // Check all "implements" entries are valid. + if (success && ga_impl.ga_len > 0) + { + intf_classes = ALLOC_CLEAR_MULT(class_T *, ga_impl.ga_len); + + for (int i = 0; i < ga_impl.ga_len && success; ++i) + { + char_u *impl = ((char_u **)ga_impl.ga_data)[i]; + typval_T tv; + tv.v_type = VAR_UNKNOWN; + if (eval_variable_import(impl, &tv) == FAIL) + { + semsg(_(e_interface_name_not_found_str), impl); + success = FALSE; + break; + } + + if (tv.v_type != VAR_CLASS + || tv.vval.v_class == NULL + || (tv.vval.v_class->class_flags & CLASS_INTERFACE) == 0) + { + semsg(_(e_not_valid_interface_str), impl); + success = FALSE; + } + + class_T *ifcl = tv.vval.v_class; + intf_classes[i] = ifcl; + ++ifcl->class_refcount; + + // check the members of the interface match the members of the class + for (int loop = 1; loop <= 2 && success; ++loop) + { + // loop == 1: check class members + // loop == 2: check object members + int if_count = loop == 1 ? ifcl->class_class_member_count + : ifcl->class_obj_member_count; + if (if_count == 0) + continue; + ocmember_T *if_ms = loop == 1 ? ifcl->class_class_members + : ifcl->class_obj_members; + ocmember_T *cl_ms = (ocmember_T *)(loop == 1 + ? classmembers.ga_data + : objmembers.ga_data); + int cl_count = loop == 1 ? classmembers.ga_len + : objmembers.ga_len; + for (int if_i = 0; if_i < if_count; ++if_i) + { + int cl_i; + for (cl_i = 0; cl_i < cl_count; ++cl_i) + { + ocmember_T *m = &cl_ms[cl_i]; + if (STRCMP(if_ms[if_i].ocm_name, m->ocm_name) == 0) + { + // TODO: check type + break; + } + } + if (cl_i == cl_count) + { + semsg(_(e_member_str_of_interface_str_not_implemented), + if_ms[if_i].ocm_name, impl); + success = FALSE; + break; + } + } + } + + // check the functions/methods of the interface match the + // functions/methods of the class + for (int loop = 1; loop <= 2 && success; ++loop) + { + // loop == 1: check class functions + // loop == 2: check object methods + int if_count = loop == 1 ? ifcl->class_class_function_count + : ifcl->class_obj_method_count; + if (if_count == 0) + continue; + ufunc_T **if_fp = loop == 1 ? ifcl->class_class_functions + : ifcl->class_obj_methods; + ufunc_T **cl_fp = (ufunc_T **)(loop == 1 + ? classfunctions.ga_data + : objmethods.ga_data); + int cl_count = loop == 1 ? classfunctions.ga_len + : objmethods.ga_len; + for (int if_i = 0; if_i < if_count; ++if_i) + { + char_u *if_name = if_fp[if_i]->uf_name; + int cl_i; + for (cl_i = 0; cl_i < cl_count; ++cl_i) + { + char_u *cl_name = cl_fp[cl_i]->uf_name; + if (STRCMP(if_name, cl_name) == 0) + { + // TODO: check return and argument types + break; + } + } + if (cl_i == cl_count) + { + semsg(_(e_function_str_of_interface_str_not_implemented), + if_name, impl); + success = FALSE; + break; + } + } + } + + clear_tv(&tv); + } + } + + if (success) + { + // Check no function argument name is used as a class member. + // (Object members are always accessed with "this." prefix, so no need + // to check them.) + for (int loop = 1; loop <= 2 && success; ++loop) + { + garray_T *gap = loop == 1 ? &classfunctions : &objmethods; + + for (int fi = 0; fi < gap->ga_len && success; ++fi) + { + ufunc_T *uf = ((ufunc_T **)gap->ga_data)[fi]; + + for (int i = 0; i < uf->uf_args.ga_len && success; ++i) + { + char_u *aname = ((char_u **)uf->uf_args.ga_data)[i]; + garray_T *mgap = &classmembers; + + for (int mi = 0; mi < mgap->ga_len; ++mi) + { + char_u *mname = ((ocmember_T *)mgap->ga_data + mi) + ->ocm_name; + if (STRCMP(aname, mname) == 0) + { + success = FALSE; + + if (uf->uf_script_ctx.sc_sid > 0) + SOURCING_LNUM = uf->uf_script_ctx.sc_lnum; + + semsg(_(e_argument_already_declared_in_class_str), + aname); + break; + } + } + } + } + } + } + + + class_T *cl = NULL; + if (success) + { + // "endclass" encountered without failures: Create the class. + + cl = ALLOC_CLEAR_ONE(class_T); + if (cl == NULL) + goto cleanup; + if (!is_class) + cl->class_flags = CLASS_INTERFACE; + + cl->class_refcount = 1; + cl->class_name = vim_strnsave(name_start, name_end - name_start); + if (cl->class_name == NULL) + goto cleanup; + + if (extends_cl != NULL) + { + cl->class_extends = extends_cl; + extends_cl->class_flags |= CLASS_EXTENDED; + } + + // Add class and object members to "cl". + if (add_members_to_class(&classmembers, + extends_cl == NULL ? NULL + : extends_cl->class_class_members, + extends_cl == NULL ? 0 + : extends_cl->class_class_member_count, + &cl->class_class_members, + &cl->class_class_member_count) == FAIL + || add_members_to_class(&objmembers, + extends_cl == NULL ? NULL + : extends_cl->class_obj_members, + extends_cl == NULL ? 0 + : extends_cl->class_obj_member_count, + &cl->class_obj_members, + &cl->class_obj_member_count) == FAIL) + goto cleanup; + + if (ga_impl.ga_len > 0) + { + // Move the "implements" names into the class. + cl->class_interface_count = ga_impl.ga_len; + cl->class_interfaces = ALLOC_MULT(char_u *, ga_impl.ga_len); + if (cl->class_interfaces == NULL) + goto cleanup; + for (int i = 0; i < ga_impl.ga_len; ++i) + cl->class_interfaces[i] = ((char_u **)ga_impl.ga_data)[i]; + VIM_CLEAR(ga_impl.ga_data); + ga_impl.ga_len = 0; + + cl->class_interfaces_cl = intf_classes; + intf_classes = NULL; + } + + if (cl->class_interface_count > 0 || extends_cl != NULL) + { + // For each interface add a lookuptable for the member index on the + // interface to the member index in this class. + // And a lookuptable for the object method index on the interface + // to the object method index in this class. + // Also do this for the extended class, if any. + for (int i = 0; i <= cl->class_interface_count; ++i) + { + class_T *ifcl = i < cl->class_interface_count + ? cl->class_interfaces_cl[i] + : extends_cl; + if (ifcl == NULL) + continue; + + // Table for members. + itf2class_T *if2cl = alloc_clear(sizeof(itf2class_T) + + ifcl->class_obj_member_count * sizeof(int)); + if (if2cl == NULL) + goto cleanup; + if2cl->i2c_next = ifcl->class_itf2class; + ifcl->class_itf2class = if2cl; + if2cl->i2c_class = cl; + if2cl->i2c_is_method = FALSE; + + for (int if_i = 0; if_i < ifcl->class_obj_member_count; ++if_i) + for (int cl_i = 0; cl_i < cl->class_obj_member_count; + ++cl_i) + { + if (STRCMP(ifcl->class_obj_members[if_i].ocm_name, + cl->class_obj_members[cl_i].ocm_name) == 0) + { + int *table = (int *)(if2cl + 1); + table[if_i] = cl_i; + break; + } + } + + // Table for methods. + if2cl = alloc_clear(sizeof(itf2class_T) + + ifcl->class_obj_method_count * sizeof(int)); + if (if2cl == NULL) + goto cleanup; + if2cl->i2c_next = ifcl->class_itf2class; + ifcl->class_itf2class = if2cl; + if2cl->i2c_class = cl; + if2cl->i2c_is_method = TRUE; + + for (int if_i = 0; if_i < ifcl->class_obj_method_count; ++if_i) + { + int done = FALSE; + for (int cl_i = 0; cl_i < objmethods.ga_len; ++cl_i) + { + if (STRCMP(ifcl->class_obj_methods[if_i]->uf_name, + ((ufunc_T **)objmethods.ga_data)[cl_i]->uf_name) + == 0) + { + int *table = (int *)(if2cl + 1); + table[if_i] = cl_i; + done = TRUE; + break; + } + } + + if (!done && extends_cl != NULL) + { + for (int cl_i = 0; + cl_i < extends_cl->class_obj_member_count; ++cl_i) + { + if (STRCMP(ifcl->class_obj_methods[if_i]->uf_name, + extends_cl->class_obj_methods[cl_i]->uf_name) + == 0) + { + int *table = (int *)(if2cl + 1); + table[if_i] = cl_i; + break; + } + } + } + } + } + } + + if (is_class && cl->class_class_member_count > 0) + { + // Allocate a typval for each class member and initialize it. + cl->class_members_tv = ALLOC_CLEAR_MULT(typval_T, + cl->class_class_member_count); + if (cl->class_members_tv != NULL) + for (int i = 0; i < cl->class_class_member_count; ++i) + { + ocmember_T *m = &cl->class_class_members[i]; + typval_T *tv = &cl->class_members_tv[i]; + if (m->ocm_init != NULL) + { + typval_T *etv = eval_expr(m->ocm_init, eap); + if (etv != NULL) + { + *tv = *etv; + vim_free(etv); + } + } + else + { + // TODO: proper default value + tv->v_type = m->ocm_type->tt_type; + tv->vval.v_string = NULL; + } + } + } + + int have_new = FALSE; + for (int i = 0; i < classfunctions.ga_len; ++i) + if (STRCMP(((ufunc_T **)classfunctions.ga_data)[i]->uf_name, + "new") == 0) + { + have_new = TRUE; + break; + } + if (is_class && !is_abstract && !have_new) + { + // No new() method was defined, add the default constructor. + garray_T fga; + ga_init2(&fga, 1, 1000); + ga_concat(&fga, (char_u *)"new("); + for (int i = 0; i < cl->class_obj_member_count; ++i) + { + if (i > 0) + ga_concat(&fga, (char_u *)", "); + ga_concat(&fga, (char_u *)"this."); + ocmember_T *m = cl->class_obj_members + i; + ga_concat(&fga, (char_u *)m->ocm_name); + ga_concat(&fga, (char_u *)" = v:none"); + } + ga_concat(&fga, (char_u *)")\nenddef\n"); + ga_append(&fga, NUL); + + exarg_T fea; + CLEAR_FIELD(fea); + fea.cmdidx = CMD_def; + fea.cmd = fea.arg = fga.ga_data; + + garray_T lines_to_free; + ga_init2(&lines_to_free, sizeof(char_u *), 50); + + ufunc_T *nf = define_function(&fea, NULL, &lines_to_free, CF_CLASS); + + ga_clear_strings(&lines_to_free); + vim_free(fga.ga_data); + + if (nf != NULL && ga_grow(&classfunctions, 1) == OK) + { + ((ufunc_T **)classfunctions.ga_data)[classfunctions.ga_len] + = nf; + ++classfunctions.ga_len; + + nf->uf_flags |= FC_NEW; + nf->uf_ret_type = get_type_ptr(&type_list); + if (nf->uf_ret_type != NULL) + { + nf->uf_ret_type->tt_type = VAR_OBJECT; + nf->uf_ret_type->tt_class = cl; + nf->uf_ret_type->tt_argcount = 0; + nf->uf_ret_type->tt_args = NULL; + } + } + } + + // Move all the functions into the created class. + // loop 1: class functions, loop 2: object methods + for (int loop = 1; loop <= 2; ++loop) + { + garray_T *gap = loop == 1 ? &classfunctions : &objmethods; + int *fcount = loop == 1 ? &cl->class_class_function_count + : &cl->class_obj_method_count; + ufunc_T ***fup = loop == 1 ? &cl->class_class_functions + : &cl->class_obj_methods; + + int parent_count = 0; + if (extends_cl != NULL) + // Include functions from the parent. + parent_count = loop == 1 + ? extends_cl->class_class_function_count + : extends_cl->class_obj_method_count; + + *fcount = parent_count + gap->ga_len; + if (*fcount == 0) + { + *fup = NULL; + continue; + } + *fup = ALLOC_MULT(ufunc_T *, *fcount); + if (*fup == NULL) + goto cleanup; + + if (gap->ga_len != 0) + mch_memmove(*fup, gap->ga_data, + sizeof(ufunc_T *) * gap->ga_len); + vim_free(gap->ga_data); + if (loop == 1) + cl->class_class_function_count_child = gap->ga_len; + else + cl->class_obj_method_count_child = gap->ga_len; + + int skipped = 0; + for (int i = 0; i < parent_count; ++i) + { + // Copy functions from the parent. Can't use the same + // function, because "uf_class" is different and compilation + // will have a different result. + // Put them after the functions in the current class, object + // methods may be overruled, then "super.Method()" is used to + // find a method from the parent. + // Skip "new" functions. TODO: not all of them. + if (loop == 1 && STRNCMP( + extends_cl->class_class_functions[i]->uf_name, + "new", 3) == 0) + ++skipped; + else + { + ufunc_T *pf = (loop == 1 + ? extends_cl->class_class_functions + : extends_cl->class_obj_methods)[i]; + (*fup)[gap->ga_len + i - skipped] = copy_function(pf); + + // If the child class overrides a function from the parent + // the signature must be equal. + char_u *pname = pf->uf_name; + for (int ci = 0; ci < gap->ga_len; ++ci) + { + ufunc_T *cf = (*fup)[ci]; + char_u *cname = cf->uf_name; + if (STRCMP(pname, cname) == 0) + { + where_T where = WHERE_INIT; + where.wt_func_name = (char *)pname; + (void)check_type(pf->uf_func_type, cf->uf_func_type, + TRUE, where); + } + } + } + } + + *fcount -= skipped; + + // Set the class pointer on all the functions and object methods. + for (int i = 0; i < *fcount; ++i) + { + ufunc_T *fp = (*fup)[i]; + fp->uf_class = cl; + if (loop == 2) + fp->uf_flags |= FC_OBJECT; + } + } + + cl->class_type.tt_type = VAR_CLASS; + cl->class_type.tt_class = cl; + cl->class_object_type.tt_type = VAR_OBJECT; + cl->class_object_type.tt_class = cl; + cl->class_type_list = type_list; + + // TODO: + // - Fill hashtab with object members and methods ? + + // Add the class to the script-local variables. + // TODO: handle other context, e.g. in a function + typval_T tv; + tv.v_type = VAR_CLASS; + tv.vval.v_class = cl; + is_export = class_export; + SOURCING_LNUM = start_lnum; + set_var_const(cl->class_name, current_sctx.sc_sid, + NULL, &tv, FALSE, 0, 0); + return; + } + +cleanup: + if (cl != NULL) + { + vim_free(cl->class_name); + vim_free(cl->class_class_functions); + if (cl->class_interfaces != NULL) + { + for (int i = 0; i < cl->class_interface_count; ++i) + vim_free(cl->class_interfaces[i]); + vim_free(cl->class_interfaces); + } + if (cl->class_interfaces_cl != NULL) + { + for (int i = 0; i < cl->class_interface_count; ++i) + class_unref(cl->class_interfaces_cl[i]); + vim_free(cl->class_interfaces_cl); + } + vim_free(cl->class_obj_members); + vim_free(cl->class_obj_methods); + vim_free(cl); + } + + vim_free(extends); + class_unref(extends_cl); + + if (intf_classes != NULL) + { + for (int i = 0; i < ga_impl.ga_len; ++i) + class_unref(intf_classes[i]); + vim_free(intf_classes); + } + ga_clear_strings(&ga_impl); + + for (int round = 1; round <= 2; ++round) + { + garray_T *gap = round == 1 ? &classmembers : &objmembers; + if (gap->ga_len == 0 || gap->ga_data == NULL) + continue; + + for (int i = 0; i < gap->ga_len; ++i) + { + ocmember_T *m = ((ocmember_T *)gap->ga_data) + i; + vim_free(m->ocm_name); + vim_free(m->ocm_init); + } + ga_clear(gap); + } + + for (int i = 0; i < objmethods.ga_len; ++i) + { + ufunc_T *uf = ((ufunc_T **)objmethods.ga_data)[i]; + func_clear_free(uf, FALSE); + } + ga_clear(&objmethods); + + for (int i = 0; i < classfunctions.ga_len; ++i) + { + ufunc_T *uf = ((ufunc_T **)classfunctions.ga_data)[i]; + func_clear_free(uf, FALSE); + } + ga_clear(&classfunctions); + + clear_type_list(&type_list); +} + +/* + * Find member "name" in class "cl", set "member_idx" to the member index and + * return its type. + * When not found "member_idx" is set to -1 and t_any is returned. + */ + type_T * +class_member_type( + class_T *cl, + char_u *name, + char_u *name_end, + int *member_idx) +{ + *member_idx = -1; // not found (yet) + size_t len = name_end - name; + + for (int i = 0; i < cl->class_obj_member_count; ++i) + { + ocmember_T *m = cl->class_obj_members + i; + if (STRNCMP(m->ocm_name, name, len) == 0 && m->ocm_name[len] == NUL) + { + *member_idx = i; + return m->ocm_type; + } + } + + semsg(_(e_unknown_variable_str), name); + return &t_any; +} + +/* + * Handle ":enum" up to ":endenum". + */ + void +ex_enum(exarg_T *eap UNUSED) +{ + // TODO +} + +/* + * Handle ":type". + */ + void +ex_type(exarg_T *eap UNUSED) +{ + // TODO +} + +/* + * Evaluate what comes after a class: + * - class member: SomeClass.varname + * - class function: SomeClass.SomeMethod() + * - class constructor: SomeClass.new() + * - object member: someObject.varname + * - object method: someObject.SomeMethod() + * + * "*arg" points to the '.'. + * "*arg" is advanced to after the member name or method call. + * + * Returns FAIL or OK. + */ + int +class_object_index( + char_u **arg, + typval_T *rettv, + evalarg_T *evalarg, + int verbose UNUSED) // give error messages +{ + if (VIM_ISWHITE((*arg)[1])) + { + semsg(_(e_no_white_space_allowed_after_str_str), ".", *arg); + return FAIL; + } + + ++*arg; + char_u *name = *arg; + char_u *name_end = find_name_end(name, NULL, NULL, FNE_CHECK_START); + if (name_end == name) + return FAIL; + size_t len = name_end - name; + + class_T *cl; + if (rettv->v_type == VAR_CLASS) + cl = rettv->vval.v_class; + else // VAR_OBJECT + { + if (rettv->vval.v_object == NULL) + { + emsg(_(e_using_null_object)); + return FAIL; + } + cl = rettv->vval.v_object->obj_class; + } + + if (cl == NULL) + { + emsg(_(e_incomplete_type)); + return FAIL; + } + + if (*name_end == '(') + { + int on_class = rettv->v_type == VAR_CLASS; + int count = on_class ? cl->class_class_function_count + : cl->class_obj_method_count; + for (int i = 0; i < count; ++i) + { + ufunc_T *fp = on_class ? cl->class_class_functions[i] + : cl->class_obj_methods[i]; + // Use a separate pointer to avoid that ASAN complains about + // uf_name[] only being 4 characters. + char_u *ufname = (char_u *)fp->uf_name; + if (STRNCMP(name, ufname, len) == 0 && ufname[len] == NUL) + { + typval_T argvars[MAX_FUNC_ARGS + 1]; + int argcount = 0; + + char_u *argp = name_end; + int ret = get_func_arguments(&argp, evalarg, 0, + argvars, &argcount); + if (ret == FAIL) + return FAIL; + + funcexe_T funcexe; + CLEAR_FIELD(funcexe); + funcexe.fe_evaluate = TRUE; + if (rettv->v_type == VAR_OBJECT) + { + funcexe.fe_object = rettv->vval.v_object; + ++funcexe.fe_object->obj_refcount; + } + + // Clear the class or object after calling the function, in + // case the refcount is one. + typval_T tv_tofree = *rettv; + rettv->v_type = VAR_UNKNOWN; + + // Call the user function. Result goes into rettv; + int error = call_user_func_check(fp, argcount, argvars, + rettv, &funcexe, NULL); + + // Clear the previous rettv and the arguments. + clear_tv(&tv_tofree); + for (int idx = 0; idx < argcount; ++idx) + clear_tv(&argvars[idx]); + + if (error != FCERR_NONE) + { + user_func_error(error, printable_func_name(fp), + funcexe.fe_found_var); + return FAIL; + } + *arg = argp; + return OK; + } + } + + semsg(_(e_method_not_found_on_class_str_str), cl->class_name, name); + } + + else if (rettv->v_type == VAR_OBJECT) + { + for (int i = 0; i < cl->class_obj_member_count; ++i) + { + ocmember_T *m = &cl->class_obj_members[i]; + if (STRNCMP(name, m->ocm_name, len) == 0 && m->ocm_name[len] == NUL) + { + if (*name == '_') + { + semsg(_(e_cannot_access_private_member_str), m->ocm_name); + return FAIL; + } + + // The object only contains a pointer to the class, the member + // values array follows right after that. + object_T *obj = rettv->vval.v_object; + typval_T *tv = (typval_T *)(obj + 1) + i; + copy_tv(tv, rettv); + object_unref(obj); + + *arg = name_end; + return OK; + } + } + + semsg(_(e_member_not_found_on_object_str_str), cl->class_name, name); + } + + else if (rettv->v_type == VAR_CLASS) + { + // class member + for (int i = 0; i < cl->class_class_member_count; ++i) + { + ocmember_T *m = &cl->class_class_members[i]; + if (STRNCMP(name, m->ocm_name, len) == 0 && m->ocm_name[len] == NUL) + { + if (*name == '_') + { + semsg(_(e_cannot_access_private_member_str), m->ocm_name); + return FAIL; + } + + typval_T *tv = &cl->class_members_tv[i]; + copy_tv(tv, rettv); + class_unref(cl); + + *arg = name_end; + return OK; + } + } + + semsg(_(e_member_not_found_on_class_str_str), cl->class_name, name); + } + + return FAIL; +} + +/* + * If "arg" points to a class or object method, return it. + * Otherwise return NULL. + */ + ufunc_T * +find_class_func(char_u **arg) +{ + char_u *name = *arg; + char_u *name_end = find_name_end(name, NULL, NULL, FNE_CHECK_START); + if (name_end == name || *name_end != '.') + return NULL; + + size_t len = name_end - name; + typval_T tv; + tv.v_type = VAR_UNKNOWN; + if (eval_variable(name, (int)len, + 0, &tv, NULL, EVAL_VAR_NOAUTOLOAD) == FAIL) + return NULL; + if (tv.v_type != VAR_CLASS && tv.v_type != VAR_OBJECT) + goto fail_after_eval; + + class_T *cl = tv.v_type == VAR_CLASS ? tv.vval.v_class + : tv.vval.v_object->obj_class; + if (cl == NULL) + goto fail_after_eval; + char_u *fname = name_end + 1; + char_u *fname_end = find_name_end(fname, NULL, NULL, FNE_CHECK_START); + if (fname_end == fname) + goto fail_after_eval; + len = fname_end - fname; + + int count = tv.v_type == VAR_CLASS ? cl->class_class_function_count + : cl->class_obj_method_count; + ufunc_T **funcs = tv.v_type == VAR_CLASS ? cl->class_class_functions + : cl->class_obj_methods; + for (int i = 0; i < count; ++i) + { + ufunc_T *fp = funcs[i]; + // Use a separate pointer to avoid that ASAN complains about + // uf_name[] only being 4 characters. + char_u *ufname = (char_u *)fp->uf_name; + if (STRNCMP(fname, ufname, len) == 0 && ufname[len] == NUL) + { + clear_tv(&tv); + return fp; + } + } + +fail_after_eval: + clear_tv(&tv); + return NULL; +} + +/* + * If "name[len]" is a class member in cctx->ctx_ufunc->uf_class return the + * index in class.class_class_members[]. + * If "cl_ret" is not NULL set it to the class. + * Otherwise return -1; + */ + int +class_member_index(char_u *name, size_t len, class_T **cl_ret, cctx_T *cctx) +{ + if (cctx == NULL || cctx->ctx_ufunc == NULL + || cctx->ctx_ufunc->uf_class == NULL) + return -1; + class_T *cl = cctx->ctx_ufunc->uf_class; + + for (int i = 0; i < cl->class_class_member_count; ++i) + { + ocmember_T *m = &cl->class_class_members[i]; + if (STRNCMP(name, m->ocm_name, len) == 0 && m->ocm_name[len] == NUL) + { + if (cl_ret != NULL) + *cl_ret = cl; + return i; + } + } + return -1; +} + +/* + * Return TRUE if current context "cctx_arg" is inside class "cl". + * Return FALSE if not. + */ + int +inside_class(cctx_T *cctx_arg, class_T *cl) +{ + for (cctx_T *cctx = cctx_arg; cctx != NULL; cctx = cctx->ctx_outer) + if (cctx->ctx_ufunc != NULL && cctx->ctx_ufunc->uf_class == cl) + return TRUE; + return FALSE; +} + +/* + * Make a copy of an object. + */ + void +copy_object(typval_T *from, typval_T *to) +{ + *to = *from; + if (to->vval.v_object != NULL) + ++to->vval.v_object->obj_refcount; +} + +/* + * Free an object. + */ + static void +object_clear(object_T *obj) +{ + // Avoid a recursive call, it can happen if "obj" has a circular reference. + obj->obj_refcount = INT_MAX; + + class_T *cl = obj->obj_class; + + // the member values are just after the object structure + typval_T *tv = (typval_T *)(obj + 1); + for (int i = 0; i < cl->class_obj_member_count; ++i) + clear_tv(tv + i); + + // Remove from the list headed by "first_object". + object_cleared(obj); + + vim_free(obj); + class_unref(cl); +} + +/* + * Unreference an object. + */ + void +object_unref(object_T *obj) +{ + if (obj != NULL && --obj->obj_refcount <= 0) + object_clear(obj); +} + +/* + * Make a copy of a class. + */ + void +copy_class(typval_T *from, typval_T *to) +{ + *to = *from; + if (to->vval.v_class != NULL) + ++to->vval.v_class->class_refcount; +} + +/* + * Unreference a class. Free it when the reference count goes down to zero. + */ + void +class_unref(class_T *cl) +{ + if (cl != NULL && --cl->class_refcount <= 0 && cl->class_name != NULL) + { + // Freeing what the class contains may recursively come back here. + // Clear "class_name" first, if it is NULL the class does not need to + // be freed. + VIM_CLEAR(cl->class_name); + + class_unref(cl->class_extends); + + for (int i = 0; i < cl->class_interface_count; ++i) + { + vim_free(((char_u **)cl->class_interfaces)[i]); + if (cl->class_interfaces_cl[i] != NULL) + class_unref(cl->class_interfaces_cl[i]); + } + vim_free(cl->class_interfaces); + vim_free(cl->class_interfaces_cl); + + itf2class_T *next; + for (itf2class_T *i2c = cl->class_itf2class; i2c != NULL; i2c = next) + { + next = i2c->i2c_next; + vim_free(i2c); + } + + for (int i = 0; i < cl->class_class_member_count; ++i) + { + ocmember_T *m = &cl->class_class_members[i]; + vim_free(m->ocm_name); + vim_free(m->ocm_init); + if (cl->class_members_tv != NULL) + clear_tv(&cl->class_members_tv[i]); + } + vim_free(cl->class_class_members); + vim_free(cl->class_members_tv); + + for (int i = 0; i < cl->class_obj_member_count; ++i) + { + ocmember_T *m = &cl->class_obj_members[i]; + vim_free(m->ocm_name); + vim_free(m->ocm_init); + } + vim_free(cl->class_obj_members); + + for (int i = 0; i < cl->class_class_function_count; ++i) + { + ufunc_T *uf = cl->class_class_functions[i]; + func_clear_free(uf, FALSE); + } + vim_free(cl->class_class_functions); + + for (int i = 0; i < cl->class_obj_method_count; ++i) + { + ufunc_T *uf = cl->class_obj_methods[i]; + func_clear_free(uf, FALSE); + } + vim_free(cl->class_obj_methods); + + clear_type_list(&cl->class_type_list); + + vim_free(cl); + } +} + +static object_T *first_object = NULL; + +/* + * Call this function when an object has been created. It will be added to the + * list headed by "first_object". + */ + void +object_created(object_T *obj) +{ + if (first_object != NULL) + { + obj->obj_next_used = first_object; + first_object->obj_prev_used = obj; + } + first_object = obj; +} + +static object_T *next_nonref_obj = NULL; + +/* + * Call this function when an object has been cleared and is about to be freed. + * It is removed from the list headed by "first_object". + */ + void +object_cleared(object_T *obj) +{ + if (obj->obj_next_used != NULL) + obj->obj_next_used->obj_prev_used = obj->obj_prev_used; + if (obj->obj_prev_used != NULL) + obj->obj_prev_used->obj_next_used = obj->obj_next_used; + else if (first_object == obj) + first_object = obj->obj_next_used; + + // update the next object to check if needed + if (obj == next_nonref_obj) + next_nonref_obj = obj->obj_next_used; +} + +/* + * Go through the list of all objects and free items without "copyID". + */ + int +object_free_nonref(int copyID) +{ + int did_free = FALSE; + + for (object_T *obj = first_object; obj != NULL; obj = next_nonref_obj) + { + next_nonref_obj = obj->obj_next_used; + if ((obj->obj_copyID & COPYID_MASK) != (copyID & COPYID_MASK)) + { + // Free the object and items it contains. + object_clear(obj); + did_free = TRUE; + } + } + + next_nonref_obj = NULL; + return did_free; +} + + +#endif // FEAT_EVAL