test/jdk/jdk/internal/jline/extra/HistoryTest.java
author rfield
Sun, 25 Feb 2018 23:02:45 -0800
changeset 48987 513e98643998
parent 47216 71c04702a3d5
permissions -rw-r--r--
8198670: [testbug] Test jdk/internal/jline/extra/HistoryTest.java is broken after 8166232 Reviewed-by: jlahoda
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
38418
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
     1
/*
48987
513e98643998 8198670: [testbug] Test jdk/internal/jline/extra/HistoryTest.java is broken after 8166232
rfield
parents: 47216
diff changeset
     2
 * Copyright (c) 2015, 2018, Oracle and/or its affiliates. All rights reserved.
38418
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
     4
 *
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
     7
 * published by the Free Software Foundation.
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
     8
 *
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    13
 * accompanied this code).
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    14
 *
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    18
 *
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    21
 * questions.
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    22
 */
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    23
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    24
/*
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    25
 * @test
48987
513e98643998 8198670: [testbug] Test jdk/internal/jline/extra/HistoryTest.java is broken after 8166232
rfield
parents: 47216
diff changeset
    26
 * @bug 8178821 8198670
38418
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    27
 * @summary Test Completion
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    28
 * @modules jdk.internal.le/jdk.internal.jline
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    29
 *          jdk.internal.le/jdk.internal.jline.console
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    30
 *          jdk.internal.le/jdk.internal.jline.console.history
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    31
 *          jdk.internal.le/jdk.internal.jline.extra
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    32
 * @build HistoryTest
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    33
 * @run testng HistoryTest
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    34
 */
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    35
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    36
import java.io.ByteArrayInputStream;
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    37
import java.io.ByteArrayOutputStream;
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    38
import java.io.IOException;
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    39
import java.util.Arrays;
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    40
import java.util.Collection;
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    41
import java.util.Collections;
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    42
import java.util.concurrent.atomic.AtomicBoolean;
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    43
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    44
import jdk.internal.jline.UnsupportedTerminal;
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    45
import jdk.internal.jline.console.ConsoleReader;
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    46
import jdk.internal.jline.console.history.MemoryHistory;
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    47
import jdk.internal.jline.extra.EditingHistory;
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    48
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    49
import org.testng.annotations.Test;
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    50
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    51
import static org.testng.Assert.*;
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    52
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    53
@Test
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    54
public class HistoryTest {
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    55
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    56
    public void testHistory() throws IOException {
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    57
        ConsoleReader in = new ConsoleReader(new ByteArrayInputStream(new byte[0]), new ByteArrayOutputStream(), new UnsupportedTerminal());
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    58
        AtomicBoolean complete = new AtomicBoolean();
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    59
        EditingHistory history = new EditingHistory(in, Collections.emptyList()) {
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    60
            @Override
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    61
            protected boolean isComplete(CharSequence input) {
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    62
                return complete.get();
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    63
            }
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    64
        };
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    65
        complete.set(false); history.add("void test() {");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    66
        complete.set(false); history.add("    System.err.println(1);");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    67
        complete.set(true);  history.add("}");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    68
        complete.set(true);  history.add("/exit");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    69
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    70
        previousAndAssert(history, "/exit");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    71
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    72
        history.previous(); history.previous(); history.previous();
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    73
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    74
        complete.set(false); history.add("void test() { /*changed*/");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    75
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    76
        complete.set(true);
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    77
        previousAndAssert(history, "}");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    78
        previousAndAssert(history, "    System.err.println(1);");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    79
        previousAndAssert(history, "void test() {");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    80
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    81
        assertFalse(history.previous());
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    82
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    83
        nextAndAssert(history, "    System.err.println(1);");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    84
        nextAndAssert(history, "}");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    85
        nextAndAssert(history, "");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    86
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    87
        complete.set(false); history.add("    System.err.println(2);");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    88
        complete.set(true);  history.add("} /*changed*/");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    89
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    90
        assertEquals(history.size(), 7);
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    91
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    92
        Collection<? extends String> persistentHistory = history.save();
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    93
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    94
        history = new EditingHistory(in, persistentHistory) {
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    95
            @Override
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    96
            protected boolean isComplete(CharSequence input) {
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    97
                return complete.get();
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    98
            }
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
    99
        };
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   100
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   101
        previousSnippetAndAssert(history, "void test() { /*changed*/");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   102
        previousSnippetAndAssert(history, "/exit");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   103
        previousSnippetAndAssert(history, "void test() {");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   104
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   105
        assertFalse(history.previousSnippet());
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   106
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   107
        nextSnippetAndAssert(history, "/exit");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   108
        nextSnippetAndAssert(history, "void test() { /*changed*/");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   109
        nextSnippetAndAssert(history, "");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   110
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   111
        assertFalse(history.nextSnippet());
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   112
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   113
        complete.set(false); history.add("{");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   114
        complete.set(true);  history.add("}");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   115
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   116
        persistentHistory = history.save();
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   117
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   118
        history = new EditingHistory(in, persistentHistory) {
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   119
            @Override
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   120
            protected boolean isComplete(CharSequence input) {
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   121
                return complete.get();
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   122
            }
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   123
        };
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   124
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   125
        previousSnippetAndAssert(history, "{");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   126
        previousSnippetAndAssert(history, "void test() { /*changed*/");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   127
        previousSnippetAndAssert(history, "/exit");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   128
        previousSnippetAndAssert(history, "void test() {");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   129
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   130
        while (history.next());
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   131
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   132
        complete.set(true);  history.add("/*current1*/");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   133
        complete.set(true);  history.add("/*current2*/");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   134
        complete.set(true);  history.add("/*current3*/");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   135
48987
513e98643998 8198670: [testbug] Test jdk/internal/jline/extra/HistoryTest.java is broken after 8166232
rfield
parents: 47216
diff changeset
   136
        assertEquals(history.entries(true), Arrays.asList("/*current1*/", "/*current2*/", "/*current3*/"));
513e98643998 8198670: [testbug] Test jdk/internal/jline/extra/HistoryTest.java is broken after 8166232
rfield
parents: 47216
diff changeset
   137
        assertEquals(history.entries(false), Arrays.asList(
513e98643998 8198670: [testbug] Test jdk/internal/jline/extra/HistoryTest.java is broken after 8166232
rfield
parents: 47216
diff changeset
   138
                "void test() {",
513e98643998 8198670: [testbug] Test jdk/internal/jline/extra/HistoryTest.java is broken after 8166232
rfield
parents: 47216
diff changeset
   139
                "    System.err.println(1);",
513e98643998 8198670: [testbug] Test jdk/internal/jline/extra/HistoryTest.java is broken after 8166232
rfield
parents: 47216
diff changeset
   140
                "}",
513e98643998 8198670: [testbug] Test jdk/internal/jline/extra/HistoryTest.java is broken after 8166232
rfield
parents: 47216
diff changeset
   141
                "/exit",
513e98643998 8198670: [testbug] Test jdk/internal/jline/extra/HistoryTest.java is broken after 8166232
rfield
parents: 47216
diff changeset
   142
                "void test() { /*changed*/",
513e98643998 8198670: [testbug] Test jdk/internal/jline/extra/HistoryTest.java is broken after 8166232
rfield
parents: 47216
diff changeset
   143
                "    System.err.println(2);",
513e98643998 8198670: [testbug] Test jdk/internal/jline/extra/HistoryTest.java is broken after 8166232
rfield
parents: 47216
diff changeset
   144
                "} /*changed*/",
513e98643998 8198670: [testbug] Test jdk/internal/jline/extra/HistoryTest.java is broken after 8166232
rfield
parents: 47216
diff changeset
   145
                "{",
513e98643998 8198670: [testbug] Test jdk/internal/jline/extra/HistoryTest.java is broken after 8166232
rfield
parents: 47216
diff changeset
   146
                "}",
513e98643998 8198670: [testbug] Test jdk/internal/jline/extra/HistoryTest.java is broken after 8166232
rfield
parents: 47216
diff changeset
   147
                "/*current1*/", "/*current2*/", "/*current3*/"), history.entries(false).toString());
38418
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   148
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   149
        history.remove(0);
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   150
48987
513e98643998 8198670: [testbug] Test jdk/internal/jline/extra/HistoryTest.java is broken after 8166232
rfield
parents: 47216
diff changeset
   151
        assertEquals(history.entries(true), Arrays.asList("/*current1*/", "/*current2*/", "/*current3*/"));
38418
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   152
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   153
        while (history.size() > 2)
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   154
            history.remove(0);
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   155
48987
513e98643998 8198670: [testbug] Test jdk/internal/jline/extra/HistoryTest.java is broken after 8166232
rfield
parents: 47216
diff changeset
   156
        assertEquals(history.entries(true), Arrays.asList("/*current2*/", "/*current3*/"));
38418
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   157
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   158
        for (int i = 0; i < MemoryHistory.DEFAULT_MAX_SIZE * 2; i++) {
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   159
            complete.set(true);  history.add("/exit");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   160
        }
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   161
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   162
        complete.set(false); history.add("void test() { /*after full*/");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   163
        complete.set(false); history.add("    System.err.println(1);");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   164
        complete.set(true);  history.add("}");
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   165
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   166
        previousSnippetAndAssert(history, "void test() { /*after full*/");
44701
73cb7afafdff 8178821: jshell tool: ctrl-down does nothing in current context
jlahoda
parents: 38418
diff changeset
   167
        nextSnippetAndAssert(history, "");
73cb7afafdff 8178821: jshell tool: ctrl-down does nothing in current context
jlahoda
parents: 38418
diff changeset
   168
73cb7afafdff 8178821: jshell tool: ctrl-down does nothing in current context
jlahoda
parents: 38418
diff changeset
   169
        assertFalse(history.nextSnippet());
73cb7afafdff 8178821: jshell tool: ctrl-down does nothing in current context
jlahoda
parents: 38418
diff changeset
   170
73cb7afafdff 8178821: jshell tool: ctrl-down does nothing in current context
jlahoda
parents: 38418
diff changeset
   171
        while (history.previousSnippet())
73cb7afafdff 8178821: jshell tool: ctrl-down does nothing in current context
jlahoda
parents: 38418
diff changeset
   172
            ;
73cb7afafdff 8178821: jshell tool: ctrl-down does nothing in current context
jlahoda
parents: 38418
diff changeset
   173
73cb7afafdff 8178821: jshell tool: ctrl-down does nothing in current context
jlahoda
parents: 38418
diff changeset
   174
        while (history.nextSnippet())
73cb7afafdff 8178821: jshell tool: ctrl-down does nothing in current context
jlahoda
parents: 38418
diff changeset
   175
            ;
38418
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   176
    }
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   177
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   178
    private void previousAndAssert(EditingHistory history, String expected) {
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   179
        assertTrue(history.previous());
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   180
        assertEquals(history.current().toString(), expected);
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   181
    }
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   182
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   183
    private void nextAndAssert(EditingHistory history, String expected) {
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   184
        assertTrue(history.next());
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   185
        assertEquals(history.current().toString(), expected);
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   186
    }
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   187
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   188
    private void previousSnippetAndAssert(EditingHistory history, String expected) {
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   189
        assertTrue(history.previousSnippet());
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   190
        assertEquals(history.current().toString(), expected);
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   191
    }
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   192
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   193
    private void nextSnippetAndAssert(EditingHistory history, String expected) {
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   194
        assertTrue(history.nextSnippet());
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   195
        assertEquals(history.current().toString(), expected);
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   196
    }
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   197
85a39dd50bb5 8133549: Generalize jshell's EditingHistory
jlahoda
parents:
diff changeset
   198
}