| import static org.checkerframework.checker.units.util.UnitsTools.s; |
| |
| import org.checkerframework.checker.units.qual.m; |
| import org.checkerframework.checker.units.qual.s; |
| import org.checkerframework.checker.units.util.UnitsTools; |
| |
| public class Units { |
| @m int m1 = 5 * UnitsTools.m; |
| |
| // The advantage of using the multiplication with a unit is that also double, float, etc. are |
| // easily handled and we don't need to end a huge number of methods to UnitsTools. |
| @m double dm = 9.34d * UnitsTools.m; |
| |
| // With a static import: |
| @s float time = 5.32f * s; |
| } |