ControlFlow.DotVisitor Class Reference

Inheritance diagram for ControlFlow.DotVisitor:

Collaboration diagram for ControlFlow.DotVisitor:

Public Member Functions
def	__init__ (self)
def	enter (self, visitee)
def	leave (self, visitee)
def	collapse_identical_ancestors (self, thetype)
def	is_needed (self, visitee)
def	write (self, filename)

Public Attributes
	nodes
	edges
	number
	stack
	ids

Detailed Description

Definition at line 249 of file ControlFlow.py.

Constructor & Destructor Documentation

__init__()

def ControlFlow.DotVisitor.__init__

(

self

)

Definition at line 250 of file ControlFlow.py.

    def __init__(self):
        self.nodes = []
        self.edges = []
        self.number = 0
        self.stack = []
        self.ids = {}
 

Member Function Documentation

collapse_identical_ancestors()

def ControlFlow.DotVisitor.collapse_identical_ancestors	(		self,
			thetype
	)

If AND nodes are inside AND nodes, the graph could be simplified
to not contain those (same true for OR and ordered)

Definition at line 292 of file ControlFlow.py.

    def collapse_identical_ancestors(self, thetype):
        """
        If AND nodes are inside AND nodes, the graph could be simplified
        to not contain those (same true for OR and ordered)
        """
        if len(self.stack) != 0:
            mother = self.stack[-1][1]
            for entry in self.stack[::-1]:
                if not isinstance(entry[0], thetype):
                    break
                mother = entry[1]
            return mother
        return None
 

enter()

def ControlFlow.DotVisitor.enter	(		self,
			visitee
	)

Definition at line 257 of file ControlFlow.py.

    def enter(self, visitee):
        if visitee not in self.ids:
            self.number += 1
            dot_id = self.ids[visitee] = "T%s" % self.number
        dot_id = self.ids[visitee]
        mother = None
        if self.is_needed(visitee):
            if isinstance(visitee, ControlFlowLeaf):
                entry = '%s [label="%s", shape=box]' % (dot_id, visitee.name())
            elif isinstance(visitee, OrNode):
                entry = '%s [label="OR", shape=invhouse]' % dot_id
            elif isinstance(visitee, AndNode):
                entry = '%s [label="AND", shape=invhouse]' % dot_id
            elif isinstance(visitee, OrderedNode):
                entry = '%s [label=">>", shape=point]' % dot_id
            elif isinstance(visitee, InvertNode):
                entry = '%s [label="NOT", shape=circle, color=red]' % dot_id
            elif isinstance(visitee, par):
                entry = '%s [label="PAR", shape=circle]' % dot_id
            elif isinstance(visitee, seq):
                entry = '%s [label="SEQ", shape=circle]' % dot_id
            else:
                entry = '%s [label="%s", shape=circle]' % (dot_id, type(visitee))
            self.nodes.append(entry)
            if len(self.stack) != 0:
                mother = self.collapse_identical_ancestors(type(self.stack[-1][0]))
                if not mother:
                    mother = self.stack[-1][1]
                edge = "%s->%s" % (dot_id, mother)
                self.edges.append(edge)
        self.stack.append((visitee, dot_id))
 

is_needed()

def ControlFlow.DotVisitor.is_needed	(		self,
			visitee
	)

Check whether this node is actually needed

Definition at line 306 of file ControlFlow.py.

    def is_needed(self, visitee):
        """
        Check whether this node is actually needed
        """
        if len(self.stack) != 0:
            return not isinstance(visitee, type(self.stack[-1][0]))
        return True
 

leave()

def ControlFlow.DotVisitor.leave	(		self,
			visitee
	)

Definition at line 289 of file ControlFlow.py.

    def leave(self, visitee):
        self.stack.pop()
 

write()

def ControlFlow.DotVisitor.write	(		self,
			filename
	)

Definition at line 314 of file ControlFlow.py.

    def write(self, filename):
        output = """
digraph graphname {
rankdir=LR
 
%s
 
%s
 
}
""" % (
            "\n".join(self.nodes),
            "\n".join(self.edges),
        )
 
        with open(filename, "w") as outfile:
            outfile.write(output)
 
 

Member Data Documentation

edges

ControlFlow.DotVisitor.edges

Definition at line 252 of file ControlFlow.py.

ids

ControlFlow.DotVisitor.ids

Definition at line 255 of file ControlFlow.py.

nodes

ControlFlow.DotVisitor.nodes

Definition at line 251 of file ControlFlow.py.

number

ControlFlow.DotVisitor.number

Definition at line 253 of file ControlFlow.py.

stack

ControlFlow.DotVisitor.stack

Definition at line 254 of file ControlFlow.py.

---

The documentation for this class was generated from the following file:

• GaudiKernel/python/GaudiConfig/ControlFlow.py