Commit f48d77ec authored by Xavier Thompson's avatar Xavier Thompson

Dispatch cypclass static methods correctly

parent a07348f0
......@@ -1042,7 +1042,12 @@ class ModuleNode(Nodes.Node, Nodes.BlockNode):
continue
elif attr.type.is_cyp_class:
cname = "%s = NULL" % cname
code.putln("%s;" % attr.type.declaration_code(cname))
if type.is_cyp_class and attr.type.is_cfunction and attr.type.is_static_method and attr.static_cname is not None:
code.putln("%s;" % attr.type.declaration_code(attr.static_cname))
self.generate_cyp_class_static_method_resolution(attr, code)
else:
code.putln("%s;" % attr.type.declaration_code(cname))
is_implementing = 'init_module' in code.globalstate.parts
for reified in scope.reifying_entries:
......@@ -1168,9 +1173,10 @@ class ModuleNode(Nodes.Node, Nodes.BlockNode):
if e.is_cfunction
and e.from_type
and e.mro_index > 0
and e.from_type.is_cyp_class # avoid dealing with methods inherited from non-cypclass bases for now
and not e.type.is_static_method # avoid dealing with static methods for now
and e.from_type.is_cyp_class # avoid dealing with methods inherited from non-cypclass bases for now
and e.name not in ("<init>", "<del>")
and (not e.type.is_static_method
or e.static_cname is not None) # mro-resolve the virtual methods used to dispatch static methods
and not e.type.has_varargs # avoid dealing with varargs for now (is this ever required anyway ?)
]
if inherited_methods:
......@@ -1199,6 +1205,32 @@ class ModuleNode(Nodes.Node, Nodes.BlockNode):
if inherited_methods:
code.putln("")
def generate_cyp_class_static_method_resolution(self, static_method, code):
"""
Generate a virtual method in cypclass that just forward calls to associated static method.
The virtual version will serve to correctly dispatch static methods.
"""
func_type = static_method.type
modifiers = code.build_function_modifiers(static_method.func_modifiers)
arg_names = ["%s_%d" % (arg.cname, i) for i, arg in enumerate(func_type.args)]
arg_decls = [arg.type.declaration_code(arg_name) for arg, arg_name in zip(func_type.args, arg_names)]
if func_type.optional_arg_count:
opt_name = Naming.optional_args_cname
arg_decls.append(func_type.op_arg_struct.declaration_code(opt_name))
arg_names.append(opt_name)
header = func_type.function_header_code(static_method.cname, ", ".join(arg_decls))
if not static_method.name.startswith("operator "):
header = func_type.return_type.declaration_code(header)
return_code = "" if func_type.return_type.is_void else "return "
body = "%s%s(%s);" % (return_code, static_method.static_cname, ", ".join(arg_names))
code.putln("virtual %s%s {%s}" % (modifiers, header, body))
def generate_enum_definition(self, entry, code):
code.mark_pos(entry.pos)
type = entry.type
......
......@@ -169,10 +169,6 @@ api_name = pyrex_prefix + "capi__"
# cname for the type that defines the essential memory layout of a cypclass wrapper.
cypclass_wrapper_layout_type = "CyPyObject"
# cname for the underlying cypclass attribute in the memory layout of a cypclass wrapper.
cypclass_wrapper_underlying_attr = "nogil_cyobject"
# the h and api guards get changed to:
# __PYX_HAVE__FILENAME (for ascii filenames)
# __PYX_HAVE_U_PUNYCODEFILENAME (for non-ascii filenames)
......
......@@ -176,6 +176,8 @@ class Entry(object):
# defining_classes [CypClassType or CppClassType or CStructOrUnionType]
# All the base classes that define an entry that this entry
# overrides, if this entry represents a cypclass method
#
# static_cname string The cname of a static method in a cypclass
# TODO: utility_code and utility_code_definition serves the same purpose...
......@@ -254,6 +256,7 @@ class Entry(object):
is_default = False
mro_index = 0
from_type = None
static_cname = None
def __init__(self, name, cname, type, pos = None, init = None):
self.name = name
......@@ -2827,6 +2830,8 @@ class CppClassScope(Scope):
cname = None, visibility = 'extern',
api = 0, in_pxd = 0, is_cdef = 0, defining = 0):
# Add an entry for an attribute.
if name.startswith(Naming.func_prefix):
error(pos, "Names starting with %s are reserved inside cppclass and cypclass" % Naming.func_prefix)
if not cname:
cname = name
entry = self.lookup_here(name)
......@@ -2846,6 +2851,9 @@ class CppClassScope(Scope):
entry.is_cfunction = type.is_cfunction
if type.is_cfunction and self.type:
if not self.type.get_fused_types():
if (self.parent_type.is_cyp_class and type.is_static_method and name not in ("<alloc>", "__new__")):
cname = "%s__static__%s" % (Naming.func_prefix, cname)
entry.static_cname = cname
entry.func_cname = "%s::%s" % (self.type.empty_declaration_code(), cname)
if name != "this" and (defining or name != "<init>" or self.parent_type.is_cyp_class):
self.var_entries.append(entry)
......@@ -3126,6 +3134,7 @@ class CppClassScope(Scope):
entry.is_cfunction = base_entry.is_cfunction
if entry.is_cfunction:
entry.func_cname = base_entry.func_cname
entry.static_cname = base_entry.static_cname
for base_entry in base_scope.type_entries:
if base_entry.name not in base_templates:
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment