fish-shell/history.h

194 lines
4.8 KiB
C
Raw Normal View History

/** \file history.h
Prototypes for history functions, part of the user interface.
*/
#ifndef FISH_HISTORY_H
#define FISH_HISTORY_H
#include <wchar.h>
2012-02-06 00:42:24 +00:00
#include "common.h"
#include "pthread.h"
#include <vector>
2012-02-06 06:30:42 +00:00
#include <deque>
#include <utility>
2012-02-06 00:42:24 +00:00
#include <tr1/memory>
#include <set>
2012-02-06 00:42:24 +00:00
using std::tr1::shared_ptr;
2012-02-06 18:52:13 +00:00
enum history_search_type_t {
/** The history searches for strings containing the given string */
HISTORY_SEARCH_TYPE_CONTAINS,
/** The history searches for strings starting with the given string */
HISTORY_SEARCH_TYPE_PREFIX
};
2012-02-06 00:42:24 +00:00
class history_item_t {
friend class history_t;
private:
history_item_t(const wcstring &);
history_item_t(const wcstring &, time_t);
/** The actual contents of the entry */
wcstring contents;
/** Original creation time for the entry */
2012-02-06 04:54:41 +00:00
time_t creation_timestamp;
2012-02-06 00:42:24 +00:00
public:
const wcstring &str() const { return contents; }
bool empty() const { return contents.empty(); }
2012-02-06 18:52:13 +00:00
/* Whether our contents matches a search term. */
bool matches_search(const wcstring &term, enum history_search_type_t type) const;
2012-02-06 04:54:41 +00:00
time_t timestamp() const { return creation_timestamp; }
bool write_to_file(FILE *f) const;
2012-02-06 00:42:24 +00:00
};
class history_t {
private:
/** No copying */
history_t(const history_t&);
history_t &operator=(const history_t&);
/** Private creator */
history_t(const wcstring &pname);
/** Destructor */
~history_t();
/** Lock for thread safety */
pthread_mutex_t lock;
/** The name of this list. Used for picking a suitable filename and for switching modes. */
const wcstring name;
/** New items. */
std::vector<history_item_t> new_items;
/** The mmaped region for the history file */
const char *mmap_start;
/** The size of the mmaped region */
size_t mmap_length;
/**
Timestamp of last save
*/
time_t save_timestamp;
static history_item_t decode_item(const char *ptr, size_t len);
void populate_from_mmap(void);
/** List of old items, as offsets into out mmap data */
std::vector<size_t> old_item_offsets;
/** Whether we've loaded old items */
bool loaded_old;
/** Loads old if necessary */
void load_old_if_needed(void);
2012-02-06 04:54:41 +00:00
/** Saves history */
void save_internal();
2012-02-06 00:42:24 +00:00
public:
/** Returns history with the given name, creating it if necessary */
static history_t & history_with_name(const wcstring &name);
/** Add a new history item to the end */
void add(const wcstring &str);
/** Saves history */
void save();
/** Return the specified history at the specified index. 0 is the index of the current commandline. */
history_item_t item_at_index(size_t idx);
};
class history_search_t {
/** The history in which we are searching */
history_t * history;
2012-02-06 06:30:42 +00:00
2012-02-06 18:52:13 +00:00
/** Our type */
enum history_search_type_t search_type;
2012-02-06 06:30:42 +00:00
/** Our list of previous matches as index, value. The end is the current match. */
typedef std::pair<size_t, wcstring> prev_match_t;
std::deque<prev_match_t> prev_matches;
/** Returns yes if a given term is in prev_matches. */
bool match_already_made(const wcstring &match) const;
2012-02-06 00:42:24 +00:00
/** The search term */
wcstring term;
/** Additional strings to skip (sorted) */
wcstring_list_t external_skips;
bool should_skip_match(const wcstring &str) const;
2012-02-06 06:30:42 +00:00
public:
2012-02-06 00:42:24 +00:00
/** Sets additional string matches to skip */
void skip_matches(const wcstring_list_t &skips);
2012-02-06 00:42:24 +00:00
/** Finds the next search term (forwards in time). Returns true if one was found. */
bool go_forwards(void);
/** Finds the previous search result (backwards in time). Returns true if one was found. */
bool go_backwards(void);
/** Goes to the end (forwards) */
void go_to_end(void);
/** Returns if we are at the end. We start out at the end. */
bool is_at_end(void) const;
2012-02-06 00:42:24 +00:00
/** Goes to the beginning (backwards) */
void go_to_beginning(void);
/** Returns the current search result. asserts if there is no current item. */
2012-02-06 06:30:42 +00:00
wcstring current_item(void) const;
2012-02-06 00:42:24 +00:00
/** Constructor */
2012-02-06 18:52:13 +00:00
history_search_t(history_t &hist, const wcstring &str, enum history_search_type_t type = HISTORY_SEARCH_TYPE_CONTAINS) :
2012-02-06 00:42:24 +00:00
history(&hist),
2012-02-06 18:52:13 +00:00
search_type(type),
2012-02-06 06:30:42 +00:00
term(str)
2012-02-06 04:54:41 +00:00
{}
2012-02-06 00:42:24 +00:00
/* Default constructor */
history_search_t() :
history(),
2012-02-06 18:52:13 +00:00
search_type(HISTORY_SEARCH_TYPE_CONTAINS),
2012-02-06 06:30:42 +00:00
term()
2012-02-06 04:54:41 +00:00
{}
2012-02-06 00:42:24 +00:00
};
/**
Init history library. The history file won't actually be loaded
until the first time a history search is performed.
*/
void history_init();
/**
2012-02-06 00:42:24 +00:00
Saves the new history to disc.
*/
void history_destroy();
/**
Perform sanity checks
*/
void history_sanity_check();
#endif