Class UnitsTools

java.lang.Object

org.checkerframework.checker.units.util.UnitsTools

@AnnotatedFor("nullness")
public class UnitsTools
extends Object

Utility methods to generate annotated types and to convert between them.

Field Summary

Fields

Modifier and Type	Field	Description
static final @A int	A
static final @C int	C
static final @cd int	cd
static final @degrees double	deg
static final @g int	g
static final @h int	h
static final @K int	K
static final @kg int	kg
static final @km int	km
static final @km2 int	km2
static final @km3 int	km3
static final @kmPERh int	kmPERh
static final @kN int	kN
static final @m int	m
static final @m2 int	m2
static final @m3 int	m3
static final @min int	min
static final @mm int	mm
static final @mm2 int	mm2
static final @mm3 int	mm3
static final @mol int	mol
static final @mPERs int	mPERs
static final @mPERs2 int	mPERs2
static final @N int	N
static final @radians double	rad
static final @s int	s
static final @t int	t

Constructor Summary

Constructors

Constructor	Description
UnitsTools()

Method Summary

Modifier and Type	Method	Description
static @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	toDegrees(@radians double angrad)
static @radians double	toRadians(@degrees double angdeg)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

mPERs2

public static final @mPERs2 int mPERs2

See Also:

• Constant Field Values

rad

public static final @radians double rad

See Also:

• Constant Field Values

deg

public static final @degrees double deg

See Also:

• Constant Field Values

mm2

public static final @mm2 int mm2

See Also:

• Constant Field Values

m2

public static final @m2 int m2

See Also:

• Constant Field Values

km2

public static final @km2 int km2

See Also:

• Constant Field Values

mm3

public static final @mm3 int mm3

See Also:

• Constant Field Values

m3

public static final @m3 int m3

See Also:

• Constant Field Values

km3

public static final @km3 int km3

See Also:

• Constant Field Values

A

public static final @A int A

See Also:

• Constant Field Values

cd

public static final @cd int cd

See Also:

• Constant Field Values

mm

public static final @mm int mm

See Also:

• Constant Field Values

m

public static final @m int m

See Also:

• Constant Field Values

km

public static final @km int km

See Also:

• Constant Field Values

g

public static final @g int g

See Also:

• Constant Field Values

kg

public static final @kg int kg

See Also:

• Constant Field Values

t

public static final @t int t

See Also:

• Constant Field Values

N

public static final @N int N

See Also:

• Constant Field Values

kN

public static final @kN int kN

See Also:

• Constant Field Values

mPERs

public static final @mPERs int mPERs

See Also:

• Constant Field Values

kmPERh

public static final @kmPERh int kmPERh

See Also:

• Constant Field Values

mol

public static final @mol int mol

See Also:

• Constant Field Values

K

public static final @K int K

See Also:

• Constant Field Values

C

public static final @C int C

See Also:

• Constant Field Values

s

public static final @s int s

See Also:

• Constant Field Values

min

public static final @min int min

See Also:

• Constant Field Values

h

public static final @h int h

See Also:

• Constant Field Values

Constructor Details

UnitsTools

public UnitsTools()

Method Details

toRadians

public static @radians double toRadians(@degrees double angdeg)

toDegrees

public static @degrees double toDegrees(@radians double angrad)

fromMilliMeterToMeter

public static @m int fromMilliMeterToMeter(@mm int mm)

fromMeterToMilliMeter

public static @mm int fromMeterToMilliMeter(@m int m)

fromMeterToKiloMeter

public static @km int fromMeterToKiloMeter(@m int m)

fromKiloMeterToMeter

public static @m int fromKiloMeterToMeter(@km int km)

fromGramToKiloGram

public static @kg int fromGramToKiloGram(@g int g)

fromKiloGramToGram

public static @g int fromKiloGramToGram(@kg int kg)

fromKiloGramToMetricTon

public static @t int fromKiloGramToMetricTon(@kg int kg)

fromMetricTonToKiloGram

public static @kg int fromMetricTonToKiloGram(@t int t)

fromNewtonToKiloNewton

public static @kN int fromNewtonToKiloNewton(@N int N)

fromKiloNewtonToNewton

public static @N int fromKiloNewtonToNewton(@kN int kN)

fromMeterPerSecondToKiloMeterPerHour

public static @kmPERh double fromMeterPerSecondToKiloMeterPerHour(@mPERs double mps)

fromKiloMeterPerHourToMeterPerSecond

public static @mPERs double fromKiloMeterPerHourToMeterPerSecond(@kmPERh double kmph)

fromKelvinToCelsius

public static @C int fromKelvinToCelsius(@K int k)

fromCelsiusToKelvin

public static @K int fromCelsiusToKelvin(@C int c)

fromSecondToMinute

public static @min int fromSecondToMinute(@s int s)

fromMinuteToSecond

public static @s int fromMinuteToSecond(@min int min)

fromMinuteToHour

public static @h int fromMinuteToHour(@min int min)

fromHourToMinute

public static @min int fromHourToMinute(@h int h)