1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
import static org.checkerframework.checker.units.UnitsTools.s;
import org.checkerframework.checker.units.*;
import org.checkerframework.checker.units.qual.*;
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;
}
|
