Interface Shell

public interface Shell
An interactive session between a consumer and a shell.
Author:
Julien Viet

  • Method Details

    • createJob

      Job createJob(List<CliToken> line)
      Create a job, the created job should then be executed with the Job.run() method.
      Parameters:
      line - the command line creating this job
      Returns:
      the created job

    • createJob

      Job createJob(String line)
      See createJob(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.