stan/jdk-24
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

8155581: jshell tool: replace use of Option.get()

Browse Source 
Reviewed-by: rfield
This commit is contained in:
Nadeesh TV 2016-06-10 11:11:52 +00:00
parent b5cd26324b
commit b2d09f5c6c
1 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
langtools/src/jdk.jshell/share/classes/jdk/internal/jshell/tool/JShellTool.java
View File

@ -1426,18 +1426,15 @@ public class JShellTool implements MessageHandler {
live = false;
if (!replayableHistory.isEmpty()) {
// Prevent history overflow by calculating what will fit, starting
// with must recent
// with most recent
int sepLen = RECORD_SEPARATOR.length();
int length = 0;
int first = replayableHistory.size();
while(length < Preferences.MAX_VALUE_LENGTH && --first >= 0) {
length += replayableHistory.get(first).length() + sepLen;
}
String hist = replayableHistory
.subList(first + 1, replayableHistory.size())
.stream()
.reduce( (a, b) -> a + RECORD_SEPARATOR + b)
.get();
String hist = String.join(RECORD_SEPARATOR,
replayableHistory.subList(first + 1, replayableHistory.size()));
prefs.put(REPLAY_RESTORE_KEY, hist);
}
fluffmsg("jshell.msg.goodbye");