equal
deleted
inserted
replaced
26 package jdk.jshell; |
26 package jdk.jshell; |
27 |
27 |
28 /** |
28 /** |
29 * Common interface for all wrappings of snippet source to Java source. |
29 * Common interface for all wrappings of snippet source to Java source. |
30 * |
30 * |
31 * @author Robert Field |
31 * Snippet index is index into the source of the snippet. Note: If the snippet is a sub-range of |
|
32 * the source, the index is not the index in the snippet. |
|
33 * |
|
34 * Wrap index is index into the wrapped snippet. |
32 */ |
35 */ |
33 interface GeneralWrap { |
36 interface GeneralWrap { |
34 |
37 |
35 String wrapped(); |
38 String wrapped(); |
36 |
39 |