Complete JavDoc can be found here.
HMR (HeKatE Meta Language) is a human-readable notation for building models for HeaRTDroid. Models in HMR can be generated manually, or exported from the HQEd editor.