本文整理汇总了Python中incoq.compiler.incast.L.set_update_name方法的典型用法代码示例。如果您正苦于以下问题：Python L.set_update_name方法的具体用法？Python L.set_update_name怎么用？Python L.set_update_name使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类incoq.compiler.incast.L的用法示例。
在下文中一共展示了L.set_update_name方法的4个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: visit_RelUpdate
# 需要导入模块: from incoq.compiler.incast import L [as 别名]
# 或者: from incoq.compiler.incast.L import set_update_name [as 别名]
def visit_RelUpdate(self, node):
if not isinstance(node.op, (L.SetAdd, L.SetRemove)):
return node
if node.rel not in self.rels:
return node
op_name = L.set_update_name(node.op)
func_name = N.get_maint_func_name(self.result_var, node.rel, op_name)
code = (node,)
call_code = (L.Expr(L.Call(func_name, [L.Name(node.elem)])),)
code = L.insert_rel_maint(code, call_code, node.op)
return code示例2: make_comp_maint_func
# 需要导入模块: from incoq.compiler.incast import L [as 别名]
# 或者: from incoq.compiler.incast.L import set_update_name [as 别名]
def make_comp_maint_func(clausetools, fresh_var_prefix, fresh_join_names,
comp, result_var, rel, op, *,
counted):
"""Make maintenance function for a comprehension."""
assert isinstance(op, (L.SetAdd, L.SetRemove))
op_name = L.set_update_name(op)
func_name = N.get_maint_func_name(result_var, rel, op_name)
update = L.RelUpdate(rel, op, '_elem')
code = clausetools.get_maint_code(fresh_var_prefix, fresh_join_names,
comp, result_var, update,
counted=counted)
func = L.Parser.ps('''
def _FUNC(_elem):
_CODE
''', subst={'_FUNC': func_name,
'<c>_CODE': code})
return func示例3: get_maint_func_name
# 需要导入模块: from incoq.compiler.incast import L [as 别名]
# 或者: from incoq.compiler.incast.L import set_update_name [as 别名]
def get_maint_func_name(self, op):
op_name = L.set_update_name(op)
return N.get_maint_func_name(self.rel, self.oper, op_name)示例4: get_restr_maint_func_name
# 需要导入模块: from incoq.compiler.incast import L [as 别名]
# 或者: from incoq.compiler.incast.L import set_update_name [as 别名]
def get_restr_maint_func_name(self, op):
assert self.uses_demand
op_name = L.set_update_name(op)
return N.get_maint_func_name(self.map, self.restr, op_name)