org.eclipse.xtext.xbase.typesystem.internal.TypeData Java Examples

@Test
public void testTypeOnlyRegisteredOnce_01() throws Exception {
	resolver.setTypeComputer(this);
	XExpression expression = expression("{ null }");
	resolver.initializeFrom(expression);
	PublicResolvedTypes resolution = new PublicResolvedTypes(resolver);
	AnyTypeReference any = resolution.getReferenceOwner().newAnyTypeReference();
	new ExpressionBasedRootTypeComputationState(resolution, resolver.getBatchScopeProvider().newSession(expression.eResource()),
			expression, any).computeTypes();
	Map<XExpression, List<TypeData>> expressionTypes = resolution.basicGetExpressionTypes();
	List<TypeData> typesForNullLiteral = expressionTypes.get(getFirst(((XBlockExpression) expression).getExpressions(), null));
	assertEquals(typesForNullLiteral.toString(), 1, size(filter(typesForNullLiteral, it -> it.isReturnType())));
	assertEquals(typesForNullLiteral.toString(), 1, size(filter(typesForNullLiteral, it -> !it.isReturnType())));
	List<TypeData> typesForBlock = expressionTypes.get(expression);
	assertEquals(typesForBlock.toString(), 1, size(filter(typesForBlock, it -> it.isReturnType())));
	assertEquals(typesForBlock.toString(), 1, size(filter(typesForBlock, it -> !it.isReturnType())));
}
 

@Test
public void testTypeOnlyRegisteredOnce_02() throws Exception {
	XMemberFeatureCall expression = ((XMemberFeatureCall) expression("1.toString"));
	resolver.initializeFrom(expression);
	PublicResolvedTypes resolution = new PublicResolvedTypes(resolver);
	AnyTypeReference any = resolution.getReferenceOwner().newAnyTypeReference();
	new ExpressionBasedRootTypeComputationState(resolution, resolver.getBatchScopeProvider().newSession(expression.eResource()),
			expression, any).computeTypes();
	Map<XExpression, List<TypeData>> expressionTypes = resolution.basicGetExpressionTypes();
	TreeIterator<EObject> allContents = expression.eAllContents();
	while (allContents.hasNext()) {
		EObject o = allContents.next();
		List<TypeData> types = expressionTypes.get(o);
		assertEquals(types.toString(), 1, size(filter(types, it -> !it.isReturnType())));
	}
}
 

@Ignore("TODO FixMe")
@Test
public void testTypeOnlyRegisteredOnce_03() throws Exception {
	XMemberFeatureCall expression = ((XMemberFeatureCall) expression("<String>newArrayList.map[toUpperCase]"));
	resolver.initializeFrom(expression);
	PublicResolvedTypes resolution = new PublicResolvedTypes(resolver);
	AnyTypeReference any = resolution.getReferenceOwner().newAnyTypeReference();
	new ExpressionBasedRootTypeComputationState(resolution, resolver.getBatchScopeProvider().newSession(expression.eResource()),
			expression, any).computeTypes();
	Map<XExpression, List<TypeData>> expressionTypes = resolution.basicGetExpressionTypes();
	TreeIterator<EObject> allContents = expression.eAllContents();
	while (allContents.hasNext()) {
		EObject o = allContents.next();
		List<TypeData> typesForMemberFeatureCall = expressionTypes.get((o));
		assertEquals(o + " " + typesForMemberFeatureCall.toString(), 1,
				IterableExtensions.size(filter(typesForMemberFeatureCall, it -> it.isReturnType())));
		assertEquals(typesForMemberFeatureCall.toString(), 1,
				IterableExtensions.size(filter(typesForMemberFeatureCall, it -> !it.isReturnType())));
	}
}
 

@Test
public void testTypeOnlyRegisteredOnce_04() throws Exception {
	XNumberLiteral expression = ((XNumberLiteral) expression("1"));
	resolver.initializeFrom(expression);
	PublicResolvedTypes resolution = new PublicResolvedTypes(resolver);
	AnyTypeReference any = resolution.getReferenceOwner().newAnyTypeReference();
	new ExpressionBasedRootTypeComputationState(resolution, resolver.getBatchScopeProvider().newSession(expression.eResource()),
			expression, any).computeTypes();
	Map<XExpression, List<TypeData>> expressionTypes = resolution.basicGetExpressionTypes();
	TreeIterator<EObject> allContents = expression.eAllContents();
	while (allContents.hasNext()) {
		EObject o = allContents.next();
		List<TypeData> types = expressionTypes.get((o));
		assertEquals(types.toString(), 1, size(filter(types, it -> !it.isReturnType())));
	}
}
 

@Override
public TypeData mergeTypeData(XExpression expression, List<TypeData> allValues, boolean returnType, boolean nullIfEmpty) {
	for (TypeData it : allValues) {
		if (!it.isOwnedBy(getReferenceOwner())) {
			throw new IllegalArgumentException("result is not owned by this resolved types");
		}
	}
	TypeData result = super.mergeTypeData(expression, allValues, returnType, nullIfEmpty);
	if (!result.isOwnedBy(getReferenceOwner())) {
		throw new IllegalArgumentException("result is not owned by this resolved types");
	}
	return result;
}
 

@Override
public TypeData mergeTypeData(XExpression expression, List<TypeData> allValues, boolean returnType, boolean nullIfEmpty) {
	for (TypeData it : allValues) {
		if (!it.isOwnedBy(getReferenceOwner())) {
			throw new IllegalArgumentException("result is not owned by this resolved types");
		}
	}
	TypeData result = super.mergeTypeData(expression, allValues, returnType, nullIfEmpty);
	if (!result.isOwnedBy(getReferenceOwner())) {
		throw new IllegalArgumentException("result is not owned by this resolved types");
	}
	return result;
}
 

@Override
public void acceptType(XExpression expression, TypeData typeData) {
	if (!typeData.isOwnedBy(getReferenceOwner())) {
		throw new IllegalArgumentException("typeData is not owned by this resolved types");
	}
	super.acceptType(expression, typeData);
}
 

@Override
public List<TypeData> doGetTypeData(XExpression expression) {
	List<TypeData> result = super.doGetTypeData(expression);
	if (result != null) {
		for (TypeData it : result) {
			if (!it.isOwnedBy(getReferenceOwner())) {
				throw new IllegalArgumentException("result is not owned by this resolved types");
			}
		}
	}
	return result;
}
 

@Override
public TypeData mergeTypeData(XExpression expression, List<TypeData> allValues, boolean returnType, boolean nullIfEmpty) {
	for (TypeData it : allValues) {
		if (!it.isOwnedBy(getReferenceOwner())) {
			throw new IllegalArgumentException("result is not owned by this resolved types");
		}
	}
	TypeData result = super.mergeTypeData(expression, allValues, returnType, nullIfEmpty);
	if (result != null && !result.isOwnedBy(getReferenceOwner())) {
		throw new IllegalArgumentException("result is not owned by this resolved types");
	}
	return result;
}
 

@Override
public TypeData mergeTypeData(XExpression expression, List<TypeData> allValues, boolean returnType, boolean nullIfEmpty) {
	for (TypeData it : allValues) {
		if (!it.isOwnedBy(getReferenceOwner())) {
			throw new IllegalArgumentException("result is not owned by this resolved types");
		}
	}
	TypeData result = super.mergeTypeData(expression, allValues, returnType, nullIfEmpty);
	if (!result.isOwnedBy(getReferenceOwner())) {
		throw new IllegalArgumentException("result is not owned by this resolved types");
	}
	return result;
}
 

@Override
public Map<XExpression, List<TypeData>> basicGetExpressionTypes() {
	return super.basicGetExpressionTypes();
}
 

@Override
public Map<XExpression, List<TypeData>> basicGetExpressionTypes() {
	return super.basicGetExpressionTypes();
}
 

@Override
public Map<XExpression, List<TypeData>> basicGetExpressionTypes() {
	return super.basicGetExpressionTypes();
}
 

@Override
public Map<XExpression, List<TypeData>> basicGetExpressionTypes() {
  return super.basicGetExpressionTypes();
}