/* (c) https://github.com/MontiCore/monticore */
package de.monticore.siunit;

/* This is a MontiCore stable grammar.
 * Adaptations -- if any -- are conservative. */

/**
 * This grammar declares SI unit also as types 
 * based on all the available SI unit definitions
 *
 * The definitions are fully compliant to the definitions given in
 *   International Bureau of Weights and Measures (20 May 2019),
 *   SI Brochure: The International System of Units (SI)
 *   (9th ed.)
 *
 * With this definition an SI Unit such as "kg/m" 
 * can also be used as type definition.
 * Note that this form does not preclude a numeric type, such as "int" 
 * or "float". Instead it assumes an (idealistic) mathematical 
 * form of type definition for math. variables.
 *
 * An extension of the typecheck algorithms is available.
 * The typecheck ensures correct typing of mathematical expressions. 
 * 
 */

component grammar SIUnitTypes4Math extends
        de.monticore.siunit.SIUnits,
        de.monticore.types.MCBasicTypes  {

  SIUnitType implements MCType =
    "[" SIUnit "]";
}