Automatic generation produced by ISE Eiffel
note description: "[ libcurl library opt constants For more informaton see: http://curl.haxx.se/libcurl/c/curl_easy_setopt.html Code related to LIBCURL_VERSION: 7.17.0 ]" status: "See notice at end of class." legal: "See notice at end of class." date: "$Date: 2019-10-17 04:58:44 -0800 (Thu, 17 Oct 2019) $" revision: "$Revision: 103601 $" class interface CURL_OPT_CONSTANTS create default_create -- Process instances of classes with no creation clause. -- (Default: do nothing.) -- (from ANY) feature -- Access generating_type: TYPE [detachable CURL_OPT_CONSTANTS] -- Type of current object -- (type of which it is a direct instance) -- (from ANY) ensure -- from ANY generating_type_not_void: Result /= Void generator: STRING_8 -- Name of current object's generating class -- (base class of the type of which it is a direct instance) -- (from ANY) ensure -- from ANY generator_not_void: Result /= Void generator_not_empty: not Result.is_empty feature -- Comparison frozen deep_equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void -- or attached to isomorphic object structures? -- (from ANY) ensure -- from ANY instance_free: class shallow_implies_deep: standard_equal (a, b) implies Result both_or_none_void: (a = Void) implies (Result = (b = Void)) same_type: (Result and (a /= Void)) implies (b /= Void and then a.same_type (b)) symmetric: Result implies deep_equal (b, a) frozen equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void or attached -- to objects considered equal? -- (from ANY) ensure -- from ANY instance_free: class definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.is_equal (b)) frozen is_deep_equal alias "≡≡≡" (other: CURL_OPT_CONSTANTS): BOOLEAN -- Are Current and other attached to isomorphic object structures? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY shallow_implies_deep: standard_is_equal (other) implies Result same_type: Result implies same_type (other) symmetric: Result implies other.is_deep_equal (Current) is_equal (other: CURL_OPT_CONSTANTS): BOOLEAN -- Is other attached to an object considered -- equal to current object? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY symmetric: Result implies other ~ Current consistent: standard_is_equal (other) implies Result frozen standard_equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void or attached to -- field-by-field identical objects of the same type? -- Always uses default object comparison criterion. -- (from ANY) ensure -- from ANY instance_free: class definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.standard_is_equal (b)) frozen standard_is_equal alias "≜" (other: CURL_OPT_CONSTANTS): BOOLEAN -- Is other attached to an object of the same type -- as current object, and field-by-field identical to it? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY same_type: Result implies same_type (other) symmetric: Result implies other.standard_is_equal (Current) feature -- Status report conforms_to (other: ANY): BOOLEAN -- Does type of current object conform to type -- of other (as per Eiffel: The Language, chapter 13)? -- (from ANY) require -- from ANY other_not_void: other /= Void is_valid (v: INTEGER_32): BOOLEAN -- If v value valid? same_type (other: ANY): BOOLEAN -- Is type of current object identical to type of other? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY definition: Result = (conforms_to (other) and other.conforms_to (Current)) feature -- Duplication copy (other: CURL_OPT_CONSTANTS) -- Update current object using fields of object attached -- to other, so as to yield equal objects. -- (from ANY) require -- from ANY other_not_void: other /= Void type_identity: same_type (other) ensure -- from ANY is_equal: Current ~ other frozen deep_copy (other: CURL_OPT_CONSTANTS) -- Effect equivalent to that of: -- `copy` (other . `deep_twin`) -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY deep_equal: deep_equal (Current, other) frozen deep_twin: CURL_OPT_CONSTANTS -- New object structure recursively duplicated from Current. -- (from ANY) ensure -- from ANY deep_twin_not_void: Result /= Void deep_equal: deep_equal (Current, Result) frozen standard_copy (other: CURL_OPT_CONSTANTS) -- Copy every field of other onto corresponding field -- of current object. -- (from ANY) require -- from ANY other_not_void: other /= Void type_identity: same_type (other) ensure -- from ANY is_standard_equal: standard_is_equal (other) frozen standard_twin: CURL_OPT_CONSTANTS -- New object field-by-field identical to other. -- Always uses default copying semantics. -- (from ANY) ensure -- from ANY standard_twin_not_void: Result /= Void equal: standard_equal (Result, Current) frozen twin: CURL_OPT_CONSTANTS -- New object equal to Current -- `twin` calls `copy`; to change copying/twinning semantics, redefine `copy`. -- (from ANY) ensure -- from ANY twin_not_void: Result /= Void is_equal: Result ~ Current feature -- Basic operations frozen default: detachable CURL_OPT_CONSTANTS -- Default value of object's type -- (from ANY) frozen default_pointer: POINTER -- Default value of type POINTER -- (Avoid the need to write p.`default` for -- some p of type POINTER.) -- (from ANY) ensure -- from ANY instance_free: class default_rescue -- Process exception for routines with no Rescue clause. -- (Default: do nothing.) -- (from ANY) frozen do_nothing -- Execute a null action. -- (from ANY) ensure -- from ANY instance_free: class feature -- Behavior curlopt_header: INTEGER_32 -- Declared as CURLOPT_HEADER. ensure is_class: class curlopt_noprogress: INTEGER_32 -- Declared as CURLOPT_NOPROGRESS ensure is_class: class curlopt_verbose: INTEGER_32 -- Declared as CURLOPT_VERBOSE. ensure is_class: class feature -- Callback curlopt_debugfunction: INTEGER_32 -- Declared as CURLOPT_DEBUGFUNCTION. ensure is_class: class curlopt_progressdata: INTEGER_32 -- Declared as CURLOPT_PROGRESSDATA ensure is_class: class curlopt_progressfunction: INTEGER_32 -- Declared as CURLOPT_PROGRESSFUNCTION ensure is_class: class curlopt_readdata: INTEGER_32 -- Declared as CURLOPT_READDATA. ensure is_class: class curlopt_readfunction: INTEGER_32 -- Declared as CURLOPT_READFUNCTION. ensure is_class: class curlopt_writedata: INTEGER_32 -- Declared as CURLOPT_WRITEDATA. ensure is_class: class curlopt_writefunction: INTEGER_32 -- Declared as CURLOPT_WRITEFUNCTION. ensure is_class: class curlopt_writeheader: INTEGER_32 -- Declared as CURLOPT_WRITEHEADER. ensure is_class: class feature -- Connection curl_ipresolve_v4: INTEGER_32 -- Declared as CURL_IPRESOLVE_V4 ensure is_class: class curl_ipresolve_v6: INTEGER_32 -- Declared as CURL_IPRESOLVE_V6 ensure is_class: class curl_ipresolve_whatever: INTEGER_32 -- Declared as CURL_IPRESOLVE_WHATEVER ensure is_class: class curlopt_connect_only: INTEGER_32 -- Declared as CURLOPT_CONNECT_ONLY ensure is_class: class curlopt_connect_timeout: INTEGER_32 -- The number of seconds to wait while trying to connect. Use 0 to wait indefinitely. -- Declared as CURLOPT_CONNECTTIMEOUT ensure is_class: class curlopt_connecttimeout: INTEGER_32 -- Declared as CURLOPT_CONNECTTIMEOUT. ensure is_class: class curlopt_forbid_reuse: INTEGER_32 -- Declared as CURLOPT_FORBID_REUSE ensure is_class: class curlopt_fresh_connect: INTEGER_32 -- Declared as CURLOPT_FRESH_CONNECT ensure is_class: class curlopt_ipresolve: INTEGER_32 -- Declared as CURLOPT_IPRESOLVE ensure is_class: class curlopt_low_speed_limit: INTEGER_32 -- Declared as CURLOPT_LOW_SPEED_LIMIT ensure is_class: class curlopt_low_speed_time: INTEGER_32 -- Declared as CURLOPT_LOW_SPEED_TIME ensure is_class: class curlopt_max_recv_speed_large: INTEGER_32 -- Declared as CURLOPT_MAX_RECV_SPEED_LARGE ensure is_class: class curlopt_max_send_speed_large: INTEGER_32 -- Declared as CURLOPT_MAX_SEND_SPEED_LARGE ensure is_class: class curlopt_maxconnects: INTEGER_32 -- Declared as CURLOPT_MAXCONNECTS ensure is_class: class curlopt_timeout: INTEGER_32 -- Declared as CURLOPT_TIMEOUT. ensure is_class: class curlopt_timeout_ms: INTEGER_32 -- Declared as CURLOPT_TIMEOUT_MS ensure is_class: class curlopt_use_ssl: INTEGER_32 -- Declared as CURLOPT_USE_SSL ensure is_class: class curlusessl_all: INTEGER_32 -- Declared as CURLUSESSL_ALL ensure is_class: class curlusessl_control: INTEGER_32 -- Declared as CURLUSESSL_CONTROL ensure is_class: class curlusessl_none: INTEGER_32 -- Declared as CURLUSESSL_NONE ensure is_class: class curlusessl_try: INTEGER_32 -- Declared as CURLUSESSL_TRY ensure is_class: class feature -- HTTP curl_http_version_1_0: INTEGER_32 -- Value used for CURL_HTTP_VERSION. -- Use CURL_HTTP_VERSION_1_0 ensure is_class: class curl_http_version_1_1: INTEGER_32 -- Value used for CURL_HTTP_VERSION. -- Use CURL_HTTP_VERSION_1_1 ensure is_class: class curl_http_version_none: INTEGER_32 -- Value used for CURL_HTTP_VERSION. -- Let the library to choose the best possible. ensure is_class: class curlopt_autoreferer: INTEGER_32 -- Declared as CURLOPT_AUTOREFERER ensure is_class: class curlopt_cookie: INTEGER_32 -- Declared as CURLOPT_COOKIE. ensure is_class: class curlopt_cookiefile: INTEGER_32 -- Declared as CURLOPT_COOKIEFILE. ensure is_class: class curlopt_cookiejar: INTEGER_32 -- Declared as CURLOPT_COOKIEJAR ensure is_class: class curlopt_cookielist: INTEGER_32 -- Declared as CURLOPT_COOKIELIST. ensure is_class: class curlopt_cookiesession: INTEGER_32 -- Declared as CURLOPT_COOKIESESSION ensure is_class: class curlopt_encoding: INTEGER_32 -- Declared as CURLOPT_ENCODING. -- in future version, this is called CURLOPT_ACCEPT_ENCODING ensure is_class: class curlopt_followlocation: INTEGER_32 -- Declared as CURLOPT_FOLLOWLOCATION ensure is_class: class curlopt_http_content_decoding: INTEGER_32 -- Declared as CURLOPT_HTTP_CONTENT_DECODING ensure is_class: class curlopt_http_version: INTEGER_32 -- Declared as CURLOPT_HTTP_VERSION ensure is_class: class curlopt_httpget: INTEGER_32 -- Declared as CURLOPT_HTTPGET -- Pass a long. If the long is non-zero, this forces the HTTP request to get back to GET. usable if a POST, HEAD, PUT or a custom request have been used previously using the same curl handle. -- When setting CURLOPT_HTTPGET to a non-zero value, it will automatically set CURLOPT_NOBODY to 0 (since 7.14.1). ensure is_class: class curlopt_httpheader: INTEGER_32 -- Declared as CURLOPT_HTTPHEADER. ensure is_class: class curlopt_httppost: INTEGER_32 -- Declared as CURLOPT_HTTPPOST. ensure is_class: class curlopt_ignore_content_length: INTEGER_32 -- Declared as CURLOPT_IGNORE_CONTENT_LENGTH ensure is_class: class curlopt_maxredirs: INTEGER_32 -- Declared as CURLOPT_MAXREDIRS ensure is_class: class curlopt_post: INTEGER_32 -- Declared as CURLOPT_POST. ensure is_class: class curlopt_postfields: INTEGER_32 -- Declared as CURLOPT_POSTFIELDS. ensure is_class: class curlopt_postfieldsize: INTEGER_32 -- Declared as CURLOPT_POSTFIELDSIZE ensure is_class: class curlopt_postfieldsize_large: INTEGER_32 -- Declared as CURLOPT_POSTFIELDSIZE_LARGE ensure is_class: class curlopt_put: INTEGER_32 -- Declared as CURLOPT_PUT. ensure is_class: class curlopt_referer: INTEGER_32 -- Declared as CURLOPT_REFERER ensure is_class: class curlopt_unrestricted_auth: INTEGER_32 -- Declared as CURLOPT_UNRESTRICTED_AUTH ensure is_class: class curlopt_useragent: INTEGER_32 -- Declared as CURLOPT_USERAGENT. ensure is_class: class feature -- Names and Passwords (Authentication) curlauth_any: INTEGER_32 -- Declared as CURLAUTH_ANY. ensure is_class: class curlauth_anysafe: INTEGER_32 -- Declared as CURLAUTH_ANYSAFE. ensure is_class: class curlauth_basic: INTEGER_32 -- Declared as CURLAUTH_BASIC. ensure is_class: class curlauth_digest: INTEGER_32 -- Declared as CURLAUTH_DIGEST. ensure is_class: class curlauth_none: INTEGER_32 -- Declared as CURLAUTH_NONE. ensure is_class: class curlopt_httpauth: INTEGER_32 -- Declared as CURLOPT_HTTPAUTH. ensure is_class: class curlopt_proxyauth: INTEGER_32 -- Declared as CURLOPT_PROXYAUTH ensure is_class: class curlopt_proxyuserpwd: INTEGER_32 -- Declared as CURLOPT_PROXYUSERPWD ensure is_class: class curlopt_tcp_keepalive: INTEGER_32 -- Declared as CURLOPT_TCP_KEEPALIVE ensure is_class: class curlopt_userpwd: INTEGER_32 -- Declared as CURLOPT_USERPWD. ensure is_class: class feature -- Network curlopt_buffersize: INTEGER_32 -- Declared as CURLOPT_BUFFERSIZE ensure is_class: class curlopt_httpproxytunnel: INTEGER_32 -- Declared as CURLOPT_HTTPPROXYTUNNEL. ensure is_class: class curlopt_interface: INTEGER_32 -- Declared as CURLOPT_INTERFACE. ensure is_class: class curlopt_localport: INTEGER_32 -- Declared as CURLOPT_LOCALPORT ensure is_class: class curlopt_localportrange: INTEGER_32 -- Declared as CURLOPT_LOCALPORTRANGE ensure is_class: class curlopt_nosignal: INTEGER_32 -- Declared as CURLOPT_NOSIGNAL ensure is_class: class curlopt_port: INTEGER_32 -- Declared as CURLOPT_PORT ensure is_class: class curlopt_proxy: INTEGER_32 -- Declared as CURLOPT_PROXY. ensure is_class: class curlopt_proxyport: INTEGER_32 -- Declared as CURLOPT_PROXYPORT. ensure is_class: class curlopt_proxytype: INTEGER_32 -- Declared as CURLOPT_PROXYTYPE. ensure is_class: class curlopt_tcp_nodelay: INTEGER_32 -- Declared as CURLOPT_TCP_NODELAY ensure is_class: class curlopt_url: INTEGER_32 -- Declared as CURLOPT_URL. ensure is_class: class feature -- Output Io: STD_FILES -- Handle to standard file setup -- (from ANY) ensure -- from ANY instance_free: class io_not_void: Result /= Void out: STRING_8 -- New string containing terse printable representation -- of current object -- (from ANY) ensure -- from ANY out_not_void: Result /= Void print (o: detachable ANY) -- Write terse external representation of o -- on standard output. -- (from ANY) ensure -- from ANY instance_free: class frozen tagged_out: STRING_8 -- New string containing terse printable representation -- of current object -- (from ANY) ensure -- from ANY tagged_out_not_void: Result /= Void feature -- Platform Operating_environment: OPERATING_ENVIRONMENT -- Objects available from the operating system -- (from ANY) ensure -- from ANY instance_free: class operating_environment_not_void: Result /= Void feature -- Protocol curlopt_crlf: INTEGER_32 -- Declared as CURLOPT_CRLF ensure is_class: class curlopt_customrequest: INTEGER_32 -- Declared as CURLOPT_CUSTOMREQUEST ensure is_class: class curlopt_filetime: INTEGER_32 -- Declared as CURLOPT_FILETIME ensure is_class: class curlopt_headerdata: INTEGER_32 -- Declared as CURLOPT_HEADERDATA ensure is_class: class curlopt_infilesize: INTEGER_32 -- Declared as CURLOPT_INFILESIZE ensure is_class: class curlopt_infilesize_large: INTEGER_32 -- Declared as CURLOPT_INFILESIZE_LARGE. ensure is_class: class curlopt_maxfilesize: INTEGER_32 -- Declared as CURLOPT_MAXFILESIZE ensure is_class: class curlopt_maxfilesize_large: INTEGER_32 -- Declared as CURLOPT_MAXFILESIZE_LARGE ensure is_class: class curlopt_mimepost: INTEGER_32 -- Declared as CURLOPT_MIMEPOST ensure is_class: class curlopt_nobody: INTEGER_32 -- Declared as CURLOPT_NOBODY ensure is_class: class curlopt_resume_from: INTEGER_32 -- Declared as CURLOPT_RESUME_FROM ensure is_class: class curlopt_resume_from_large: INTEGER_32 -- Declared as CURLOPT_RESUME_FROM_LARGE ensure is_class: class curlopt_timecondition: INTEGER_32 -- Declared as CURLOPT_TIMECONDITION ensure is_class: class curlopt_timevalue: INTEGER_32 -- Declared as CURLOPT_TIMEVALUE ensure is_class: class curlopt_transfertext: INTEGER_32 -- Declared as CURLOPT_TRANSFERTEXT ensure is_class: class curlopt_upload: INTEGER_32 -- Declared as CURLOPT_UPLOAD. ensure is_class: class feature -- SSH curl_zero_terminated: INTEGER_32 -- Declared as CURL_ZERO_TERMINATED ensure is_class: class curlopt_mail_from: INTEGER_32 -- Declared as CURLOPT_MAIL_FROM ensure is_class: class curlopt_mail_rcpt: INTEGER_32 -- Declared as CURLOPT_MAIL_RCPT ensure is_class: class curlopt_ssh_auth_types: INTEGER_32 -- Declared as CURLOPT_SSH_AUTH_TYPES ensure is_class: class curlopt_ssh_private_keyfile: INTEGER_32 -- Declared as CURLOPT_SSH_PRIVATE_KEYFILE ensure is_class: class curlopt_ssh_public_keyfile: INTEGER_32 -- Declared as CURLOPT_SSH_PUBLIC_KEYFILE ensure is_class: class feature -- SSL and Security curl_sslversion_default: INTEGER_32 -- Declared as CURL_SSLVERSION_DEFAULT ensure is_class: class curl_sslversion_sslv2: INTEGER_32 -- Declared as CURL_SSLVERSION_SSLv2 ensure is_class: class curl_sslversion_sslv3: INTEGER_32 -- Declared as CURL_SSLVERSION_SSLv3 ensure is_class: class curl_sslversion_tlsv1: INTEGER_32 -- Declared as CURL_SSLVERSION_TLSv1 ensure is_class: class curl_sslversion_tlsv1_2: INTEGER_32 -- Declared as CURL_SSLVERSION_MAX_TLSv1_2 ensure is_class: class curl_sslversion_tlsv1_3: INTEGER_32 -- Declared as CURL_SSLVERSION_TLSv1_3 ensure is_class: class curlopt_cainfo: INTEGER_32 -- Declared as CURLOPT_CAINFO ensure is_class: class curlopt_capath: INTEGER_32 -- Declared as CURLOPT_CAPATH ensure is_class: class curlopt_egdsocket: INTEGER_32 -- Declared as CURLOPT_EGDSOCKET ensure is_class: class curlopt_keypasswd: INTEGER_32 -- Declared as CURLOPT_KEYPASSWD ensure is_class: class curlopt_krblevel: INTEGER_32 -- Declared as CURLOPT_KRBLEVEL ensure is_class: class curlopt_random_file: INTEGER_32 -- Declared as CURLOPT_RANDOM_FILE ensure is_class: class curlopt_ssl_cipher_list: INTEGER_32 -- Declared as CURLOPT_SSL_CIPHER_LIST ensure is_class: class curlopt_ssl_sessionid_cache: INTEGER_32 -- Declared as CURLOPT_SSL_SESSIONID_CACHE ensure is_class: class curlopt_ssl_verifyhost: INTEGER_32 -- Declared as CURLOPT_SSL_VERIFYHOST ensure is_class: class curlopt_ssl_verifypeer: INTEGER_32 -- Declared as CURLOPT_SSL_VERIFYPEER. ensure is_class: class curlopt_sslcert: INTEGER_32 -- Declared as CURLOPT_SSLCERT ensure is_class: class curlopt_sslcerttype: INTEGER_32 -- Declared as CURLOPT_SSLCERTTYPE ensure is_class: class curlopt_sslengine: INTEGER_32 -- Declared as CURLOPT_SSLENGINE ensure is_class: class curlopt_sslengine_default: INTEGER_32 -- Declared as CURLOPT_SSLENGINE_DEFAULT ensure is_class: class curlopt_sslkey: INTEGER_32 -- Declared as CURLOPT_SSLKEY ensure is_class: class curlopt_sslkeytype: INTEGER_32 -- Declared as CURLOPT_SSLKEYTYPE ensure is_class: class curlopt_sslversion: INTEGER_32 -- Declared as CURLOPT_SSLVERSION ensure is_class: class feature -- Version libcurl_version: STRING_8 -- String representation of LIBCURL_VERSION libcurl_version_major: INTEGER_32 -- Declared as LIBCURL_VERSION_MAJOR ensure is_class: class libcurl_version_minor: INTEGER_32 -- Declared as LIBCURL_VERSION_MINOR ensure is_class: class libcurl_version_patch: INTEGER_32 -- Declared as LIBCURL_VERSION_PATCH ensure is_class: class libcurl_version_pointer: POINTER -- String pointer declared as LIBCURL_VERSION ensure is_class: class invariant -- from ANY reflexive_equality: standard_is_equal (Current) reflexive_conformance: conforms_to (Current) note library: "cURL: Library of reusable components for Eiffel." copyright: "Copyright (c) 1984-2019, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 5949 Hollister Ave., Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end -- class CURL_OPT_CONSTANTS -- Generated by Eiffel Studio --
For more details: eiffel.org