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