| 
									
										
										
										
											2022-07-18 12:09:19 +02:00
										 |  |  | <?xml version="1.0" encoding="UTF-8" ?> | 
					
						
							|  |  |  | <class name="WorkerThreadPool" inherits="Object" version="4.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="../class.xsd"> | 
					
						
							|  |  |  | 	<brief_description> | 
					
						
							|  |  |  | 	</brief_description> | 
					
						
							|  |  |  | 	<description> | 
					
						
							|  |  |  | 	</description> | 
					
						
							|  |  |  | 	<tutorials> | 
					
						
							|  |  |  | 	</tutorials> | 
					
						
							|  |  |  | 	<methods> | 
					
						
							|  |  |  | 		<method name="add_group_task"> | 
					
						
							|  |  |  | 			<return type="int" /> | 
					
						
							| 
									
										
										
										
											2022-08-06 21:11:48 +03:00
										 |  |  | 			<param index="0" name="action" type="Callable" /> | 
					
						
							|  |  |  | 			<param index="1" name="elements" type="int" /> | 
					
						
							|  |  |  | 			<param index="2" name="tasks_needed" type="int" default="-1" /> | 
					
						
							|  |  |  | 			<param index="3" name="high_priority" type="bool" default="false" /> | 
					
						
							|  |  |  | 			<param index="4" name="description" type="String" default="""" /> | 
					
						
							| 
									
										
										
										
											2022-07-18 12:09:19 +02:00
										 |  |  | 			<description> | 
					
						
							|  |  |  | 			</description> | 
					
						
							|  |  |  | 		</method> | 
					
						
							|  |  |  | 		<method name="add_task"> | 
					
						
							|  |  |  | 			<return type="int" /> | 
					
						
							| 
									
										
										
										
											2022-08-06 21:11:48 +03:00
										 |  |  | 			<param index="0" name="action" type="Callable" /> | 
					
						
							|  |  |  | 			<param index="1" name="high_priority" type="bool" default="false" /> | 
					
						
							|  |  |  | 			<param index="2" name="description" type="String" default="""" /> | 
					
						
							| 
									
										
										
										
											2022-07-18 12:09:19 +02:00
										 |  |  | 			<description> | 
					
						
							|  |  |  | 			</description> | 
					
						
							|  |  |  | 		</method> | 
					
						
							| 
									
										
										
										
											2022-07-23 19:12:41 +02:00
										 |  |  | 		<method name="get_group_processed_element_count" qualifiers="const"> | 
					
						
							|  |  |  | 			<return type="int" /> | 
					
						
							| 
									
										
										
										
											2022-08-06 21:11:48 +03:00
										 |  |  | 			<param index="0" name="group_id" type="int" /> | 
					
						
							| 
									
										
										
										
											2022-07-23 19:12:41 +02:00
										 |  |  | 			<description> | 
					
						
							|  |  |  | 			</description> | 
					
						
							|  |  |  | 		</method> | 
					
						
							| 
									
										
										
										
											2022-07-18 12:09:19 +02:00
										 |  |  | 		<method name="is_group_task_completed" qualifiers="const"> | 
					
						
							|  |  |  | 			<return type="bool" /> | 
					
						
							| 
									
										
										
										
											2022-08-06 21:11:48 +03:00
										 |  |  | 			<param index="0" name="group_id" type="int" /> | 
					
						
							| 
									
										
										
										
											2022-07-18 12:09:19 +02:00
										 |  |  | 			<description> | 
					
						
							|  |  |  | 			</description> | 
					
						
							|  |  |  | 		</method> | 
					
						
							|  |  |  | 		<method name="is_task_completed" qualifiers="const"> | 
					
						
							|  |  |  | 			<return type="bool" /> | 
					
						
							| 
									
										
										
										
											2022-08-06 21:11:48 +03:00
										 |  |  | 			<param index="0" name="task_id" type="int" /> | 
					
						
							| 
									
										
										
										
											2022-07-18 12:09:19 +02:00
										 |  |  | 			<description> | 
					
						
							|  |  |  | 			</description> | 
					
						
							|  |  |  | 		</method> | 
					
						
							|  |  |  | 		<method name="wait_for_group_task_completion"> | 
					
						
							|  |  |  | 			<return type="void" /> | 
					
						
							| 
									
										
										
										
											2022-08-06 21:11:48 +03:00
										 |  |  | 			<param index="0" name="group_id" type="int" /> | 
					
						
							| 
									
										
										
										
											2022-07-18 12:09:19 +02:00
										 |  |  | 			<description> | 
					
						
							|  |  |  | 			</description> | 
					
						
							|  |  |  | 		</method> | 
					
						
							|  |  |  | 		<method name="wait_for_task_completion"> | 
					
						
							|  |  |  | 			<return type="void" /> | 
					
						
							| 
									
										
										
										
											2022-08-06 21:11:48 +03:00
										 |  |  | 			<param index="0" name="task_id" type="int" /> | 
					
						
							| 
									
										
										
										
											2022-07-18 12:09:19 +02:00
										 |  |  | 			<description> | 
					
						
							|  |  |  | 			</description> | 
					
						
							|  |  |  | 		</method> | 
					
						
							|  |  |  | 	</methods> | 
					
						
							|  |  |  | </class> |