blob: bdd2043c53493361e0fbc8de65d1a4e0ce2d6d8a [file] [log] [blame]
This directory shows how to create:
* a new kind, @Frequency
* a new unit, Hertz (@Hz)
* a unit Kilohertz (@kHz) which is an alias annotation of @Hz(Prefix.kilo):
using @kHz has the same effect as using @Hz(Prefix.kilo) in source code
* relations that enforce that Hertz is computed as scalar / second,
and that Kilohertz is computed as scalar / millisecond
The make file shows how to invoke the Units Checker to utilize these kinds and units.
You can model your own new units and unit checkers after it.
To see the demo, run: make demo