org.checkerframework.checker.units

Class UnitsTools

java.lang.Object

org.checkerframework.checker.units.UnitsTools

public class UnitsTools
extends java.lang.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)