Interface Session.Shell

    • Method Detail

      • use

        void use​(String fileName,
                 Pos pos)
      • handle

        void handle​(RuntimeException e,
                    StringBuilder buf)
        Handles an exception. Particular implementations may re-throw the exception, or may format the exception to a buffer that will be added to the output. Typically, a root shell will handle the exception, and sub-shells will re-throw.