tree d8da8c2792173de591911ec66ada29c83f84f998
parent b9d22d68376f7ce0619d483f0409dd4f03889d1e
author Marcel van Lohuizen <mpvl@golang.org> 1584608111 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1584643728 +0000

encoding/openapi: more accurate handling of disjunctions

Instead of assumingt that the input is from Protobuf,
now actually compute the logic for the "not(anyOf(...))"
elements.

Basically, each element in a disjunction subsumed by
the other elements. All instances of an element need
to be excluded by a "not(anyOf(...))" pattern. For
Protobuf, this means there is exactly one for each
oneOf.

This chance is also no longer preexpands values based
on the node count heuristic. This generally gives
better and more consistent output for Protobuf.

An additional optimization based on unification
eliminates impossible disjuncts to compensate for the
fact that this simplifcation is no longer done by
CUE itself.

Change-Id: I665f529cee24ad084eb0a6d83a373b2392f67e3e
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/5344
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>