equal
deleted
inserted
replaced
185 def __init__(self, req): |
185 def __init__(self, req): |
186 self._ = req._ |
186 self._ = req._ |
187 |
187 |
188 def node_properties(self, stateortransition): |
188 def node_properties(self, stateortransition): |
189 """return default DOT drawing options for a state or transition""" |
189 """return default DOT drawing options for a state or transition""" |
190 props = {'label': stateortransition.name, |
190 props = {'label': stateortransition.printable_value('name'), |
191 'fontname': 'Courier'} |
191 'fontname': 'Courier'} |
192 if hasattr(stateortransition, 'state_of'): |
192 if hasattr(stateortransition, 'state_of'): |
193 props['shape'] = 'box' |
193 props['shape'] = 'box' |
194 props['style'] = 'filled' |
194 props['style'] = 'filled' |
195 if stateortransition.reverse_initial_state: |
195 if stateortransition.reverse_initial_state: |