Python free_node Examples

Example #1

    def test_set(self):
        test = parse_next_expression("{a, b, c}")
        test = find_hierarchy(test)
        nsnode.free_node(test)

        print("UNION:", nsparser.UNION)
        print("ATOM:", nsparser.ATOM)
        self.show_types(test)

Example #2

File: testParser.py Project: ancailliau/pynusmv

 def test_set(self):
     test = parse_next_expression("{a, b, c}")
     test = find_hierarchy(test)
     nsnode.free_node(test)
     
     print("UNION:", nsparser.UNION)
     print("ATOM:", nsparser.ATOM)
     self.show_types(test)

Example #3

    def test_equal_expressions(self):
        test = parse_next_expression("test.r")
        test = find_hierarchy(test)
        nsnode.free_node(test)
        same = parse_next_expression("test.r")
        same = find_hierarchy(same)
        nsnode.free_node(same)
        other = parse_next_expression("testx.rx")
        other = find_hierarchy(other)
        nsnode.free_node(other)

        self.assertTrue(nsnode.node_equal(test, same) != 0)
        self.assertTrue(nsnode.node_equal(test, other) == 0)

Example #4

File: testParser.py Project: ancailliau/pynusmv

 def test_equal_expressions(self):
     test = parse_next_expression("test.r")
     test = find_hierarchy(test)
     nsnode.free_node(test)
     same = parse_next_expression("test.r")
     same = find_hierarchy(same)
     nsnode.free_node(same)
     other = parse_next_expression("testx.rx")
     other = find_hierarchy(other)
     nsnode.free_node(other)
     
     self.assertTrue(nsnode.node_equal(test, same) != 0)
     self.assertTrue(nsnode.node_equal(test, other) == 0)