Searched refs:headerInstance (Results 1 – 3 of 3) sorted by relevance
319 def serializeExtract(self, serializer, headerInstance, program): argument321 assert isinstance(headerInstance, p4_header_instance)324 if ebpfProgram.EbpfProgram.isArrayElementInstance(headerInstance):325 ebpfStack = program.getStackInstance(headerInstance.base_name)341 if isinstance(headerInstance.index, int):342 index = "[" + str(headerInstance.index) + "]"343 elif headerInstance.index is P4_NEXT:348 headerInstance.index)351 ebpfHeader = program.getHeaderInstance(headerInstance.name)360 self.serializeFieldExtract(serializer, headerInstance.base_name,[all …]
136 def isArrayElementInstance(headerInstance): argument137 assert isinstance(headerInstance, p4_header_instance)138 return headerInstance.max_index is not None
99 index = "[" + str(headerInstance.index) + "]"