org.codehaus.groovy.control.GenericsVisitor Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of groovy-all-minimal Show documentation
Show all versions of groovy-all-minimal Show documentation
Groovy: A powerful, dynamic language for the JVM
/*
* Copyright 2003-2007 the original author or authors.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package org.codehaus.groovy.control;
import org.codehaus.groovy.ast.ClassCodeVisitorSupport;
import org.codehaus.groovy.ast.ClassNode;
import org.codehaus.groovy.ast.GenericsType;
/**
* class used to verify correct usage of generics in
* class header (class and superclass declaration)
* @author Jochen Theodorou
*/
public class GenericsVisitor extends ClassCodeVisitorSupport {
private SourceUnit source;
public GenericsVisitor(SourceUnit source) {
this.source = source;
}
protected SourceUnit getSourceUnit() {
return source;
}
public void visitClass(ClassNode node) {
boolean error=checkWildcard(node);
if (error) return;
checkGenericsUsage(node.getUnresolvedSuperClass(false), node.getSuperClass());
ClassNode[] interfaces = node.getInterfaces();
for (int i = 0; i < interfaces.length; i++) {
checkGenericsUsage(interfaces[i], interfaces[i].redirect());
}
}
private boolean checkWildcard(ClassNode cn) {
ClassNode sn = cn.getUnresolvedSuperClass(false);
if (sn==null) return false;
GenericsType[] generics = sn.getGenericsTypes();
if (generics==null) return false;
boolean error=false;
for (int i = 0; i < generics.length; i++) {
if(generics[i].isWildcard()) {
addError("A supertype may not specifiy a wildcard type",sn);
error = true;
}
}
return error;
}
private void checkGenericsUsage(ClassNode n, ClassNode cn) {
GenericsType[] nTypes = n.getGenericsTypes();
GenericsType[] cnTypes = cn.getGenericsTypes();
// raw type usage is always allowed
if (nTypes==null) return;
// parameterize a type by using all of the parameters only
if (cnTypes==null) {
addError( "The class "+n.getName()+" refers to the class "+
cn.getName()+" and uses "+nTypes.length+
" parameters, but the referred class takes no parameters", n);
return;
}
if (nTypes.length!=cnTypes.length) {
addError( "The class "+n.getName()+" refers to the class "+
cn.getName()+" and uses "+nTypes.length+
" parameters, but the refered class needs "+
cnTypes.length, n);
return;
}
// check bounds
for (int i=0; i",n);
}
}
}
private String getPrintName(GenericsType gt) {
String ret = gt.getName();
ClassNode[] upperBounds = gt.getUpperBounds();
ClassNode lowerBound = gt.getLowerBound();
if (upperBounds!=null) {
ret += " extends ";
for (int i = 0; i < upperBounds.length; i++) {
ret += getPrintName(upperBounds[i]);
if (i+1