Python get 예제들

예제 #1

 def __init__(self, name1, name2, **kwargs):
     super(SameParamCase, self).__init__(
         '{0}/{1} ({2})'.format(
             name1, name2,
             ' '.join('{0}={1}'.format(k, v) for k, v in kwargs.items())),
         specs.get(name1).mcrl2(**kwargs),
         specs.get(name2).mcrl2(**kwargs))

예제 #2

파일: __init__.py 프로젝트: tue-mdse/mcrl2-performance

 def __init__(self, name, **kwargs):
   Case.__init__(self, name, **kwargs)
   spec = specs.get(name)
   self._mcrl2 = spec.mcrl2(**kwargs)
   self._lps = None
   self.proppaths = []
   self.proppaths += [os.path.join(os.path.split(__file__)[0], 'properties')]
   self.proppaths += [os.path.join(os.path.split(__file__)[0], 'properties', spec.TEMPLATE)]

예제 #3

파일: __init__.py 프로젝트: jkeiren/pbesstategraph-experiments

 def __init__(self, name, **kwargs):
   TempObj.__init__(self)
   spec = specs.get(name)
   self.__name = name
   self.__kwargs = kwargs
   self._mcrl2 = spec.mcrl2(**kwargs)
   self._temppath = os.path.join(os.path.split(__file__)[0], 'temp')
   self._prefix = '{0}{1}'.format(self.__name, ('_'.join('{0}={1}'.format(k,v) for k,v in self.__kwargs.items())))
   self.proppath = os.path.join(os.path.split(__file__)[0], 'properties', spec.TEMPLATE)
   self.result = {}

예제 #4

파일: __init__.py 프로젝트: tue-mdse/mcrl2-performance

 def __init__(self, name, **kwargs):
     Case.__init__(self, name, **kwargs)
     spec = specs.get(name)
     self._mcrl2 = spec.mcrl2(**kwargs)
     self._lps = None
     self.proppaths = []
     self.proppaths += [
         os.path.join(os.path.split(__file__)[0], 'properties')
     ]
     self.proppaths += [
         os.path.join(
             os.path.split(__file__)[0], 'properties', spec.TEMPLATE)
     ]

예제 #5

파일: __init__.py 프로젝트: gijskant/paritygame-generator

 def __init__(self, name, **kwargs):
     TempObj.__init__(self)
     spec = specs.get(name)
     self.__name = name
     self.__kwargs = kwargs
     self._mcrl2 = spec.mcrl2(**kwargs)
     self._outpath = os.path.join(os.path.split(__file__)[0], 'data')
     self._temppath = os.path.join(os.path.split(__file__)[0], 'temp')
     self._prefix = '{0}{1}'.format(
         self.__name, ('_'.join('{0}={1}'.format(k, v)
                                for k, v in self.__kwargs.items())))
     self.proppath = os.path.join(
         os.path.split(__file__)[0], 'properties', spec.TEMPLATE)
     self.result = {}
     self.result['case'] = str(self)
     self.result['properties'] = []

예제 #6

파일: __init__.py 프로젝트: gijskant/paritygame-generator

 def __init__(self, name1, name2, **kwargs):
   super(SameParamCase, self).__init__(
     '{0}/{1} ({2})'.format(name1, name2, ' '.join('{0}={1}'.format(k,v) for k,v in kwargs.items())),
     specs.get(name1).mcrl2(**kwargs),
     specs.get(name2).mcrl2(**kwargs))