equal
deleted
inserted
replaced
396 props['style'] = 'filled' |
396 props['style'] = 'filled' |
397 if stateortransition.reverse_initial_state: |
397 if stateortransition.reverse_initial_state: |
398 props['fillcolor'] = '#88CC88' |
398 props['fillcolor'] = '#88CC88' |
399 else: |
399 else: |
400 props['shape'] = 'ellipse' |
400 props['shape'] = 'ellipse' |
401 descr = [] |
|
402 tr = stateortransition |
|
403 if descr: |
|
404 props['label'] += escape('\n'.join(descr)) |
|
405 return props |
401 return props |
406 |
402 |
407 |
403 |
408 class WorkflowVisitor(object): |
404 class WorkflowVisitor(object): |
409 def __init__(self, entity): |
405 def __init__(self, entity): |