Class UnitsTools
java.lang.Object
org.checkerframework.checker.units.util.UnitsTools
Utility methods to generate annotated types and to convert between them.
-
Field Summary
FieldsModifier and TypeFieldDescriptionstatic final @A int
static final @C int
static final @cd int
static final @degrees double
static final @g int
static final @h int
static final @K int
static final @kg int
static final @km int
static final @km2 int
static final @km3 int
static final @kmPERh int
static final @kN int
static final @m int
static final @m2 int
static final @m3 int
static final @min int
static final @mm int
static final @mm2 int
static final @mm3 int
static final @mol int
static final @mPERs int
static final @mPERs2 int
static final @N int
static final @radians double
static final @s int
static final @t int
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic @K int
fromCelsiusToKelvin
(@C int c) static @kg int
fromGramToKiloGram
(@g int g) static @min int
fromHourToMinute
(@h int h) static @C int
fromKelvinToCelsius
(@K int k) static @g int
fromKiloGramToGram
(@kg int kg) static @t int
fromKiloGramToMetricTon
(@kg int kg) static @mPERs double
fromKiloMeterPerHourToMeterPerSecond
(@kmPERh double kmph) static @m int
fromKiloMeterToMeter
(@km int km) static @N int
fromKiloNewtonToNewton
(@kN int kN) static @kmPERh double
fromMeterPerSecondToKiloMeterPerHour
(@mPERs double mps) static @km int
fromMeterToKiloMeter
(@m int m) static @mm int
fromMeterToMilliMeter
(@m int m) static @kg int
fromMetricTonToKiloGram
(@t int t) static @m int
fromMilliMeterToMeter
(@mm int mm) static @h int
fromMinuteToHour
(@min int min) static @s int
fromMinuteToSecond
(@min int min) static @kN int
fromNewtonToKiloNewton
(@N int N) static @min int
fromSecondToMinute
(@s int s) static @degrees double
static @radians double
-
Field Details
-
mPERs2
- See Also:
-
rad
- See Also:
-
deg
- See Also:
-
mm2
- See Also:
-
m2
- See Also:
-
km2
- See Also:
-
mm3
- See Also:
-
m3
- See Also:
-
km3
- See Also:
-
A
- See Also:
-
cd
- See Also:
-
mm
- See Also:
-
m
- See Also:
-
km
- See Also:
-
g
- See Also:
-
kg
- See Also:
-
t
- See Also:
-
N
- See Also:
-
kN
- See Also:
-
mPERs
- See Also:
-
kmPERh
- See Also:
-
mol
- See Also:
-
K
- See Also:
-
C
- See Also:
-
s
- See Also:
-
min
- See Also:
-
h
- See Also:
-
-
Constructor Details
-
UnitsTools
public UnitsTools()
-
-
Method Details
-
toRadians
-
toDegrees
-
fromMilliMeterToMeter
-
fromMeterToMilliMeter
-
fromMeterToKiloMeter
-
fromKiloMeterToMeter
-
fromGramToKiloGram
-
fromKiloGramToGram
-
fromKiloGramToMetricTon
-
fromMetricTonToKiloGram
-
fromNewtonToKiloNewton
-
fromKiloNewtonToNewton
-
fromMeterPerSecondToKiloMeterPerHour
-
fromKiloMeterPerHourToMeterPerSecond
-
fromKelvinToCelsius
-
fromCelsiusToKelvin
-
fromSecondToMinute
-
fromMinuteToSecond
-
fromMinuteToHour
-
fromHourToMinute
-