JDK 11 jdk.jshell.jmod - JShell Tool

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

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

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

JDK 11 JShell tool source code files are stored in \fyicenter\jdk-11.0.1\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.
 *
 * @author Robert Field
 */
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-11.0.1-src.zip
File size: 283093 bytes
Release date: 2018-11-04
Download 

 

JDK 11 jdk.jsobject.jmod - JS Object Module

JDK 11 jdk.jlink.jmod - JLink Tool

Download and Use JDK 11

⇑⇑ FAQ for JDK (Java Development Kit)

2020-06-30, 28911👍, 0💬