SECOM
Overview Cluster Class Classes Index          Top Features
secom.ewg.spec.se

Class EWG_EXTERNAL_STRING_ROUTINES

Features

Invariants

indexing

description

External string routines

library

Eiffel Wrapper Generator Library

copyright

Copyright (c) 1999, Andreas Leitner and others

license

Eiffel Forum License v2 (see license.txt)

class EWG_EXTERNAL_STRING_ROUTINES

feature -- Initialisation

make_copy_from_c_zero_terminated_string (a_c_string: POINTER): STRING

-- Create a new Eiffel string and copy the contents of
-- a_c_string into it. a_c_string must point to a
-- c zero terminated string.

require

a_c_string_not_default: a_c_string /= Default_pointer

ensure

result_not_void: Result /= Void

feature --

strcpy_external (a_dest, a_src: POINTER): POINTER

require

a_dest_not_default: a_dest /= Default_pointer
a_src_not_default: a_src /= Default_pointer

string_to_pointer (a_string: STRING): POINTER

-- Get a c pointer to the storage area of an Eiffel string
-- Thanks to Berend resp. the mico/e team (;
-- Note: This is extremly dangerous buisness

require

a_string_not_void: a_string /= Void

ensure

result_not_default_pointer: Result /= default_pointer

strlen_external (ptr: POINTER): INTEGER

require

ptr_not_nil: ptr /= default_pointer

invariant

Documentation generated by edoc

SECOM
Overview Cluster Class Classes Index          Top Features