Package org.checkerframework.checker.units.util

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