/*******************************************************************************
* Copyright (c) 2000, 2016 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.eclipse.jdt.ui.tests.core;
import java.util.Hashtable;
import java.util.List;
import org.eclipse.jdt.testplugin.JavaProjectHelper;
import org.eclipse.jdt.testplugin.TestOptions;
import org.eclipse.jdt.core.ICompilationUnit;
import org.eclipse.jdt.core.IJavaProject;
import org.eclipse.jdt.core.IPackageFragment;
import org.eclipse.jdt.core.IPackageFragmentRoot;
import org.eclipse.jdt.core.JavaCore;
import org.eclipse.jdt.core.JavaModelException;
import org.eclipse.jdt.core.compiler.IProblem;
import org.eclipse.jdt.core.dom.ASTParser;
import org.eclipse.jdt.core.dom.CompilationUnit;
import org.eclipse.jdt.core.dom.FieldDeclaration;
import org.eclipse.jdt.core.dom.ITypeBinding;
import org.eclipse.jdt.core.dom.TypeDeclaration;
import org.eclipse.jdt.core.dom.VariableDeclarationFragment;
import org.eclipse.jdt.internal.corext.dom.TypeRules;
import org.eclipse.jdt.internal.corext.dom.IASTSharedValues;
import junit.framework.Test;
import junit.framework.TestSuite;
public class TypeRulesTest extends CoreTests {
private static final Class<TypeRulesTest> THIS= TypeRulesTest.class;
private IJavaProject fJProject1;
private IPackageFragmentRoot fSourceFolder;
public TypeRulesTest(String name) {
super(name);
}
public static Test suite() {
return setUpTest(new TestSuite(THIS));
}
public static Test setUpTest(Test test) {
return new ProjectTestSetup(test);
}
@Override
protected void setUp() throws Exception {
Hashtable<String, String> options= TestOptions.getDefaultOptions();
options.put(JavaCore.COMPILER_PB_NO_EFFECT_ASSIGNMENT, JavaCore.IGNORE);
options.put(JavaCore.COMPILER_PB_UNNECESSARY_TYPE_CHECK, JavaCore.IGNORE);
options.put(JavaCore.COMPILER_PB_UNUSED_LOCAL, JavaCore.IGNORE);
options.put(JavaCore.COMPILER_PB_UNCHECKED_TYPE_OPERATION, JavaCore.IGNORE);
JavaCore.setOptions(options);
fJProject1= ProjectTestSetup.getProject();
fSourceFolder= JavaProjectHelper.addSourceContainer(fJProject1, "src");
}
@Override
protected void tearDown() throws Exception {
JavaProjectHelper.clear(fJProject1, ProjectTestSetup.getDefaultClasspath());
}
private VariableDeclarationFragment[] createVariables() throws JavaModelException {
IPackageFragment pack1= fSourceFolder.createPackageFragment("test1", false, null);
StringBuffer buf= new StringBuffer();
buf.append("package test1;\n");
buf.append("import java.util.Vector;\n");
buf.append("import java.util.Collection;\n");
buf.append("import java.io.Serializable;\n");
buf.append("import java.net.Socket;\n");
buf.append("public class E<T, U extends Number> {\n");
buf.append(" boolean bool= false;\n");
buf.append(" char c= 0;\n");
buf.append(" byte b= 0;\n");
buf.append(" short s= 0;\n");
buf.append(" int i= 0;\n");
buf.append(" long l= 0;\n");
buf.append(" float f= 0;\n");
buf.append(" double d= 0;\n");
buf.append(" Boolean bool_class= null;\n");
buf.append(" Character c_class= null;\n");
buf.append(" Byte b_class= null;\n");
buf.append(" Short s_class= null;\n");
buf.append(" Integer i_class= null;\n");
buf.append(" Long l_class= null;\n");
buf.append(" Float f_class= null;\n");
buf.append(" Double d_class= null;\n");
buf.append(" Object object= null;\n");
buf.append(" Vector vector= null;\n");
buf.append(" Socket socket= null;\n");
buf.append(" Cloneable cloneable= null;\n");
buf.append(" Collection collection= null;\n");
buf.append(" Serializable serializable= null;\n");
buf.append(" Object[] objectArr= null;\n");
buf.append(" int[] int_arr= null;\n");
buf.append(" long[] long_arr= null;\n");
buf.append(" Vector[] vector_arr= null;\n");
buf.append(" Socket[] socket_arr= null;\n");
buf.append(" Collection[] collection_arr= null;\n");
buf.append(" Object[][] objectArrArr= null;\n");
buf.append(" Collection[][] collection_arrarr= null;\n");
buf.append(" Vector[][] vector_arrarr= null;\n");
buf.append(" Socket[][] socket_arrarr= null;\n");
buf.append(" Collection<String> collection_string= null;\n");
buf.append(" Collection<Object> collection_object= null;\n");
buf.append(" Collection<Number> collection_number= null;\n");
buf.append(" Collection<Integer> collection_integer= null;\n");
buf.append(" Collection<? extends Number> collection_upper_number= null;\n");
buf.append(" Collection<? super Number> collection_lower_number= null;\n");
buf.append(" Vector<Object> vector_object= null;\n");
buf.append(" Vector<Number> vector_number= null;\n");
buf.append(" Vector<Integer> vector_integer= null;\n");
buf.append(" Vector<? extends Number> vector_upper_number= null;\n");
buf.append(" Vector<? super Number> vector_lower_number= null;\n");
buf.append(" Vector<? extends Exception> vector_upper_exception= null;\n");
buf.append(" Vector<? super Exception> vector_lower_exception= null;\n");
buf.append(" T t= null;\n");
buf.append(" U u= null;\n");
buf.append(" Vector<T> vector_t= null;\n");
buf.append(" Vector<U> vector_u= null;\n");
buf.append(" Vector<? extends T> vector_upper_t= null;\n");
buf.append(" Vector<? extends U> vector_upper_u= null;\n");
buf.append(" Vector<? super T> vector_lower_t= null;\n");
buf.append(" Vector<? super U> vector_lower_u= null;\n");
buf.append("}\n");
ICompilationUnit cu1=pack1.createCompilationUnit("E.java", buf.toString(), false, null);
ASTParser parser= ASTParser.newParser(IASTSharedValues.SHARED_AST_LEVEL);
parser.setSource(cu1);
parser.setResolveBindings(true);
CompilationUnit astRoot= (CompilationUnit) parser.createAST(null);
IProblem[] problems= astRoot.getProblems();
assertNumberOf("problems", problems.length, 0);
TypeDeclaration type= (TypeDeclaration) astRoot.types().get(0);
FieldDeclaration[] fields= type.getFields();
VariableDeclarationFragment[] targets= new VariableDeclarationFragment[fields.length];
for (int i= 0; i < fields.length; i++) {
List<VariableDeclarationFragment> fragments= fields[i].fragments();
targets[i]= fragments.get(0);
}
return targets;
}
//TODO: only tests behavior for ITypeBindings from the same AST. See bug 80715.
public void testIsAssignmentCompatible() throws Exception {
VariableDeclarationFragment[] targets= createVariables();
StringBuffer errors= new StringBuffer();
for (int k= 0; k < targets.length; k++) {
for (int n= 0; n < targets.length; n++) {
VariableDeclarationFragment f1= targets[k];
VariableDeclarationFragment f2= targets[n];
String line= f2.getName().getIdentifier() + "= " + f1.getName().getIdentifier();
StringBuffer buf= new StringBuffer();
buf.append("package test1;\n");
buf.append("public class F<T, U extends Number> extends E<T, U> {\n");
buf.append(" void foo() {\n");
buf.append(" ").append(line).append(";\n");
buf.append(" }\n");
buf.append("}\n");
char[] content= buf.toString().toCharArray();
ASTParser parser= ASTParser.newParser(IASTSharedValues.SHARED_AST_LEVEL);
parser.setSource(content);
parser.setResolveBindings(true);
parser.setProject(fJProject1);
parser.setUnitName("F.java");
CompilationUnit astRoot= (CompilationUnit) parser.createAST(null);
IProblem[] problems= astRoot.getProblems();
ITypeBinding b1= f1.resolveBinding().getType();
assertNotNull(b1);
ITypeBinding b2= f2.resolveBinding().getType();
assertNotNull(b2);
boolean res2= b1.isAssignmentCompatible(b2);
if (res2 != (problems.length == 0)) {
errors.append(line).append('\n');
}
}
}
assertTrue(errors.toString(), errors.length() == 0);
}
public void testCanAssign() throws Exception {
VariableDeclarationFragment[] targets= createVariables();
StringBuffer errors= new StringBuffer();
for (int k= 0; k < targets.length; k++) {
for (int n= 0; n < targets.length; n++) {
VariableDeclarationFragment f1= targets[k];
VariableDeclarationFragment f2= targets[n];
String line= f2.getName().getIdentifier() + "= " + f1.getName().getIdentifier();
StringBuffer buf= new StringBuffer();
buf.append("package test1;\n");
buf.append("public class F<T, U extends Number> extends E<T, U> {\n");
buf.append(" void foo() {\n");
buf.append(" ").append(line).append(";\n");
buf.append(" }\n");
buf.append("}\n");
char[] content= buf.toString().toCharArray();
ASTParser parser= ASTParser.newParser(IASTSharedValues.SHARED_AST_LEVEL);
parser.setSource(content);
parser.setResolveBindings(true);
parser.setProject(fJProject1);
parser.setUnitName("F.java");
CompilationUnit astRoot= (CompilationUnit) parser.createAST(null);
IProblem[] problems= astRoot.getProblems();
ITypeBinding b1= f1.resolveBinding().getType();
assertNotNull(b1);
ITypeBinding b2= f2.resolveBinding().getType();
assertNotNull(b2);
boolean res2= TypeRules.canAssign(b1, b2);
if (res2 != (problems.length == 0)) {
errors.append(line).append('\n');
}
}
}
assertTrue(errors.toString(), errors.length() == 0);
}
public void testIsCastCompatible() throws Exception {
StringBuffer errors= new StringBuffer();
VariableDeclarationFragment[] targets= createVariables();
for (int k= 0; k < targets.length; k++) {
for (int n= 0; n < targets.length; n++) {
VariableDeclarationFragment f1= targets[k];
VariableDeclarationFragment f2= targets[n];
String castType= f2.resolveBinding().getType().getQualifiedName();
String line= castType + " x= (" + castType + ") " + f1.getName().getIdentifier();
StringBuffer buf= new StringBuffer();
buf.append("package test1;\n");
buf.append("public class F<T, U extends Number> extends E<T, U> {\n");
buf.append(" void foo() {\n");
buf.append(" ").append(line).append(";\n");
buf.append(" }\n");
buf.append("}\n");
char[] content= buf.toString().toCharArray();
ASTParser parser= ASTParser.newParser(IASTSharedValues.SHARED_AST_LEVEL);
parser.setSource(content);
parser.setResolveBindings(true);
parser.setProject(fJProject1);
parser.setUnitName("F.java");
CompilationUnit astRoot= null;
astRoot= (CompilationUnit) parser.createAST(null);
IProblem[] problems= astRoot.getProblems();
ITypeBinding b1= f1.resolveBinding().getType();
assertNotNull(b1);
ITypeBinding b2= f2.resolveBinding().getType();
assertNotNull(b2);
boolean res= b2.isCastCompatible(b1);
if (res != (problems.length == 0)) {
errors.append(line).append('\n');
}
}
}
assertTrue(errors.toString(), errors.length() == 0);
}
public void testCanCast() throws Exception {
StringBuffer errors= new StringBuffer();
VariableDeclarationFragment[] targets= createVariables();
for (int k= 0; k < targets.length; k++) {
for (int n= 0; n < targets.length; n++) {
VariableDeclarationFragment f1= targets[k];
VariableDeclarationFragment f2= targets[n];
String castType= f2.resolveBinding().getType().getQualifiedName();
String line= castType + " x= (" + castType + ") " + f1.getName().getIdentifier();
StringBuffer buf= new StringBuffer();
buf.append("package test1;\n");
buf.append("public class F<T, U extends Number> extends E<T, U> {\n");
buf.append(" void foo() {\n");
buf.append(" ").append(line).append(";\n");
buf.append(" }\n");
buf.append("}\n");
char[] content= buf.toString().toCharArray();
ASTParser parser= ASTParser.newParser(IASTSharedValues.SHARED_AST_LEVEL);
parser.setSource(content);
parser.setResolveBindings(true);
parser.setProject(fJProject1);
parser.setUnitName("F.java");
ITypeBinding b1= f1.resolveBinding().getType();
assertNotNull(b1);
ITypeBinding b2= f2.resolveBinding().getType();
assertNotNull(b2);
//old implementation does not support generics:
if (b1.isParameterizedType() || b1.isWildcardType() || b1.isTypeVariable())
continue;
if (b2.isParameterizedType() || b2.isWildcardType() || b2.isTypeVariable())
continue;
if (b1.isRawType() != b2.isRawType())
continue;
//old implementation does not support autoboxing:
if (b1.isPrimitive() != b2.isPrimitive())
continue;
CompilationUnit astRoot= null;
astRoot= (CompilationUnit) parser.createAST(null);
IProblem[] problems= astRoot.getProblems();
boolean res= TypeRules.canCast(b2, b1);
if (res != (problems.length == 0)) {
errors.append(line).append('\n');
}
}
}
assertTrue(errors.toString(), errors.length() == 0);
}
}