Added curl_easy_getinfo. Associated constants and also CURLOPT_USERPWD.

Minor optimization and cosmetics.

git-svn-id: https://svn.origo.ethz.ch/eiffelstudio/trunk/Src/library/cURL@77794 8089f293-4706-0410-a29e-feb5c42a2edf

curl_info_type.e

@@ -38,13 +38,20 @@ feature -- Contract support
 	is_valid (a_type: INTEGER): BOOLEAN
 			-- If `a_type' valid?
 		do
-			Result := 	a_type = curlinfo_data_in or
-						a_type = curlinfo_data_out or
-						a_type = curlinfo_header_in or
-						a_type = curlinfo_header_out or
-						a_type = curlinfo_ssl_data_in or
-						a_type = curlinfo_ssl_data_out or
-						a_type = curlinfo_text
+			inspect a_type
+			when
+				curlinfo_data_in,
+				curlinfo_data_out,
+				curlinfo_header_in,
+				curlinfo_header_out,
+				curlinfo_ssl_data_in,
+				curlinfo_ssl_data_out,
+				curlinfo_text
+			then
+				Result := True
+			else
+				Result := False
+			end
 		end
 
 note