Python fresh_index примеры использования

Пример #1

Файл: values.py Проект: foones/lenguajes

 def __init__(self, prefix='x', **kwargs):
     Value.__init__(self)
     self.prefix = prefix
     self.index = common.fresh_index()
     self._indirection = None

Пример #2

Файл: values.py Проект: foones/lenguajes

 def __init__(self, prefix='x'):
     self.prefix = prefix
     self.index = common.fresh_index()

Пример #3

def fresh_variable(prefix='x', position=None):
    return Variable(name='{prefix}{index}.'.format(prefix=prefix,
                                                   index=common.fresh_index()),
                    position=position)

Пример #4

 def __init__(self, prefix='x', **kwargs):
     AST.__init__(self, ['prefix', 'index'],
                  prefix=prefix,
                  index=common.fresh_index(),
                  **kwargs)
     self._indirection = None

Пример #5

 def __init__(self, prefix='x'):
     Type.__init__(self, ['prefix', 'index'],
                   prefix=prefix,
                   index=common.fresh_index())
     self._indirection = None