Package org.basex.core.jobs

Class JobPool

java.lang.Object

org.basex.core.jobs.JobPool

public final class JobPool
extends Object

Job pool.

Author:

BaseX Team 2005-21, BSD License, Christian Gruen

Field Summary

Fields

Modifier and Type	Field	Description
final Map<String,Job>	active	Queued or running jobs.
final Map<String,QueryJobResult>	results	Cached results.
final Map<String,QueryJobTask>	tasks	Timer tasks.

Constructor Summary

Constructors

Constructor	Description
JobPool(StaticOptions sopts)	Constructor.

Method Summary

Modifier and Type	Method	Description
void	close()	Stops all jobs before closing the application.
void	register(Job job)	Registers a job (puts it on a queue).
void	scheduleResult(Job job)	Discards a result after the timeout.
void	unregister(Job job)	Unregisters a job.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

active

public final Map<String,Job> active

Queued or running jobs.

results

public final Map<String,QueryJobResult> results

Cached results.

tasks

public final Map<String,QueryJobTask> tasks

Timer tasks.

Constructor Details

JobPool

public JobPool(StaticOptions sopts)

Constructor.

Parameters:

sopts - static options

Method Details

register

public void register(Job job)

Registers a job (puts it on a queue).

Parameters:

job - job

unregister

public void unregister(Job job)

Unregisters a job.

Parameters:

job - job

close

public void close()

Stops all jobs before closing the application.

scheduleResult

public void scheduleResult(Job job)

Discards a result after the timeout.

Parameters:

job - job