com.sun.enterprise.tools.apt.ContractFinder Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of auto-depends-plugin Show documentation
Show all versions of auto-depends-plugin Show documentation
Index generator for auto-depends
/*
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
*
* Copyright (c) 2007-2013 Oracle and/or its affiliates. All rights reserved.
*
* The contents of this file are subject to the terms of either the GNU
* General Public License Version 2 only ("GPL") or the Common Development
* and Distribution License("CDDL") (collectively, the "License"). You
* may not use this file except in compliance with the License. You can
* obtain a copy of the License at
* https://glassfish.dev.java.net/public/CDDL+GPL_1_1.html
* or packager/legal/LICENSE.txt. See the License for the specific
* language governing permissions and limitations under the License.
*
* When distributing the software, include this License Header Notice in each
* file and include the License file at packager/legal/LICENSE.txt.
*
* GPL Classpath Exception:
* Oracle designates this particular file as subject to the "Classpath"
* exception as provided by Oracle in the GPL Version 2 section of the License
* file that accompanied this code.
*
* Modifications:
* If applicable, add the following below the License Header, with the fields
* enclosed by brackets [] replaced by your own identifying information:
* "Portions Copyright [year] [name of copyright owner]"
*
* Contributor(s):
* If you wish your version of this file to be governed by only the CDDL or
* only the GPL Version 2, indicate your decision by adding "[Contributor]
* elects to include this software in this distribution under the [CDDL or GPL
* Version 2] license." If you don't indicate a single choice of license, a
* recipient has the option to distribute your version of this file under
* either the CDDL, the GPL Version 2 or to extend the choice of license to
* its licensees as provided above. However, if you add GPL Version 2 code
* and therefore, elected the GPL Version 2 license, then the option applies
* only if the new code is made subject to such option by the copyright
* holder.
*/
package com.sun.enterprise.tools.apt;
import org.jvnet.hk2.annotations.Contract;
import javax.lang.model.element.ElementKind;
import javax.lang.model.element.TypeElement;
import javax.lang.model.type.DeclaredType;
import javax.lang.model.type.TypeKind;
import javax.lang.model.type.TypeMirror;
import java.util.HashSet;
import java.util.Set;
/**
* Given a {@link TypeElement},
* find all super-types that have {@link Contract},
* including ones pointed by {@link ContractProvided}.
*
* @author Kohsuke Kawaguchi
*/
public class ContractFinder {
/**
* The entry point.
*/
public static Set find(TypeElement d) {
return new ContractFinder().check(d).result;
}
/**
* {@link TypeElement}s whose contracts are already checked.
*/
private final Set checkedInterfaces = new HashSet();
private final Set result = new HashSet();
private ContractFinder() {
}
private ContractFinder check(TypeElement d) {
// traverse up the inheritance tree and find all supertypes that have @Contract
while(true) {
checkSuperInterfaces(d);
if (ElementKind.CLASS.equals(d.getKind())) {
checkContract(d);
TypeMirror sc = d.getSuperclass();
if (sc.getKind().equals(TypeKind.NONE))
break;
d = (TypeElement) ((DeclaredType) sc).asElement();
} else
break;
}
return this;
}
private void checkContract(TypeElement type) {
if (type.getAnnotation(Contract.class) != null)
result.add(type);
}
private void checkSuperInterfaces(TypeElement d) {
for (TypeMirror intf : d.getInterfaces()) {
TypeElement i = (TypeElement) ((DeclaredType) intf).asElement();
if(checkedInterfaces.add(i)) {
checkContract(i);
checkSuperInterfaces(i);
}
}
}
}