Python get_single_instanceの例

コード例 #1

ファイル: productions.py プロジェクト: javawizard/everything

 def evaluate(self, static, dynamic, local):
     value = utils.get_single(self.value.evaluate(static, dynamic, local))
     reference = utils.get_single(self.reference.evaluate(static, dynamic, local))
     if isinstance(self.position, Production):
         position = self.position.evaluate(static, dynamic, local)
         position = utils.get_single_instance(position, d.Number).get_as_int()
     else:
         position = self.position
     return utils.singleton(d.StandardInsert(value, reference, position))

コード例 #2

ファイル: prelude.py プロジェクト: javawizard/everything

def print_(dynamic, value):
    print utils.get_single_instance(value, d.String).get_value()

コード例 #3

ファイル: prelude.py プロジェクト: javawizard/everything

def position(dynamic, check=None):
    if check is None:
        return utils.create_number(dynamic.context_position)
    return utils.create_boolean(
            utils.get_single_instance(check, d.Number).get_as_int() == dynamic.context_position)

コード例 #4

ファイル: data.py プロジェクト: javawizard/everything

 def get_for_indexer(self, value):
     index = utils.get_single_instance(value, Number).get_as_int()
     this_value = self.get_value()
     if index < 0 or index >= len(this_value):
         return EmptySequence() # or raise an exception? Check on XQuery's behavior for this
     return StandardSequence([StandardString(this_value[index])])