equal
deleted
inserted
replaced
72 JShell state() { return state; } |
72 JShell state() { return state; } |
73 |
73 |
74 /** |
74 /** |
75 * Grouping for snippets which persist and influence future code. |
75 * Grouping for snippets which persist and influence future code. |
76 * They are keyed off at least the name. They may be Modified/Replaced |
76 * They are keyed off at least the name. They may be Modified/Replaced |
77 * with new input and can be dropped (JShell#drop). |
77 * with new input. |
78 */ |
78 */ |
79 static abstract class PersistentKey extends Key { |
79 static abstract class PersistentKey extends Key { |
80 |
80 |
81 private final String name; |
81 private final String name; |
82 |
82 |