(BoundType boundType, DiscreteDomain<C> domain)
| 397 | } |
| 398 | |
| 399 | @Override |
| 400 | Cut<C> withLowerBoundType(BoundType boundType, DiscreteDomain<C> domain) { |
| 401 | switch (boundType) { |
| 402 | case OPEN: |
| 403 | return this; |
| 404 | case CLOSED: |
| 405 | @Nullable C next = domain.next(endpoint); |
| 406 | return (next == null) ? Cut.<C>belowAll() : belowValue(next); |
| 407 | default: |
| 408 | throw new AssertionError(); |
| 409 | } |
| 410 | } |
| 411 | |
| 412 | @Override |
| 413 | Cut<C> withUpperBoundType(BoundType boundType, DiscreteDomain<C> domain) { |
nothing calls this directly
no test coverage detected