tests/org.eclipse.m2m.tests.qvt.oml/unparserTestData/sources/invalidConfigProp/invalidConfigProp.qvto

modeltype ECORE uses 'http://www.eclipse.org/emf/2002/Ecore';

transformation invalidConfigProp(inout module:ECORE);

configuration property intProp : Integer;
configuration property realProp : Real;
configuration property boolProp : Boolean;

main() {
	-- if we get here check for undefined	
	assert fatal (boolProp.oclIsUndefined());
	assert fatal (boolProp = null);	
	assert fatal (not boolProp.oclIsInvalid());
	
	assert fatal (intProp.oclIsUndefined());
	assert fatal (intProp = null);	
	assert fatal (not intProp.oclIsInvalid());
	
	assert fatal (realProp.oclIsUndefined());
	assert fatal (realProp = null);	
	assert fatal (not realProp.oclIsInvalid());	
	
}