Ejemplos de copy_attributes_ast en Python

Ejemplo n.º 1

 def assert_to_assume(self):
     res = AssumeAction(*self.args)
     ivy_ast.copy_attributes_ast(self,res)
     if hasattr(self,'formal_params'):
         res.formal_params = self.formal_params
     if hasattr(self,'formal_returns'):
         res.formal_returns = self.formal_returns
     return res

Ejemplo n.º 2

Archivo: ivy_actions.py Proyecto: juanmaneo/ivy

 def assert_to_assume(self):
     res = AssumeAction(*self.args)
     ivy_ast.copy_attributes_ast(self,res)
     if hasattr(self,'formal_params'):
         res.formal_params = self.formal_params
     if hasattr(self,'formal_returns'):
         res.formal_returns = self.formal_returns
     return res

Ejemplo n.º 3

Archivo: ivy_actions.py Proyecto: JJTRX/ivy

 def assert_to_assume(self):
     res = AssumeAction(*self.args)
     ivy_ast.copy_attributes_ast(self, res)
     return res

Ejemplo n.º 4

Archivo: ivy_actions.py Proyecto: JJTRX/ivy

 def assert_to_assume(self):
     res = AssumeAction(*self.args)
     ivy_ast.copy_attributes_ast(self, res)
     return res