| package org.eclipse.nebula.widgets.nattable.core.geometry | |
| class PixelRangeInvariants { | |
| /** | |
| * The end pixel of a range is the pixel location <em>after</em> the last pixel in the range. That is, the pixel range is | |
| * inclusive of its start pixel location and exclusive of its end pixel location. | |
| */ | |
| static def getEnd(PixelRange pixelRange) { | |
| pixelRange.start + pixelRange.size | |
| } | |
| } |