use of org.eclipse.xtext.xbase.XBlockExpression in project xtext-xtend by eclipse.
the class LinkingTest method testBug464264_01.
@Test
public void testBug464264_01() throws Exception {
XtendFile file = file("import java.util.List\n" + "class C {\n" + " def m(I i, List<CharSequence> list) {\n" + " i.strings += list.map[it]\n" + " }\n" + " interface I {\n" + " def List<String> getStrings()\n" + " }\n" + "}");
XtendClass c = (XtendClass) file.getXtendTypes().get(0);
XtendFunction m = (XtendFunction) c.getMembers().get(0);
XBlockExpression body = (XBlockExpression) m.getExpression();
XBinaryOperation featureCall = (XBinaryOperation) body.getExpressions().get(0);
JvmIdentifiableElement feature = featureCall.getFeature();
assertEquals("org.eclipse.xtext.xbase.lib.CollectionExtensions.operator_add(java.util.Collection,java.lang.Iterable)", feature.getIdentifier());
assertNull(featureCall.getImplicitReceiver());
assertNull(featureCall.getImplicitFirstArgument());
List<Diagnostic> errors = c.eResource().getErrors();
assertEquals(1, errors.size());
assertEquals("Type mismatch: cannot convert from List<CharSequence> to Iterable<? extends String>", errors.get(0).getMessage());
}
use of org.eclipse.xtext.xbase.XBlockExpression in project xtext-xtend by eclipse.
the class Bug409780Test method testConstraintsInfluenceFeatureScope_02.
@Test
public void testConstraintsInfluenceFeatureScope_02() throws Exception {
XtendFile file = file("class C {\n" + " def private a(Iterable<CharSequence> it) {\n" + " map[ b.append('') ]\n" + " }\n" + " def private <T extends Appendable> T b(CharSequence c) {}\n" + "}");
XtendClass c = (XtendClass) file.getXtendTypes().get(0);
XtendFunction m = (XtendFunction) c.getMembers().get(0);
XBlockExpression body = (XBlockExpression) m.getExpression();
XFeatureCall featureCall = (XFeatureCall) body.getExpressions().get(0);
JvmIdentifiableElement method = featureCall.getFeature();
assertEquals("org.eclipse.xtext.xbase.lib.IterableExtensions.map(java.lang.Iterable,org.eclipse.xtext.xbase.lib.Functions$Function1)", method.getIdentifier());
assertTrue(featureCall.isStatic());
assertTrue(featureCall.isExtension());
assertFalse(featureCall.isTypeLiteral());
LightweightTypeReference type = getType(featureCall);
assertEquals("java.lang.Iterable<java.lang.Appendable>", type.getIdentifier());
}
use of org.eclipse.xtext.xbase.XBlockExpression in project xtext-xtend by eclipse.
the class Bug409780Test method testMissingTypeArgumentInference.
@Test
public void testMissingTypeArgumentInference() throws Exception {
XtendFile file = file("class C {\n" + " def private <T extends Appendable> Iterable<T> a(Iterable<CharSequence> it) {\n" + " map[ b ]\n" + " }\n" + " def private <T extends Appendable> T b(CharSequence c) {}\n" + "}");
XtendClass c = (XtendClass) file.getXtendTypes().get(0);
XtendFunction m = (XtendFunction) c.getMembers().get(0);
XBlockExpression body = (XBlockExpression) m.getExpression();
XFeatureCall featureCall = (XFeatureCall) body.getExpressions().get(0);
JvmIdentifiableElement method = featureCall.getFeature();
assertEquals("org.eclipse.xtext.xbase.lib.IterableExtensions.map(java.lang.Iterable,org.eclipse.xtext.xbase.lib.Functions$Function1)", method.getIdentifier());
assertTrue(featureCall.isStatic());
assertTrue(featureCall.isExtension());
assertFalse(featureCall.isTypeLiteral());
LightweightTypeReference type = getType(featureCall);
assertEquals("java.lang.Iterable<T>", type.getIdentifier());
LightweightTypeReference expectedType = getExpectedType(featureCall);
assertEquals("java.lang.Iterable<T>", expectedType.getIdentifier());
}
use of org.eclipse.xtext.xbase.XBlockExpression in project xtext-xtend by eclipse.
the class TypeProviderTest method testTypeOfRichStringWithNoExpectedString_1.
@Test
public void testTypeOfRichStringWithNoExpectedString_1() throws Exception {
XtendFunction function = function("def foo(String x) {" + "println('''someString''')" + "}");
XBlockExpression block = (XBlockExpression) function.getExpression();
XAbstractFeatureCall call = (XAbstractFeatureCall) block.getExpressions().get(0);
XExpression expression = call.getExplicitArguments().get(0);
// TODO propagate the expectation better via unbound type parameters
// could still be a charsequence, here
assertEquals("java.lang.String", getType(expression).getIdentifier());
}
use of org.eclipse.xtext.xbase.XBlockExpression in project xtext-xtend by eclipse.
the class TypeProviderTest method doTestBug403357.
protected void doTestBug403357(String expression, String expectation) throws Exception {
XtendFile file = file("import java.util.List\n" + "class C {\n" + " def static m() {\n" + " printMe(" + expression + ")\n" + " " + expression + ".printMe\n" + " val list = " + expression + "\n" + " printMe(list)\n" + " list.printMe\n" + " }\n" + " static def void printMe(List<String> listOfStrings) {}" + "}\n");
XtendClass c = (XtendClass) file.getXtendTypes().get(0);
XtendFunction function = (XtendFunction) c.getMembers().get(0);
XBlockExpression body = (XBlockExpression) function.getExpression();
XFeatureCall featureCall = (XFeatureCall) body.getExpressions().get(0);
XExpression firstArgument = featureCall.getFeatureCallArguments().get(0);
assertEquals(expectation, getType(firstArgument).getSimpleName());
XMemberFeatureCall memberFeatureCall = (XMemberFeatureCall) body.getExpressions().get(1);
XExpression target = memberFeatureCall.getMemberCallTarget();
assertEquals(expectation, getType(target).getSimpleName());
XFeatureCall deferredFeatureCall = (XFeatureCall) body.getExpressions().get(3);
XExpression deferredFirstArgument = deferredFeatureCall.getFeatureCallArguments().get(0);
assertEquals(expectation, getType(deferredFirstArgument).getSimpleName());
XMemberFeatureCall deferredMemberFeatureCall = (XMemberFeatureCall) body.getExpressions().get(4);
XExpression deferredTarget = deferredMemberFeatureCall.getMemberCallTarget();
assertEquals(expectation, getType(deferredTarget).getSimpleName());
}
Aggregations