INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Miscellaneous features"
project: "Visual Eiffel"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: dale
class DALE_MISCELLANEOUS
inherit

MEMORY
end

DALE_SERVER
end
feature -- Memory:

c_alloc_memory (size: INTEGER): POINTER
-- ...
require
positive_size: size > 0

c_free_memory (ptr: POINTER)
-- ...
feature -- Poke:

c_poke_datetime (ptr: POINTER; y, mo, d, h, mi, s, fr: INTEGER)
-- poke DATETIME onto 'ptr'
-- fr is in nanoseconds (0.000_000_001 of a second)

c_poke_boolean (ptr: POINTER; v: BOOLEAN)
-- poke BOOLEAN value

c_poke_character (ptr: POINTER; v: CHARACTER)
-- poke CHARACTER value

c_poke_integer (ptr: POINTER; v: INTEGER)
-- poke INTEGER value

c_poke_real (ptr: POINTER; v: REAL)
-- poke REAL value

c_poke_double (ptr: POINTER; v: DOUBLE)
-- poke DOUBLE value

poke_string (ptr: POINTER; s: STRING)
-- poke STRING value
require
valid_string: s /= void and then s.count >= 0

poke_date (ptr: POINTER; d: DATE)
-- ...
require
not_void: d /= void

poke_time (ptr: POINTER; t: TIME)
-- ...
require
not_void: t /= void

poke_datetime (ptr: POINTER; d: TIMESTAMP)
-- ...
require
not_void: d /= void
feature -- Pick:

c_pick_boolean (ptr: POINTER): BOOLEAN
-- pick BOOLEAN value

c_pick_integer (ptr: POINTER): INTEGER
-- pick INTEGER value

c_pick_smallint (ptr: POINTER): INTEGER
-- pick short INTEGER value

c_pick_character (ptr: POINTER): CHARACTER
-- pick CHARACTER value

c_pick_real (ptr: POINTER): REAL
-- pick REAL value

c_pick_double (ptr: POINTER): DOUBLE
-- pick DOUBLE value

pick_string (ptr: POINTER): STRING
-- pick STRING value
ensure
not_void: Result /= void

pick_date (ptr: POINTER; d: DATE)
-- pick DATE value
require
not_void: d /= void

pick_time (ptr: POINTER; t: TIME)
-- pick TIME value
require
not_void: t /= void

pick_datetime (ptr: POINTER; dt: TIMESTAMP)
-- pick DATETIME value
require
not_void: dt /= void

c_pick_datetime (ptr, pyear, pmonth, pday, phour, pmin, psec, pfract: POINTER)
-- pick DATETIME value's fields
feature -- Other:

c_is_bit_set (n, b: INTEGER): BOOLEAN
-- ...

generate_name (base: STRING; k: INTEGER): STRING
-- ...
require
valid_base: base /= void and then not base.is_empty
valid_index: k > 0
ensure
not_void: Result /= void
feature -- Types :

field_type (f_type: INTEGER): STRING
-- Eiffel type
ensure
non_void_result: Result /= void

field_sql_type (s_type: INTEGER): STRING
-- SQL type
feature -- Validations:

valid_type (t: INTEGER): BOOLEAN
-- ...

valid_bitmask (bm_value, no_bits: INTEGER): BOOLEAN
-- checks bitmask value
require
valid_bitmask_value: 0 <= bm_value
valid_number_of_bits: 1 <= no_bits and then no_bits <= 32

pstr (s: STRING; cb_s: INTEGER): STRING
-- ...

conc (a: ARRAY [STRING]): STRING
-- Concatenates the parameter array.
feature -- Constants:

LARGE_INTEGER: INTEGER

Dir_Cache_Rec: STRING
feature -- Cache Constants:

Bit_Zero: BIT 32

MAX_NAME_LENGTH: INTEGER
feature

c_simple_copy_memory (dp, sp: POINTER; len: INTEGER)
-- copy memory block having length 'len' starting from 'sp' at 'dp'
require
valid_pointers: dp /= void and sp /= void
valid_length: len >= 0
end -- class DALE_MISCELLANEOUS

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES