component Comp1[A] {
	port p : A
}

component Comp2 {
	instance p1 : Comp1[String]
}

grammar org.xtext.example.mydsl.MyDsl with org.eclipse.xtext.xbase.Xbase

generate myDsl "http://www.xtext.org/example/mydsl/MyDsl"

Model:
	components+=Component*;

Component:
	'component' name=ValidID 
	(("<"|"[") typeParameters+=JvmTypeParameter ("," typeParameters+=JvmTypeParameter)* (">"|"]"))?
	'{'
	(
		ports+=Port
		|parts+=Part
	)*
	'}';
		
Part:
	'instance' name=ValidID ':' reference=ParameterizedComponentReference;
	
ParameterizedComponentReference:
	component=[Component] (=>("<"|"[") arguments+=JvmArgumentTypeReference ("," arguments+=JvmArgumentTypeReference)* ("<"|"]"))?;
	
Port:
	"port" name=ValidID ":" typeReference=JvmParameterizedTypeReference;

def dispatch void infer(Component component, IJvmDeclaredTypeAcceptor acceptor, boolean isPreIndexingPhase) {
   		acceptor.accept(component.toClass("mypackage."+component.name)[
   			typeParameters += component.typeParameters.map[cloneWithProxies]
   		]).initializeLater[
   			
   			//ports
   			for(port : component.ports) {
   				members += port.toField(port.name, port.typeReference)
   			}
   			//parts
   			for(part : component.parts) {
   				members += part.toMethod(part.name, part.reference.toType)[
   					visibility = JvmVisibility::PROTECTED
   				];
   			}
   		]
   	}
   	
   	def dispatch private JvmTypeReference toType(Component component) {
   		val ref = component.jvmElements.head
   		if(ref != null && ref instanceof JvmType) {
			return (ref as JvmType).newTypeRef()
		}
		return null
   	}
   	
   	def dispatch private JvmTypeReference toType(ParameterizedComponentReference ref) {
   		val type = ref.component.jvmElements.head as JvmType
   		if(type != null) {
   			val res = type.newTypeRef(ref.arguments)
   		 	ref.associate(res)
   		 	res
   		}
   	}

@Check
	def checkInstancePortType(Part instance) {
		for(port : instance.reference.component.ports) {
			println(getActualType(port.jvmElements.head as JvmField))
		}
		
	}

	@Check
	def checkInstancePortType(Part instance) {
		for(port : instance.reference.component.ports) {
			
			val partR = (instance.jvmElements.head as JvmField).type
			val portO = (port.jvmElements.head as JvmField)
			
			println(getRealType(partR, portO))
		}
		
	}
	
	def getRealType(JvmTypeReference type, JvmField f) {
		val part = type.toLightweightTypeReference;
		val mapping = new ConstraintAwareTypeArgumentCollector(part.owner).getTypeParameterMapping(part);
		new StandardTypeParameterSubstitutor(mapping, part.owner).substitute(f.type);
	}