85 	char *udi = NULL;  in main()  local
135 				udi = strdup (optarg);  in main()
151 	if (udi == NULL || key == NULL) {  in main()
177 	udi_exists = libhal_device_exists (hal_ctx, udi, &error);  in main()
179 		fprintf (stderr, "error: UDI %s does not exist\n", udi);  in main()
189 	type = libhal_device_get_property_type (hal_ctx, udi, key, &error);  in main()
202 		str = libhal_device_get_property_string (hal_ctx, udi, key, &error);  in main()
213 			libhal_device_get_property_int (hal_ctx, udi, key, &error));  in main()
220 			(long long unsigned int) libhal_device_get_property_uint64 (hal_ctx, udi, key, &error));  in main()
226 			libhal_device_get_property_double (hal_ctx, udi, key, &error));  in main()
232 			libhal_device_get_property_bool (hal_ctx, udi, key, &error) ? "true" : "false");  in main()
240 		if ((strlist = libhal_device_get_property_strlist (hal_ctx, udi, key, &error)) != NULL) {  in main()