tests/org.eclipse.qvtd.xtext.qvtcore.tests/src/org/eclipse/qvtd/xtext/qvtcore/tests/models/type_check.qvtc

transformation umlRdbms {
	middle imports tuml2rdbms;
	uml imports umlMM;
	rdbms imports rdbmsMM;
}

map Map in umlRdbms
{
	check uml (p:Package) {
	  b:String,c:Class,cl:Classifier |
	  b := Class;
	  p.name := String;
	  p.name := 12;
	  p.name := p;
	  c := cl;
	  cl:= c;
	}
	where middle () {
	}
}