← Back to branch summary

~boegholm/pyuppaal/780495-fix

« back to all changes in this revision

Viewing changes to pyuppaal/pyuppaal.py

  • Committer: Mads Chr. Olesen
  • Date: 2011-04-07 15:48:41 UTC
  • mfrom: (88.1.5 tga_pyuppaal)
  • Revision ID: launchpad@shiyee.dk-20110407154841-zmdoxcsvqmm2vmmv
Merge Peter's timed game automata branch

Show diffs side-by-side

added added

removed removed

Lines of Context:
pyuppaal/pyuppaal.py
353
353
            transition = Transition(
354
354
                locations[transitionxml.find('source').get('ref')],
355
355
                locations[transitionxml.find('target').get('ref')],
356
 
                )
 
356
                )            
 
357
            transition.controllable = ('controllable', 'false') not in transitionxml.items()
 
358
            if 'action' in transitionxml.keys():
 
359
                l = [s[1] for s in transitionxml.items() if s[0] == 'action']
 
360
                transition.action = l[0]
 
361
            else:
 
362
                transition.action = None
357
363
            for labelxml in transitionxml.getiterator("label"):
358
364
                if labelxml.get('kind') in ['select', 'guard', 'assignment', 
359
365
                                            'synchronisation']: