org.checkerframework.checker.units

Class UnitsTools

java.lang.Object

org.checkerframework.checker.units.UnitsTools

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

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

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
UnitsTools()

Method Summary

Modifier and Type	Method and 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 @mPERs double	fromKiloMeterPerHourToMeterPerSecond(@kmPERh double kmph)
static @m int	fromKiloMeterToMeter(@km int km)
static @kmPERh double	fromMeterPerSecondToKiloMeterPerHour(@mPERs double mps)
static @km int	fromMeterToKiloMeter(@m int m)
static @mm int	fromMeterToMilliMeter(@m int m)
static @m int	fromMilliMeterToMeter(@mm int mm)
static @h int	fromMinuteToHour(@min int min)
static @s int	fromMinuteToSecond(@min int min)
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 Detail

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

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

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 Detail

UnitsTools

public UnitsTools()

Method Detail

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)

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)