/src/wrappers/readline/library/history_entry.e
Specman e | 49 lines | 22 code | 8 blank | 19 comment | 1 complexity | 8320821ca5b8ef959836201deab099a3 MD5 | raw file
1class HISTORY_ENTRY 2 -- An entry of the history of read line library. 3 4inherit 5 C_STRUCT 6 C_OWNED 7 8insert 9 HIST_ENTRY_STRUCT 10 11create {READ_LINE_HISTORY} from_external_pointer 12feature {ANY} 13 line: FIXED_STRING 14 do 15 create Result.from_external(hist_entry_struct_get_line(handle)) 16 ensure not_void: Result/=Void 17 end 18 19 timestamp: STRING 20 local p: POINTER 21 do 22 p := hist_entry_struct_get_timestamp(handle) 23 if p.is_not_null then 24 create Result.from_external(p) 25 end 26 end 27 28 -- -- Function: time_t history_get_time (HIST_ENTRY *entry) 29-- Return the time stamp associated with the history entry ENTRY. 30 31end 32 33-- Liberty Eiffel wrappers for GNU readline library Copyright (C) 2010-2017: Paolo Redaelli, Cyril Adrian 34-- 35-- The GNU C Library is free software; you can redistribute it and/or 36-- modify it under the terms of the GNU Lesser General Public 37-- License as published by the Free Software Foundation; either 38-- version 2.1 of the License, or (at your option) any later version. 39-- 40-- The GNU C Library is distributed in the hope that it will be useful, 41-- but WITHOUT ANY WARRANTY; without even the implied warranty of 42-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 43-- Lesser General Public License for more details. 44-- 45-- You should have received a copy of the GNU Lesser General Public 46-- License along with the GNU C Library; if not, write to the Free 47-- Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 48-- 02110-1301 USA 49