PageRenderTime 8ms CodeModel.GetById 1ms app.highlight 2ms RepoModel.GetById 2ms app.codeStats 0ms

/src/wrappers/readline/library/history_entry.e

http://github.com/tybor/Liberty
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