Java Code Examples for org.eclipse.xtext.xbase.typesystem.IResolvedTypes#getReturnType()

The following examples show how to use org.eclipse.xtext.xbase.typesystem.IResolvedTypes#getReturnType() . You can vote up the ones you like or vote down the ones you don't like, and go to the original project or source file by following the links above each example. You may check out the related API usage on the sidebar.

Example 1

Source File: AbstractXbaseCompiler.java From xtext-extras with Eclipse Public License 2.0

6 votes

protected LightweightTypeReference getTypeForVariableDeclaration(XExpression expr) {
	IResolvedTypes resolvedTypes = getResolvedTypes(expr);
	LightweightTypeReference actualType = resolvedTypes.getActualType(expr);
	if (actualType.isPrimitiveVoid()) {
		LightweightTypeReference expectedType = resolvedTypes.getExpectedType(expr);
		if (expectedType == null) {
			expectedType = resolvedTypes.getExpectedReturnType(expr);
			if (expectedType == null) {
				expectedType = resolvedTypes.getReturnType(expr);
			}
		}
		if (expectedType != null && !expectedType.isPrimitiveVoid()) {
			actualType = expectedType;
		}
	}
	return actualType;
}

Example 2

Source File: AbstractBatchReturnTypeTest.java From xtext-extras with Eclipse Public License 2.0

6 votes

@Override
public LightweightTypeReference resolvesTo(final String expression, final String type) {
  try {
    final String replacedExpressionText = expression.replace("$$", "org::eclipse::xtext::xbase::lib::");
    final XExpression xExpression = this.expression(replacedExpressionText, false);
    Assert.assertTrue(xExpression.eResource().getErrors().toString(), xExpression.eResource().getErrors().isEmpty());
    Assert.assertTrue(xExpression.eResource().getWarnings().toString(), xExpression.eResource().getWarnings().isEmpty());
    final IResolvedTypes resolvedTypes = this.getTypeResolver().resolveTypes(xExpression);
    final LightweightTypeReference resolvedType = resolvedTypes.getReturnType(xExpression);
    Assert.assertEquals(replacedExpressionText, type, resolvedType.getSimpleName());
    Assert.assertTrue(this.getLinkingAndSyntaxErrors(xExpression.eResource()).toString(), IterableExtensions.isEmpty(this.getLinkingAndSyntaxErrors(xExpression.eResource())));
    Assert.assertTrue(xExpression.eResource().getWarnings().toString(), xExpression.eResource().getWarnings().isEmpty());
    return resolvedType;
  } catch (Throwable _e) {
    throw Exceptions.sneakyThrow(_e);
  }
}

Example 3

Source File: SARLCodeMiningProvider.java From sarl with Apache License 2.0

6 votes

/** Replies the type for a variable declaration that is initialized with the given expression.
 *
 * @param expr the expression.
 * @return the variable type.
 */
protected LightweightTypeReference getTypeForVariableDeclaration(XExpression expr) {
	final IResolvedTypes resolvedTypes = getResolvedTypes(expr);
	LightweightTypeReference actualType = resolvedTypes.getActualType(expr);
	if (actualType.isPrimitiveVoid()) {
		LightweightTypeReference expectedType = resolvedTypes.getExpectedType(expr);
		if (expectedType == null) {
			expectedType = resolvedTypes.getExpectedReturnType(expr);
			if (expectedType == null) {
				expectedType = resolvedTypes.getReturnType(expr);
			}
		}
		if (expectedType != null && !expectedType.isPrimitiveVoid()) {
			actualType = expectedType;
		}
	}
	return actualType;
}

Example 4

Source File: LogicalContainerAwareReentrantTypeResolver.java From xtext-extras with Eclipse Public License 2.0

5 votes

protected JvmTypeReference doGetTypReferenceWithAnotherTypeReference() {
	IResolvedTypes resolveTypes = typeResolver.resolveTypes(expression);
	LightweightTypeReference actualType = returnType ? resolveTypes.getReturnType(expression) : resolveTypes.getActualType(expression);
	if (actualType == null) {
		actualType = returnType ? resolvedTypes.getExpectedReturnType(expression) : resolvedTypes.getExpectedType(expression);
	}
	if (actualType == null)
		return null;
	return toJavaCompliantTypeReference(convertLocalType(actualType), session);
}

Example 5

Source File: PermutingBatchReturnTypeResolverTest.java From xtext-extras with Eclipse Public License 2.0

5 votes

@Override
public LightweightTypeReference resolvesTo(String expression, String type) {
	try {
		String replacedExpressionText = expression.replace("$$", "org::eclipse::xtext::xbase::lib::");
		XExpression xExpression = expression(replacedExpressionText, false);
		Assert.assertTrue(xExpression.eResource().getErrors().toString(), xExpression.eResource().getErrors().isEmpty());
		Assert.assertTrue(xExpression.eResource().getWarnings().toString(), xExpression.eResource().getWarnings().isEmpty());
		if (!hasReturnExpression(xExpression)) {
			doResolvesTo("return (" + replacedExpressionText + ")", type);
			doResolvesTo("{ { return (" + replacedExpressionText + ") } }", type);
			doResolvesTo("return {" + replacedExpressionText + "}", type);
			doResolvesTo("{ { return { ( if (true) " + replacedExpressionText + " ) {" + replacedExpressionText + "} }", type);
		} else {
			doResolvesTo("{ " + replacedExpressionText + " }", type);
			doResolvesTo("{ ( if (true) " + replacedExpressionText + " ) {" + replacedExpressionText + "} }", type);
		}
		IResolvedTypes resolvedTypes = getTypeResolver().resolveTypes(xExpression);
		LightweightTypeReference resolvedType = resolvedTypes.getReturnType(xExpression);
		Assert.assertEquals(replacedExpressionText, type, resolvedType.getSimpleName());
		Assert.assertTrue(getLinkingAndSyntaxErrors(xExpression.eResource()).toString(),
				Iterables.isEmpty(getLinkingAndSyntaxErrors(xExpression.eResource())));
		Assert.assertTrue(xExpression.eResource().getWarnings().toString(), xExpression.eResource().getWarnings().isEmpty());
		return resolvedType;
	} catch (Exception e) {
		throw Exceptions.sneakyThrow(e);
	}
}

Example 6

Source File: AbstractBatchReturnTypeTest.java From xtext-extras with Eclipse Public License 2.0

5 votes

public void doResolvesTo(final String expression, final String type) {
  try {
    final XExpression parsedExpression = this.expression(expression, false);
    final IResolvedTypes resolvedTypes = this.getTypeResolver().resolveTypes(parsedExpression);
    final LightweightTypeReference resolvedType = resolvedTypes.getReturnType(parsedExpression);
    Assert.assertEquals(expression, type, resolvedType.getSimpleName());
  } catch (Throwable _e) {
    throw Exceptions.sneakyThrow(_e);
  }
}

Example 7

Source File: ExtractMethodRefactoring.java From xtext-xtend with Eclipse Public License 2.0

5 votes

protected LightweightTypeReference calculateReturnType(IResolvedTypes resolvedTypes) {
	List<LightweightTypeReference> returnTypes = newArrayList();
	for(XExpression expression: expressions) {
		LightweightTypeReference expressionReturnType = resolvedTypes.getReturnType(expression, expression != lastExpression);
		if(expressionReturnType != null)
			returnTypes.add(expressionReturnType);
	}
	StandardTypeReferenceOwner owner = new StandardTypeReferenceOwner(typeComputationServices, xtendClass);
	return typeComputationServices.getTypeConformanceComputer().getCommonSuperType(returnTypes, owner);
}

Example 8

Source File: CompoundReentrantTypeResolver.java From xtext-extras with Eclipse Public License 2.0

4 votes

@Override
public LightweightTypeReference getReturnType(XExpression expression) {
	IResolvedTypes delegate = getDelegate(expression);
	return delegate.getReturnType(expression);
}

Example 9

Source File: CompoundReentrantTypeResolver.java From xtext-extras with Eclipse Public License 2.0

4 votes

@Override
public LightweightTypeReference getReturnType(XExpression expression, boolean onlyExplicitReturn) {
	IResolvedTypes delegate = getDelegate(expression);
	return delegate.getReturnType(expression, onlyExplicitReturn);
}

Example 10

Source File: AbstractXbaseCompiler.java From xtext-extras with Eclipse Public License 2.0

4 votes

protected LightweightTypeReference getLightweightReturnType(XExpression expr) {
	IResolvedTypes resolvedTypes = getResolvedTypes(expr);
	LightweightTypeReference returnType = resolvedTypes.getReturnType(expr);
	return returnType;
}