2012-12-10 17:44:02 -06:00
|
|
|
// Copyright 2012 The Rust Project Developers. See the COPYRIGHT
|
|
|
|
// file at the top-level directory of this distribution and at
|
|
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
2012-11-05 13:20:44 -06:00
|
|
|
// FIXME #3921. This is unsafe because linenoise uses global mutable
|
|
|
|
// state without mutexes.
|
|
|
|
|
2012-12-23 16:41:37 -06:00
|
|
|
use core::libc::{c_char, c_int};
|
2013-01-08 21:37:25 -06:00
|
|
|
use core::prelude::*;
|
2012-12-23 16:41:37 -06:00
|
|
|
use core::str;
|
|
|
|
use core::task;
|
2012-10-02 20:15:02 -05:00
|
|
|
|
2012-10-29 20:08:36 -05:00
|
|
|
extern mod rustrt {
|
2013-01-29 14:06:09 -06:00
|
|
|
pub unsafe fn linenoise(prompt: *c_char) -> *c_char;
|
|
|
|
pub unsafe fn linenoiseHistoryAdd(line: *c_char) -> c_int;
|
|
|
|
pub unsafe fn linenoiseHistorySetMaxLen(len: c_int) -> c_int;
|
|
|
|
pub unsafe fn linenoiseHistorySave(file: *c_char) -> c_int;
|
|
|
|
pub unsafe fn linenoiseHistoryLoad(file: *c_char) -> c_int;
|
|
|
|
pub unsafe fn linenoiseSetCompletionCallback(callback: *u8);
|
|
|
|
pub unsafe fn linenoiseAddCompletion(completions: *(), line: *c_char);
|
2012-10-02 20:15:02 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Add a line to history
|
2012-11-05 13:20:44 -06:00
|
|
|
pub unsafe fn add_history(line: ~str) -> bool {
|
2012-10-27 06:41:41 -05:00
|
|
|
do str::as_c_str(line) |buf| {
|
2012-10-29 20:08:36 -05:00
|
|
|
rustrt::linenoiseHistoryAdd(buf) == 1 as c_int
|
2012-10-27 06:41:41 -05:00
|
|
|
}
|
2012-10-02 20:15:02 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Set the maximum amount of lines stored
|
2012-11-05 13:20:44 -06:00
|
|
|
pub unsafe fn set_history_max_len(len: int) -> bool {
|
2012-10-29 20:08:36 -05:00
|
|
|
rustrt::linenoiseHistorySetMaxLen(len as c_int) == 1 as c_int
|
2012-10-02 20:15:02 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Save line history to a file
|
2012-11-05 13:20:44 -06:00
|
|
|
pub unsafe fn save_history(file: ~str) -> bool {
|
2012-10-27 06:41:41 -05:00
|
|
|
do str::as_c_str(file) |buf| {
|
2012-10-29 20:08:36 -05:00
|
|
|
rustrt::linenoiseHistorySave(buf) == 1 as c_int
|
2012-10-27 06:41:41 -05:00
|
|
|
}
|
2012-10-02 20:15:02 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Load line history from a file
|
2012-11-05 13:20:44 -06:00
|
|
|
pub unsafe fn load_history(file: ~str) -> bool {
|
2012-10-27 06:41:41 -05:00
|
|
|
do str::as_c_str(file) |buf| {
|
2012-10-29 20:08:36 -05:00
|
|
|
rustrt::linenoiseHistoryLoad(buf) == 1 as c_int
|
2012-10-27 06:41:41 -05:00
|
|
|
}
|
2012-10-02 20:15:02 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Print out a prompt and then wait for input and return it
|
2012-11-05 13:20:44 -06:00
|
|
|
pub unsafe fn read(prompt: ~str) -> Option<~str> {
|
2013-01-23 13:43:58 -06:00
|
|
|
do str::as_c_str(prompt) |buf| {
|
|
|
|
unsafe {
|
|
|
|
let line = rustrt::linenoise(buf);
|
2012-10-02 20:15:02 -05:00
|
|
|
|
2013-01-23 13:43:58 -06:00
|
|
|
if line.is_null() { None }
|
|
|
|
else { Some(str::raw::from_c_str(line)) }
|
|
|
|
}
|
2012-10-27 06:41:41 -05:00
|
|
|
}
|
2012-10-02 20:15:02 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
pub type CompletionCb = fn~(~str, fn(~str));
|
|
|
|
|
|
|
|
fn complete_key(_v: @CompletionCb) {}
|
|
|
|
|
|
|
|
/// Bind to the main completion callback
|
2013-01-23 13:43:58 -06:00
|
|
|
pub unsafe fn complete(cb: CompletionCb) {
|
|
|
|
unsafe {
|
|
|
|
task::local_data::local_data_set(complete_key, @(move cb));
|
2012-10-02 20:15:02 -05:00
|
|
|
|
2013-01-23 13:43:58 -06:00
|
|
|
extern fn callback(line: *c_char, completions: *()) {
|
|
|
|
unsafe {
|
|
|
|
let cb = copy *task::local_data::local_data_get(complete_key)
|
|
|
|
.get();
|
2012-10-02 20:15:02 -05:00
|
|
|
|
2013-01-23 13:43:58 -06:00
|
|
|
do cb(str::raw::from_c_str(line)) |suggestion| {
|
|
|
|
do str::as_c_str(suggestion) |buf| {
|
|
|
|
rustrt::linenoiseAddCompletion(completions, buf);
|
|
|
|
}
|
|
|
|
}
|
2012-10-27 06:41:41 -05:00
|
|
|
}
|
|
|
|
}
|
2012-10-02 20:15:02 -05:00
|
|
|
|
2013-01-23 13:43:58 -06:00
|
|
|
rustrt::linenoiseSetCompletionCallback(callback);
|
|
|
|
}
|
2012-12-23 16:41:37 -06:00
|
|
|
}
|