Method
withLowerBoundType
(BoundType boundType, DiscreteDomain<C> domain)
Source from the content-addressed store, hash-verified
| 313 | } |
| 314 | |
| 315 | @Override |
| 316 | Cut<C> withLowerBoundType(BoundType boundType, DiscreteDomain<C> domain) { |
| 317 | switch (boundType) { |
| 318 | case CLOSED: |
| 319 | return this; |
| 320 | case OPEN: |
| 321 | @Nullable C previous = domain.previous(endpoint); |
| 322 | return (previous == null) ? Cut.<C>belowAll() : new AboveValue<C>(previous); |
| 323 | default: |
| 324 | throw new AssertionError(); |
| 325 | } |
| 326 | } |
| 327 | |
| 328 | @Override |
| 329 | Cut<C> withUpperBoundType(BoundType boundType, DiscreteDomain<C> domain) { |
Callers
nothing calls this directly
Tested by
no test coverage detected