类 ShellPrompts

    • 方法详细资料

      • pushPrompt

        public void pushPrompt​(String prompt)
        Push a new prompt to be used by the shell.
        参数:
        prompt - the prompt
        另请参阅:
        popPrompt()
      • getPrompt

        public String getPrompt()
        Returns the current prompt.
        返回:
        the current prompt