(BoundType boundType, DiscreteDomain<C> domain)
| 410 | } |
| 411 | |
| 412 | @Override |
| 413 | Cut<C> withUpperBoundType(BoundType boundType, DiscreteDomain<C> domain) { |
| 414 | switch (boundType) { |
| 415 | case OPEN: |
| 416 | @Nullable C next = domain.next(endpoint); |
| 417 | return (next == null) ? Cut.<C>aboveAll() : belowValue(next); |
| 418 | case CLOSED: |
| 419 | return this; |
| 420 | default: |
| 421 | throw new AssertionError(); |
| 422 | } |
| 423 | } |
| 424 | |
| 425 | @Override |
| 426 | void describeAsLowerBound(StringBuilder sb) { |
nothing calls this directly
no test coverage detected