Package jline

Examples of jline.History

288
289
290
291
292
293
294
295
296
297
298
            reader.setBellEnabled(false);
            File historyFile = handleHistoryFiles();

            try
            {
                History history = new History(historyFile);
                reader.setHistory(history);
            }
            catch (IOException exp)
            {
                sessionState.err.printf("Unable to open %s for writing", historyFile.getAbsolutePath());
View Full Code Here
248
249
250
251
252
253
254
255
256
257
258
        String historyFile = System.getProperty("user.home") + File.separator + HISTORYFILE;

        try
        {
            History history = new History(new File(historyFile));
            reader.setHistory(history);
        }
        catch (IOException exp)
        {
            css_.err.printf("Unable to open %s for writing%n", historyFile);
View Full Code Here
125
126
127
128
129
130
131
132
133
134
135
    try {
      ConsoleReader reader = new ConsoleReader();
      reader.setBellEnabled(false);
      String historyFile = System.getProperty("user.home")
          + File.separator + HISTORYFILE;
      History history = new History(new File(historyFile));
      reader.setHistory(history);

      String prompt;
      String line = "";
      String currentStatement = "";
View Full Code Here
480
481
482
483
484
485
486
487
488
489
490
            mode = ExecMode.SHELL;
            ConsoleReader reader = new ConsoleReader(System.in, new OutputStreamWriter(System.out));
            reader.setDefaultPrompt("grunt> ");
            final String HISTORYFILE = ".pig_history";
            String historyFile = System.getProperty("user.home") + File.separator  + HISTORYFILE;
            reader.setHistory(new History(new File(historyFile)));
            ConsoleReaderInputStream inputStream = new ConsoleReaderInputStream(reader);
            grunt = new Grunt(new BufferedReader(new InputStreamReader(inputStream)), pigContext);
            grunt.setConsoleReader(reader);
            gruntCalled = true;
            grunt.run();
View Full Code Here
196
197
198
199
200
201
202
203
204
205
206
207
        final ConsoleReader reader = new ConsoleReader();
        reader.setBellEnabled(false);
        reader.setUseHistory(true);

        try {
            final History history = new History();
            history.setHistoryFile(new File(System.getProperty("user.home") + "/" + REXSTER_HISTORY));
            reader.setHistory(history);
        } catch (IOException e) {
            System.err.println("Could not find history file");
        }
        return reader;
View Full Code Here
299
300
301
302
303
304
305
306
307
308
309
           
            String historyFile = System.getProperty("user.home") + File.separator + HISTORYFILE;

            try
            {
                History history = new History(new File(historyFile));
                reader.setHistory(history);
            }
            catch (IOException exp)
            {
                sessionState.err.printf("Unable to open %s for writing %n", historyFile);
View Full Code Here
85
86
87
88
89
90
91
92
93
94
95
        // reader.setDebug(new PrintWriter(new FileWriter("jline.debug")));
        reader.addCompletor(new JSCompletor());
        if (history == null) {
            history = new File(System.getProperty("user.home"), ".ringo-history");
        }
        reader.setHistory(new History(history));
        PrintStream out = System.out;
        int lineno = 0;
        repl: while (true) {
            Context cx = engine.getContextFactory().enterContext(null);
            cx.setErrorReporter(new ToolErrorReporter(false, System.err));
View Full Code Here
485
486
487
488
489
490
491
492
493
494
495
            mode = ExecMode.SHELL;
            ConsoleReader reader = new ConsoleReader(System.in, new OutputStreamWriter(System.out));
            reader.setDefaultPrompt("grunt> ");
            final String HISTORYFILE = ".pig_history";
            String historyFile = System.getProperty("user.home") + File.separator  + HISTORYFILE;
            reader.setHistory(new History(new File(historyFile)));
            ConsoleReaderInputStream inputStream = new ConsoleReaderInputStream(reader);
            grunt = new Grunt(new BufferedReader(new InputStreamReader(inputStream)), pigContext);
            grunt.setConsoleReader(reader);
            gruntCalled = true;
            grunt.run();
View Full Code Here
115
116
117
118
119
120
121
122
123
124
125
    try {
      ConsoleReader reader = new ConsoleReader();
      reader.setBellEnabled(false);
      String historyFile = System.getProperty("user.home")
          + File.separator + HISTORYFILE;
      History history = new History(new File(historyFile));
      reader.setHistory(history);

      String prompt;
      String line = "";
      String currentStatement = "";
View Full Code Here
294
295
296
297
298
299
300
301
302
303
304
            String historyFile = System.getProperty("user.home") + File.separator + HISTORYFILE;

            try
            {
                History history = new History(new File(historyFile));
                reader.setHistory(history);
            }
            catch (IOException exp)
            {
                sessionState.err.printf("Unable to open %s for writing %n", historyFile);
View Full Code Here
TOP

Related Classes of jline.History

  • com.alvazan.ssql.cmdline.PlayOrm
  • com.netflix.lipstick.Main
  • com.odiago.flumebase.client.HistoryFile
  • com.sap.hadoop.windowing.cli2.WindowingHiveCliDriver
  • com.thinkaurelius.faunus.tinkerpop.gremlin.Console
  • com.thinkaurelius.titan.tinkerpop.gremlin.Console
  • com.tinkerpop.gremlin.groovy.console.Console
  • com.tinkerpop.rexster.console.RexsterConsole
  • com.trendmicro.mist.console.Console
  • ioke.lang.extensions.readline.Readline
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.