Lines Matching defs:prev_s

731     def visit_environment_in_state(self, selector, title, s, prev_s=None):
733         prev_e = getattr(prev_s, selector) if prev_s is not None else None
753     def visit_store(self, s, prev_s=None):
772         if prev_s is not None:
773             clusters_removed, clusters_added, clusters_updated = s.diff_clusters(prev_s)
775                 for b in prev_s.clusters[c].bindings:
776                     dump_binding(prev_s, c, b, False)
779                     prev_s.clusters[c]
782                     dump_binding(prev_s, c, b, False)
795     def visit_store_in_state(self, s, prev_s=None):
797         prev_st = prev_s.store if prev_s is not None else None
843     def visit_generic_map_in_state(self, selector, title, s, prev_s=None):
845         prev_m = getattr(prev_s, selector) if prev_s is not None else None
900     def visit_checker_messages_in_state(self, s, prev_s=None):
902         prev_m = prev_s.checker_messages if prev_s is not None else None
923     def visit_state(self, s, prev_s):
924         self.visit_store_in_state(s, prev_s)
925         self.visit_environment_in_state("environment", "Expressions", s, prev_s)
926         self.visit_generic_map_in_state("constraints", "Ranges", s, prev_s)
927         self.visit_generic_map_in_state("dynamic_types", "Dynamic Types", s, prev_s)
929             "constructing_objects", "Objects Under Construction", s, prev_s
932             "index_of_element", "Indices Of Elements Under Construction", s, prev_s
935             "pending_init_loops", "Pending Array Init Loop Expressions", s, prev_s
938             "pending_destructors", "Indices of Elements Under Destruction", s, prev_s
940         self.visit_checker_messages_in_state(s, prev_s)
970             prev_s = None
979                 prev_s = self._graph.nodes[node.predecessors[0]].state
980             self.visit_state(node.state, prev_s)