| /* | |
| * Copyright (c) 2022, 2025, Oracle and/or its affiliates. All rights reserved. | |
| * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. | |
| * | |
| * This code is free software; you can redistribute it and/or modify it | |
| * under the terms of the GNU General Public License version 2 only, as | |
| * published by the Free Software Foundation. Oracle designates this | |
| * particular file as subject to the "Classpath" exception as provided | |
| * by Oracle in the LICENSE file that accompanied this code. | |
| * | |
| * This code is distributed in the hope that it will be useful, but WITHOUT | |
| * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
| * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
| * version 2 for more details (a copy is included in the LICENSE file that | |
| * accompanied this code). | |
| * | |
| * You should have received a copy of the GNU General Public License version | |
| * 2 along with this work; if not, write to the Free Software Foundation, | |
| * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
| * | |
| * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA | |
| * or visit www.oracle.com if you need additional information or have any | |
| * questions. | |
| */ | |
| package jdk.jshell; | |
| import java.io.IOError; | |
| import java.io.PrintWriter; | |
| import java.io.Reader; | |
| import java.nio.charset.Charset; | |
| import jdk.internal.javac.PreviewFeature; | |
| /** | |
| * An interface providing functionality for {@link java.io.Console} in the user's snippet. | |
| * <p> | |
| * When a snippet calls a method on {@code Console}, the corresponding method in this interface will | |
| * be called. | |
| * | |
| * @since 21 | |
| * @see java.io.Console | |
| */ | |
| public interface JShellConsole { | |
| /** | |
| * Retrieves the unique {@link java.io.PrintWriter PrintWriter} object | |
| * associated with this console. | |
| * | |
| * @return The printwriter associated with this console | |
| * @see java.io.Console#writer() | |
| */ | |
| public PrintWriter writer(); | |
| /** | |
| * Retrieves the unique {@link java.io.Reader Reader} object associated | |
| * with this console. | |
| * | |
| * @return The reader associated with this console | |
| * @see java.io.Console#reader() | |
| */ | |
| public Reader reader(); | |
| /** | |
| * Provides a prompt, then reads a single line of text from the | |
| * console. | |
| * | |
| * @param prompt | |
| * A prompt. | |
| * | |
| * @throws IOError | |
| * If an I/O error occurs. | |
| * | |
| * @return A string containing the line read from the console, not | |
| * including any line-termination characters, or {@code null} | |
| * if an end of stream has been reached. | |
| * @see java.io.Console#readLine() | |
| */ | |
| public String readLine(String prompt) throws IOError; | |
| /** | |
| * Provides a prompt, then reads a password or passphrase from | |
| * the console with echoing disabled. | |
| * | |
| * @param prompt | |
| * A prompt. | |
| * | |
| * @throws IOError | |
| * If an I/O error occurs. | |
| * | |
| * @return A character array containing the password or passphrase read | |
| * from the console, not including any line-termination characters, | |
| * or {@code null} if an end of stream has been reached. | |
| * @see java.io.Console#readPassword() | |
| */ | |
| public char[] readPassword(String prompt) throws IOError; | |
| /** | |
| * Flushes the console and forces any buffered output to be written | |
| * immediately. | |
| * | |
| * @see java.io.Console#flush() | |
| */ | |
| public void flush(); | |
| /** | |
| * Returns the {@link java.nio.charset.Charset Charset} object used for | |
| * the {@code Console}. | |
| * | |
| * @return a {@link java.nio.charset.Charset Charset} object used for the | |
| * {@code Console} | |
| * | |
| * @see java.io.Console#charset() | |
| */ | |
| public Charset charset(); | |
| } |