Uses of Interface
org.jline.shell.JobManager
Packages that use JobManager
Package
Description
Clean shell API for building interactive command-line applications with JLine.
Default implementations of the shell API interfaces.
-
Uses of JobManager in org.jline.shell
Methods in org.jline.shell with parameters of type JobManagerModifier and TypeMethodDescriptionShellBuilder.jobManager(JobManager jobManager) Sets the job manager for the shell. -
Uses of JobManager in org.jline.shell.impl
Classes in org.jline.shell.impl that implement JobManagerConstructors in org.jline.shell.impl with parameters of type JobManagerModifierConstructorDescriptionDefaultCommandDispatcher(Terminal terminal, JobManager jobManager) Creates a new dispatcher for the given terminal with optional job management.DefaultCommandDispatcher(Terminal terminal, JobManager jobManager, PipelineParser pipelineParser, AliasManager aliasManager) Creates a new dispatcher with all configuration options.DefaultCommandDispatcher(Terminal terminal, JobManager jobManager, PipelineParser pipelineParser, AliasManager aliasManager, LineExpander lineExpander, ScriptRunner scriptRunner) Creates a new dispatcher with all configuration options including line expansion and script execution.DefaultCommandDispatcher(Terminal terminal, JobManager jobManager, PipelineParser pipelineParser, AliasManager aliasManager, LineExpander lineExpander, ScriptRunner scriptRunner, Parser parser) Creates a new dispatcher with all configuration options including line expansion, script execution and parser.JobCommands(JobManager jobManager) Creates job control commands backed by the given job manager.