terminal MEASURE:
	INT ('.' INT)? ('in'|'mm'|'cm'|'dm'|'m'|'in2'|'mm2'|'cm2'|'dm2'|'m2'|'in3'|'mm3'|'cm3'|'dm3'|'m3'|'lb'|'mg'|'g'|'kg');

terminal MEASURE_TERMINAL:
	(INT '.')? INT ('in'|'mm'|'cm'|'dm'|'m'|'in2'|'mm2'|'cm2'|'dm2'|'m2'|'in3'|'mm3'|'cm3'|'dm3'|'m3'|'lb'|'mg'|'g'|'kg');

terminal MT: DOUBLEVALUE UNIT;

terminal DOUBLEVALUE returns ecore::EDouble:
'-'? INT ('.' INT)?;

terminal UNIT: 
'in'|'mm'|'cm'|'dm'|'m'
|'in2'|'mm2'|'cm2'|'dm2'|'m2'
|'in3'|'mm3'|'cm3'|'dm3'|'m3'
|'lb'|'mg'|'g'|'kg';

terminal MT returns ecore::EString:
'-'? INT ('.' INT)? UNIT;

XExpressionOrVarDeclaration returns xbase::XExpression:
	=>XDistanceLiteral | super;	

XDistanceLiteral:
	=>value=Measure
;	

Measure:
	=>(INT UNIT)
;

ValidID:
	ID | 'in'|'mm'|'cm'|'dm'|'m'
|'in2'|'mm2'|'cm2'|'dm2'|'m2'
|'in3'|'mm3'|'cm3'|'dm3'|'m3'
|'lb'|'mg'|'g'|'kg'
;



 UNIT: 
'in'|'mm'|'cm'|'dm'|'m'
|'in2'|'mm2'|'cm2'|'dm2'|'m2'
|'in3'|'mm3'|'cm3'|'dm3'|'m3'
|'lb'|'mg'|'g'|'kg';

class Demo {
	
	def static void main(String[] args) {
		var m = 1.mm
		var n = 2.mm
		var result = m + n
	}
	
	def static mm(int n) {
		return new MM(n)
	}
	
	def static operator_plus(MM a, MM b) {
		return new MM(a.value + b.value)
	}
	
}

@Data
class MM {
	int value
}

class ModelDslSynonymTypesProvider extends SynonymTypesProvider {
	@Inject extension LightweightTypeReferenceFactory 

	override protected boolean collectCustomSynonymTypes(LightweightTypeReference type, Acceptor acceptor) {
		if(type.invariantBoundSubstitute.isType(Measure)) {
			val lwDouble = toLightweightReference( .....  findTypeByName("java.lang.Double"))
			return announceSynonym(lwDouble, ConformanceFlags.DEMAND_CONVERSION, acceptor);
		}

		return true
	}}