Python type_ref Examples

Example #1

File: type_arg.py Project: andrei8055/p4-compiler-fuzzer

 def randomize(self):
     self.type = randomizer.getRandom(self.probabilities)
     if self.type == 0:
         self.value = dontcare_literal()
     elif self.type == 1:
         from type_ref import type_ref
         self.value = type_ref()
     self.value.randomize()

Example #2

File: type_or_void.py Project: andrei8055/p4-compiler-fuzzer

 def randomize(self):
     self.type = randomizer.getRandom(self.probabilities)
     if self.type == 0:
         self.value = type_ref()
     elif self.type == 1:
         self.value = void()
     elif self.type == 2:
         self.value = non_type_name(None)
     self.value.randomize()

Example #3

File: instantiation.py Project: andrei8055/p4-compiler-fuzzer

 def randomize(self):
     common.usedRandomize()
     self.opt_annotations = opt_annotations()
     self.opt_annotations.randomize()
     self.name = name()
     self.name.randomize()
     self.type_ref = type_ref()
     self.type_ref.randomize()
     self.argument_list = argument_list()
     self.argument_list.randomize()

Example #4

	def randomize(self):
		common.usedRandomize()
		while True:
			self.type_ref = type_ref(force_type=0)
			self.type_ref.randomize()
			available_variables = scope.get_available_variables(only_types=self.type_ref.get_ref_type())
			if len(available_variables):
				self.lvalue = available_variables.keys()[randomizer.randint(0, len(available_variables) - 1)]
				self.expression = self.type_ref.value.generate_literal()
				if not self.filter():
					break

Example #5

 def randomize(self):
     common.usedRandomize()
     while True:
         self.opt_annotations = opt_annotations()
         self.opt_annotations.randomize()
         self.type_ref = type_ref(force_type=0)
         self.type_ref.randomize()
         self.name = name()
         self.name.randomize()
         self.initializer = self.type_ref.value.generate_literal()
         if not self.filter():
             break

Example #6

 def randomize(self):
     while True:
         self.opt_annotations = opt_annotations()
         self.opt_annotations.randomize()
         self.type_ref = type_ref()
         self.type_ref.randomize()
         self.name = name()
         self.name.randomize()
         if not self.filter():
             break
     scope.insert_variable(self.name.generate_code(),
                           self.type_ref.get_ref_type(), self)

Example #7

File: parameter.py Project: andrei8055/p4-compiler-fuzzer

	def randomize(self):
		while True:
			self.opt_annotations = opt_annotations()
			self.opt_annotations.randomize()
			self.direction = direction()
			self.direction.randomize()
			self.type_ref = type_ref()
			self.type_ref.randomize()
			self.name = name()
			self.name.randomize()
			if not self.filter():
				break

Example #8

File: variable_declaration.py Project: andrei8055/p4-compiler-fuzzer

 def randomize(self):
     common.usedRandomize()
     while True:
         self.annotations = annotations()
         self.annotations.randomize()
         self.type_ref = type_ref()
         self.type_ref.randomize()
         self.name = name()
         self.name.randomize()
         self.opt_initializer = opt_initializer()
         self.opt_initializer.randomize()
         if not self.filter():
             break

Example #9

File: extern_variable_creation.py Project: andrei8055/p4-compiler-fuzzer

	def randomize(self):
		available_externs = scope.get_available_types(only_type="extern")
		while True:
			self.extern_name = available_externs.keys()[randomizer.randint(0, len(available_externs)-1)]
			self.non_type_name = non_type_name()
			self.non_type_name.randomize()
			specializations = available_externs[self.extern_name]["specializations"]
			for x in range(0, specializations):
				while True:
					_type_ref = type_ref()
					_type_ref.randomize()
					if not self.specialization_filter(_type_ref):
						break
				self.specializations_refs.append(_type_ref)
			if not self.filter():
				break
		scope.insert_variable(self.non_type_name.generate_code(), "extern_variable", self)

Example #10

 def randomize(self):
     self.type = randomizer.getRandom(self.probabilities)
     if self.type == 0:
         available_types = scope.get_available_types()
         from type_ref import type_ref
         if len(available_types):
             rnd = randomizer.randint(0, len(available_types) - 1)
             rnd_key = available_types.keys()[rnd]
             specializations = available_types[rnd_key]["specializations"]
             self.value = {rnd_key: available_types[rnd_key]}
             for x in range(0, specializations):
                 while True:
                     _type_ref = type_ref()
                     _type_ref.randomize()
                     if not self.specialization_filter(_type_ref):
                         break
                 self.specializations_refs.append(_type_ref)
     elif self.type == 1:
         self.prefix = dot_prefix()
         # TODO:
         self.value = None