Package org.checkerframework.checker.units.util

Class UnitsTools

java.lang.Object

org.checkerframework.checker.units.util.UnitsTools

@AnnotatedFor("nullness")
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	Description
static @org.checkerframework.checker.units.qual.A int	A
static @org.checkerframework.checker.units.qual.C int	C
static @org.checkerframework.checker.units.qual.cd int	cd
static @org.checkerframework.checker.units.qual.degrees double	deg
static @org.checkerframework.checker.units.qual.g int	g
static @org.checkerframework.checker.units.qual.h int	h
static @org.checkerframework.checker.units.qual.K int	K
static @org.checkerframework.checker.units.qual.kg int	kg
static @org.checkerframework.checker.units.qual.km int	km
static @org.checkerframework.checker.units.qual.km2 int	km2
static @org.checkerframework.checker.units.qual.km3 int	km3
static @org.checkerframework.checker.units.qual.kmPERh int	kmPERh
static @org.checkerframework.checker.units.qual.kN int	kN
static @org.checkerframework.checker.units.qual.m int	m
static @org.checkerframework.checker.units.qual.m2 int	m2
static @org.checkerframework.checker.units.qual.m3 int	m3
static @org.checkerframework.checker.units.qual.min int	min
static @org.checkerframework.checker.units.qual.mm int	mm
static @org.checkerframework.checker.units.qual.mm2 int	mm2
static @org.checkerframework.checker.units.qual.mm3 int	mm3
static @org.checkerframework.checker.units.qual.mol int	mol
static @org.checkerframework.checker.units.qual.mPERs int	mPERs
static @org.checkerframework.checker.units.qual.mPERs2 int	mPERs2
static @org.checkerframework.checker.units.qual.N int	N
static @org.checkerframework.checker.units.qual.radians double	rad
static @org.checkerframework.checker.units.qual.s int	s
static @org.checkerframework.checker.units.qual.t int	t

Constructor Summary

Constructors

Constructor	Description
UnitsTools()

Method Summary

Modifier and Type	Method	Description
static @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)

Methods inherited from class java.lang.Object

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

Field Detail

mPERs2

public static final @org.checkerframework.checker.units.qual.mPERs2 int mPERs2

See Also:

Constant Field Values

rad

public static final @org.checkerframework.checker.units.qual.radians double rad

See Also:

Constant Field Values

deg

public static final @org.checkerframework.checker.units.qual.degrees double deg

See Also:

Constant Field Values

mm2

public static final @org.checkerframework.checker.units.qual.mm2 int mm2

See Also:

Constant Field Values

m2

public static final @org.checkerframework.checker.units.qual.m2 int m2

See Also:

Constant Field Values

km2

public static final @org.checkerframework.checker.units.qual.km2 int km2

See Also:

Constant Field Values

mm3

public static final @org.checkerframework.checker.units.qual.mm3 int mm3

See Also:

Constant Field Values

m3

public static final @org.checkerframework.checker.units.qual.m3 int m3

See Also:

Constant Field Values

km3

public static final @org.checkerframework.checker.units.qual.km3 int km3

See Also:

Constant Field Values

A

public static final @org.checkerframework.checker.units.qual.A int A

See Also:

Constant Field Values

cd

public static final @org.checkerframework.checker.units.qual.cd int cd

See Also:

Constant Field Values

mm

public static final @org.checkerframework.checker.units.qual.mm int mm

See Also:

Constant Field Values

m

public static final @org.checkerframework.checker.units.qual.m int m

See Also:

Constant Field Values

km

public static final @org.checkerframework.checker.units.qual.km int km

See Also:

Constant Field Values

g

public static final @org.checkerframework.checker.units.qual.g int g

See Also:

Constant Field Values

kg

public static final @org.checkerframework.checker.units.qual.kg int kg

See Also:

Constant Field Values

t

public static final @org.checkerframework.checker.units.qual.t int t

See Also:

Constant Field Values

N

public static final @org.checkerframework.checker.units.qual.N int N

See Also:

Constant Field Values

kN

public static final @org.checkerframework.checker.units.qual.kN int kN

See Also:

Constant Field Values

mPERs

public static final @org.checkerframework.checker.units.qual.mPERs int mPERs

See Also:

Constant Field Values

kmPERh

public static final @org.checkerframework.checker.units.qual.kmPERh int kmPERh

See Also:

Constant Field Values

mol

public static final @org.checkerframework.checker.units.qual.mol int mol

See Also:

Constant Field Values

K

public static final @org.checkerframework.checker.units.qual.K int K

See Also:

Constant Field Values

C

public static final @org.checkerframework.checker.units.qual.C int C

See Also:

Constant Field Values

s

public static final @org.checkerframework.checker.units.qual.s int s

See Also:

Constant Field Values

min

public static final @org.checkerframework.checker.units.qual.min int min

See Also:

Constant Field Values

h

public static final @org.checkerframework.checker.units.qual.h int h

See Also:

Constant Field Values

Constructor Detail

UnitsTools

public UnitsTools()

Method Detail

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)