JDK 17 jdk.jshell.jmod - JShell Tool

JDK 17 jdk.jshell.jmod is the JMOD file for JDK 17 JShell tool, which can be invoked by the "jshell" command.

JDK 17 JShell tool compiled class files are stored in \fyicenter\jdk-17.0.5\jmods\jdk.jshell.jmod.

JDK 17 JShell tool compiled class files are also linked and stored in the \fyicenter\jdk-17.0.5\lib\modules JImage file.

JDK 17 JShell tool source code files are stored in \fyicenter\jdk-17.0.5\lib\src.zip\jdk.jshell.

You can click and view the content of each source code file in the list below.

✍: FYIcenter

jdk/jshell/GeneralWrap.java

/*
 * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved.
 * ORACLE PROPRIETARY/CONFIDENTIAL. Use is subject to license terms.
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 */

package jdk.jshell;

/**
 * Common interface for all wrappings of snippet source to Java source.
 *
 * Snippet index is index into the source of the snippet.  Note: If the snippet is a sub-range of
 * the source, the index is not the index in the snippet.
 *
 * Wrap index is index into the wrapped snippet.
 */
interface GeneralWrap {

    String wrapped();

    int snippetIndexToWrapIndex(int sni);

    int wrapIndexToSnippetIndex(int wi);

    default int wrapIndexToSnippetIndex(long wi) {
        return wrapIndexToSnippetIndex((int) wi);
    }

    int firstSnippetIndex();

    int lastSnippetIndex();

    int snippetLineToWrapLine(int snline);

    int wrapLineToSnippetLine(int wline);

    int firstSnippetLine();

    int lastSnippetLine();

    default String debugPos(long lpos) {
        int pos = (int) lpos;
        int len = wrapped().length();
        return wrapped().substring(Math.max(0, pos - 10), Math.max(0, Math.min(len, pos)))
                + "###"
                + wrapped().substring(Math.max(0, Math.min(len, pos)), Math.max(0, Math.min(len, pos + 10)));
    }
}

jdk/jshell/GeneralWrap.java

 

Or download all of them as a single archive file:

File name: jdk.jshell-17.0.5-src.zip
File size: 302589 bytes
Release date: 2022-09-13
Download 

 

JDK 17 jdk.jsobject.jmod - JS Object Module

JDK 17 jdk.jpackage.jmod - JPackage Tool

JDK 17 JMod/Module Files

⇑⇑ FAQ for JDK (Java Development Kit) 17

2023-08-03, 5888👍, 0💬