def _treat_indexing_suite(self): def create_explanation(cls): msg = '//WARNING: the next line of code will not compile, because "%s" does not have operator== !' msg = msg % cls.indexing_suite.element_type.decl_string return code_creators.custom_text_t(msg, False) def create_cls_cc(cls): if isinstance(cls, declarations.class_t): return code_creators.class_t(class_inst=cls) else: return code_creators.class_declaration_t(class_inst=cls) if not self.__types_db.used_containers: return creators = [] created_value_traits = set() for cls in self.__get_exposed_containers(): self.__print_readme(cls) cls_creator = create_cls_cc(cls) self.__dependencies_manager.add_exported(cls) creators.append(cls_creator) try: element_type = cls.indexing_suite.element_type except: element_type = None if isinstance(cls.indexing_suite, decl_wrappers.indexing_suite1_t): if not ( None is element_type ) \ and declarations.is_class( element_type ) \ and not declarations.has_public_equal( element_type ): cls_creator.adopt_creator(create_explanation(cls)) cls_creator.adopt_creator(code_creators.indexing_suite1_t(cls)) else: class_traits = declarations.class_traits if not (None is element_type) and class_traits.is_my_case( element_type): value_cls = class_traits.get_declaration(element_type) has_prerequisits = value_cls.less_than_comparable \ and value_cls.equality_comparable if (not has_prerequisits) and ( value_cls not in created_value_traits): created_value_traits.add(value_cls) element_type_cc = code_creators.value_traits_t( value_cls) self.__extmodule.adopt_declaration_creator( element_type_cc) cls_creator.adopt_creator(code_creators.indexing_suite2_t(cls)) scfo = self.__std_containers_free_operators if cls in scfo: for operator in scfo[cls]: self.__dependencies_manager.add_exported(operator) cls_creator.adopt_creator( code_creators.operator_t(operator=operator)) creators.reverse() self.__module_body.adopt_creators(creators, 0)
def visit_member_operator( self ): if self.curr_decl.symbol in ( '()', '[]', '=' ): self.visit_member_function() else: self.__types_db.update( self.curr_decl ) maker = code_creators.operator_t( operator=self.curr_decl ) self.curr_code_creator.adopt_creator( maker ) self.__dependencies_manager.add_exported( self.curr_decl )
def _treat_indexing_suite(self): def create_explanation(cls): msg = '//WARNING: the next line of code will not compile, because "%s" does not have operator== !' msg = msg % cls.indexing_suite.element_type.decl_string return code_creators.custom_text_t(msg, False) def create_cls_cc(cls): if isinstance(cls, declarations.class_t): return code_creators.class_t(class_inst=cls) else: return code_creators.class_declaration_t(class_inst=cls) if not self.__types_db.used_containers: return creators = [] created_value_traits = set() for cls in self.__get_exposed_containers(): self.__print_readme(cls) cls_creator = create_cls_cc(cls) self.__dependencies_manager.add_exported(cls) creators.append(cls_creator) try: element_type = cls.indexing_suite.element_type except: element_type = None if isinstance(cls.indexing_suite, decl_wrappers.indexing_suite1_t): if ( not (None is element_type) and declarations.is_class(element_type) and not declarations.has_public_equal(element_type) ): cls_creator.adopt_creator(create_explanation(cls)) cls_creator.adopt_creator(code_creators.indexing_suite1_t(cls)) else: class_traits = declarations.class_traits if not (None is element_type) and class_traits.is_my_case(element_type): value_cls = class_traits.get_declaration(element_type) has_prerequisits = value_cls.less_than_comparable and value_cls.equality_comparable if (not has_prerequisits) and (value_cls not in created_value_traits): created_value_traits.add(value_cls) element_type_cc = code_creators.value_traits_t(value_cls) self.__extmodule.adopt_declaration_creator(element_type_cc) cls_creator.adopt_creator(code_creators.indexing_suite2_t(cls)) scfo = self.__std_containers_free_operators if cls in scfo: for operator in scfo[cls]: self.__dependencies_manager.add_exported(operator) cls_creator.adopt_creator(code_creators.operator_t(operator=operator)) creators.reverse() self.__module_body.adopt_creators(creators, 0)
def adopt_operator_impl( operator, found_creators ): creator = [creator for creator in found_creators if isinstance( creator, code_creators.class_t )] if len(creator) == 1: creator = creator[0] #I think I don't need this condition any more if not find( lambda creator: isinstance( creator, code_creators.declaration_based_t ) and operator is creator.declaration , creator.creators ): #expose operator only once self.__dependencies_manager.add_exported( operator ) creator.adopt_creator( code_creators.operator_t( operator=operator ) ) elif not creator: pass else: assert not "Found %d class code creators" % len(creator)