RFR: 6447816: Provider filtering (getProviders) is not working with OR'd conditions [v2]

[Valerie Peng]

On Fri, 26 Aug 2022 00:38:36 GMT, Weijun Wang <weijun at openjdk.org> wrote:

>> Yes, I'd expect if multiple sub-values are specified, it means all of them should appear in `prop` in order to be matched. It does raise an interesting question as to how to do the filtering based on an "OR" relationship. Perhaps an union of 2 separate filter result? I'd suspect that "AND" relationship would be more useful. One alternative is to disallow multiple sub-values, and treat the value as one sub-value. Thoughts?
>> 
>> As for strict vs loose, I am on the fence, thought that it'd be nice to not having to enter the entire value. Could switch direction to be strict for now and loosen it up if requested.
>
> The spec says the result of `getProviders(map)` must satisfy all criteria, so we already have AND. That sounds like it's better to treat multiple values in a single criterion to be OR.
> 
> In fact, I don't know who would want to check for OR. For example, a user might be OK with either GCM or CCM, but it still makes no sense to check for "GCM or CCM". After all, at the end they need to decide whether to call `getInstance("GCM")` or `getInstance("CCM")`. They'd better call `getProviders()` twice to find out which exact one is supported.
> 
> Maybe we can only support one value at the moment.

Hmm, ok, then let's just do one-subvalue for now. We can always enhance it later if needed.

-------------

PR: https://git.openjdk.org/jdk/pull/10008