equal
deleted
inserted
replaced
52 |
52 |
53 private ByteArrayOutputStream out; |
53 private ByteArrayOutputStream out; |
54 private ByteArrayOutputStream err; |
54 private ByteArrayOutputStream err; |
55 |
55 |
56 private JShellTool getShellTool() { |
56 private JShellTool getShellTool() { |
57 return new JShellTool(null, new PrintStream(out), new PrintStream(err), null, null, null, null); |
57 return new JShellTool(null, new PrintStream(out), new PrintStream(err), null, null, null, |
|
58 null, new ReplToolTesting.MemoryPreferences()); |
58 } |
59 } |
59 |
60 |
60 private String getOutput() { |
61 private String getOutput() { |
61 byte[] bytes = out.toByteArray(); |
62 byte[] bytes = out.toByteArray(); |
62 out.reset(); |
63 out.reset(); |