Python find_var_nodes Examples

Example #1

File: test_helpers.py Project: hhu-stups/pyB

 def test_varName_complex2(self):
     string_to_file("#PREDICATE y=f(g(x)(z))", file_name)
     ast_string = file_to_AST_str(file_name)
     root = str_ast_to_python_ast(ast_string)
 
     idNodes = find_var_nodes(root)
     var_list = [n.idName for n in idNodes]
     assert set(var_list)==set(['f','g','x','y','z'])          

Example #2

File: test_helpers.py Project: hhu-stups/pyB

 def test_varName_simple2(self):
     string_to_file("#PREDICATE x<4 & x<42", file_name)
     ast_string = file_to_AST_str(file_name)
     root = str_ast_to_python_ast(ast_string)
 
     idNodes = find_var_nodes(root)
     var_list = [n.idName for n in idNodes]
     assert var_list==['x']