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

    Constructors
    Constructor
    Description
     
  • 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)