Package io.vertx.ext.shell
Interface Shell
-
public interface ShellAn interactive session between a consumer and a shell.- Author:
- Julien Viet
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidclose()Close the shell.JobcreateJob(String line)SeecreateJob(List)JobcreateJob(List<CliToken> line)Create a job, the created job should then be executed with theJob.run()method.JobControllerjobController()Sessionsession()voidsetPrompt(Function<Session,String> prompt)Set a new prompt in this session.
-
-
-
Method Detail
-
createJob
Job createJob(List<CliToken> line)
Create a job, the created job should then be executed with theJob.run()method.- Parameters:
line- the command line creating this job- Returns:
- the created job
-
createJob
Job createJob(String line)
SeecreateJob(List)
-
jobController
JobController jobController()
- Returns:
- the shell's job controller
-
session
Session session()
- Returns:
- the current shell session
-
setPrompt
void setPrompt(Function<Session,String> prompt)
Set a new prompt in this session.- Parameters:
prompt- the new prompt will be calculated when it's needed.
-
close
void close()
Close the shell.
-
-