/*
* Copyright (C) 2014 Google, Inc.
*
* 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 retrofacebook.processor;
import retrofacebook.RetroFacebook;
import com.google.auto.common.MoreElements;
import com.google.auto.common.MoreTypes;
import com.google.common.base.Equivalence;
import com.google.common.base.Optional;
import com.google.common.collect.FluentIterable;
import com.google.common.collect.ImmutableList;
import com.google.common.collect.ImmutableMap;
import com.google.common.collect.ImmutableSet;
import com.google.common.collect.Iterables;
import com.google.common.collect.Maps;
import com.google.common.collect.Sets;
import java.beans.Introspector;
import java.util.ArrayList;
import java.util.Iterator;
import java.util.List;
import java.util.Map;
import java.util.Set;
import java.util.TreeMap;
import javax.annotation.processing.ProcessingEnvironment;
import javax.lang.model.element.Element;
import javax.lang.model.element.ElementKind;
import javax.lang.model.element.ExecutableElement;
import javax.lang.model.element.Modifier;
import javax.lang.model.element.TypeElement;
import javax.lang.model.element.TypeParameterElement;
import javax.lang.model.element.VariableElement;
import javax.lang.model.type.DeclaredType;
import javax.lang.model.type.ErrorType;
import javax.lang.model.type.TypeKind;
import javax.lang.model.type.TypeMirror;
import javax.lang.model.type.TypeVariable;
import javax.lang.model.type.TypeVisitor;
import javax.lang.model.util.ElementFilter;
import javax.lang.model.util.Elements;
import javax.lang.model.util.SimpleTypeVisitor6;
import javax.lang.model.util.Types;
/**
* Support for RetroFacebook builders.
*
* @author Éamonn McManus
*/
class BuilderSpec {
private static final Equivalence<TypeMirror> TYPE_EQUIVALENCE = MoreTypes.equivalence();
private final TypeElement autoValueClass;
private final Elements elementUtils;
private final ErrorReporter errorReporter;
BuilderSpec(
TypeElement autoValueClass,
ProcessingEnvironment processingEnv,
ErrorReporter errorReporter) {
this.autoValueClass = autoValueClass;
this.elementUtils = processingEnv.getElementUtils();
this.errorReporter = errorReporter;
}
private static final Set<ElementKind> CLASS_OR_INTERFACE =
Sets.immutableEnumSet(ElementKind.CLASS, ElementKind.INTERFACE);
/**
* Determines if the {@code @RetroFacebook} class for this instance has a correct nested
* {@code @RetroFacebook.Builder} class or interface and return a representation of it in an
* {@code Optional} if so.
*/
Optional<Builder> getBuilder() {
Optional<TypeElement> builderTypeElement = Optional.absent();
for (TypeElement containedClass : ElementFilter.typesIn(autoValueClass.getEnclosedElements())) {
if (MoreElements.isAnnotationPresent(containedClass, RetroFacebook.Builder.class)) {
if (!CLASS_OR_INTERFACE.contains(containedClass.getKind())) {
errorReporter.reportError(
"@RetroFacebook.Builder can only apply to a class or an interface", containedClass);
} else if (builderTypeElement.isPresent()) {
errorReporter.reportError(
autoValueClass + " already has a Builder: " + builderTypeElement.get(),
containedClass);
} else {
builderTypeElement = Optional.of(containedClass);
}
}
}
Optional<ExecutableElement> validateMethod = Optional.absent();
for (ExecutableElement containedMethod :
ElementFilter.methodsIn(autoValueClass.getEnclosedElements())) {
if (MoreElements.isAnnotationPresent(containedMethod, RetroFacebook.Validate.class)) {
if (containedMethod.getModifiers().contains(Modifier.STATIC)) {
errorReporter.reportError(
"@RetroFacebook.Validate cannot apply to a static method", containedMethod);
} else if (!containedMethod.getParameters().isEmpty()) {
errorReporter.reportError(
"@RetroFacebook.Validate method must not have parameters", containedMethod);
} else if (containedMethod.getReturnType().getKind() != TypeKind.VOID) {
errorReporter.reportError(
"Return type of @RetroFacebook.Validate method must be void", containedMethod);
} else if (validateMethod.isPresent()) {
errorReporter.reportError(
"There can only be one @RetroFacebook.Validate method", containedMethod);
} else {
validateMethod = Optional.of(containedMethod);
}
}
}
if (builderTypeElement.isPresent()) {
return builderFrom(builderTypeElement.get(), validateMethod);
} else {
if (validateMethod.isPresent()) {
errorReporter.reportError(
"@RetroFacebook.Validate is only meaningful if there is an @RetroFacebook.Builder",
validateMethod.get());
}
return Optional.absent();
}
}
/**
* Representation of an {@code RetroFacebook.Builder} class or interface.
*/
class Builder {
private final TypeElement builderTypeElement;
private final ExecutableElement buildMethod;
private final ImmutableList<ExecutableElement> setters;
private final Optional<ExecutableElement> validateMethod;
Builder(
TypeElement builderTypeElement,
ExecutableElement build,
List<ExecutableElement> setters,
Optional<ExecutableElement> validateMethod) {
this.builderTypeElement = builderTypeElement;
this.buildMethod = build;
this.setters = ImmutableList.copyOf(setters);
this.validateMethod = validateMethod;
}
ExecutableElement buildMethod() {
return buildMethod;
}
/**
* Returns a map from property name to setter method. If the setter methods are invalid
* (for example not every getter has a setter, or some setters don't correspond to getters)
* then emits an error message and returns null.
*
* @param getterToPropertyName a list of getter methods, such as {@code abstract String foo();}
* or {@code abstract String getFoo();}.
*/
private Map<String, ExecutableElement> makeSetterMap(
Map<ExecutableElement, String> getterToPropertyName) {
// Map property names to types based on the getters.
Map<String, TypeMirror> getterMap = new TreeMap<String, TypeMirror>();
for (Map.Entry<ExecutableElement, String> entry : getterToPropertyName.entrySet()) {
getterMap.put(entry.getValue(), entry.getKey().getReturnType());
}
Map<String, ExecutableElement> noPrefixMap = Maps.newLinkedHashMap();
Map<String, ExecutableElement> prefixMap = Maps.newLinkedHashMap();
boolean ok = true;
// For each setter, check that its name and type correspond to a getter, and remove it from
// the map if so.
for (ExecutableElement setter : setters) {
Map<String, ExecutableElement> map = noPrefixMap;
String name = setter.getSimpleName().toString();
TypeMirror type = getterMap.get(name);
if (type == null && name.startsWith("set")) {
name = Introspector.decapitalize(name.substring(3));
type = getterMap.get(name);
map = prefixMap;
}
if (type == null) {
errorReporter.reportError(
"Method does not correspond to a property of " + autoValueClass, setter);
ok = false;
} else {
VariableElement parameter = Iterables.getOnlyElement(setter.getParameters());
if (TYPE_EQUIVALENCE.equivalent(type, parameter.asType())) {
getterMap.remove(name);
map.put(name, setter);
} else {
errorReporter.reportError("Parameter type should be " + type, parameter);
ok = false;
}
}
}
if (!ok) {
return null;
}
boolean prefixing = !prefixMap.isEmpty();
if (prefixing && !noPrefixMap.isEmpty()) {
errorReporter.reportError(
"If any setter methods use the setFoo convention then all must",
noPrefixMap.values().iterator().next());
return null;
}
// If there are any properties left in the map then we didn't see setters for them. Report
// an error for each one separately.
if (!getterMap.isEmpty()) {
for (Map.Entry<String, TypeMirror> entry : getterMap.entrySet()) {
String setterName = prefixing ? prefixWithSet(entry.getKey()) : entry.getKey();
String error = String.format(
"Expected a method with this signature: %s%s %s(%s)",
builderTypeElement,
TypeSimplifier.actualTypeParametersString(builderTypeElement),
setterName,
entry.getValue());
errorReporter.reportError(error, builderTypeElement);
}
return null;
}
return noPrefixMap.isEmpty() ? prefixMap : noPrefixMap;
}
private String prefixWithSet(String propertyName) {
// This is not internationalizationally correct, but it corresponds to what
// Introspector.decapitalize does.
return "set" + Character.toUpperCase(propertyName.charAt(0)) + propertyName.substring(1);
}
/**
* Finds any methods in the set that return the builder type. If the builder has type parameters
* {@code <A, B>}, then the return type of the method must be {@code Builder<A, B>} with
* the same parameter names. We enforce elsewhere that the names and bounds of the builder
* parameters must be the same as those of the @RetroFacebook class. Here's a correct example:
* <pre>
* {@code @RetroFacebook abstract class Foo<A extends Number, B> {
* abstract int someProperty();
*
* abstract Builder<A, B> toBuilder();
*
* interface Builder<A extends Number, B> {...}
* }}
* </pre>
* <p/>
* <p>We currently impose that there cannot be more than one such method.</p>
*/
ImmutableSet<ExecutableElement> toBuilderMethods(
Types typeUtils, Set<ExecutableElement> abstractMethods) {
ImmutableList<String> builderTypeParamNames =
FluentIterable.from(builderTypeElement.getTypeParameters())
.transform(SimpleNameFunction.INSTANCE)
.toList();
ImmutableSet.Builder<ExecutableElement> methods = ImmutableSet.builder();
for (ExecutableElement method : abstractMethods) {
if (builderTypeElement.equals(typeUtils.asElement(method.getReturnType()))) {
methods.add(method);
DeclaredType returnType = MoreTypes.asDeclared(method.getReturnType());
ImmutableList.Builder<String> typeArguments = ImmutableList.builder();
for (TypeMirror typeArgument : returnType.getTypeArguments()) {
if (typeArgument.getKind().equals(TypeKind.TYPEVAR)) {
typeArguments.add(typeUtils.asElement(typeArgument).getSimpleName().toString());
}
}
if (!builderTypeParamNames.equals(typeArguments.build())) {
errorReporter.reportError(
"Builder converter method should return "
+ builderTypeElement
+ TypeSimplifier.actualTypeParametersString(builderTypeElement),
method);
}
}
}
ImmutableSet<ExecutableElement> builderMethods = methods.build();
if (builderMethods.size() > 1) {
errorReporter.reportError(
"There can be at most one builder converter method", builderMethods.iterator().next());
}
return builderMethods;
}
void defineVars(
RetroFacebookTemplateVars vars,
TypeSimplifier typeSimplifier,
Map<ExecutableElement, String> getterToPropertyName) {
Map<String, ExecutableElement> propertyNameToSetter = makeSetterMap(getterToPropertyName);
if (propertyNameToSetter == null) {
return;
}
vars.builderIsInterface = builderTypeElement.getKind() == ElementKind.INTERFACE;
vars.builderTypeName = TypeSimplifier.classNameOf(builderTypeElement);
vars.builderFormalTypes = typeSimplifier.formalTypeParametersString(builderTypeElement);
vars.builderActualTypes = TypeSimplifier.actualTypeParametersString(builderTypeElement);
vars.buildMethodName = buildMethod.getSimpleName().toString();
if (validateMethod.isPresent()) {
vars.validators = ImmutableSet.of(validateMethod.get().getSimpleName().toString());
} else {
vars.validators = ImmutableSet.of();
}
ImmutableMap.Builder<String, String> setterNameBuilder = ImmutableMap.builder();
for (Map.Entry<String, ExecutableElement> entry : propertyNameToSetter.entrySet()) {
setterNameBuilder.put(entry.getKey(), entry.getValue().getSimpleName().toString());
}
vars.builderSetterNames = setterNameBuilder.build();
}
}
/**
* Returns a representation of the given {@code @RetroFacebook.Builder} class or interface. If the
* class or interface has abstract methods that could not be part of any builder, emits error
* messages and returns null.
*/
private Optional<Builder> builderFrom(
TypeElement builderTypeElement, Optional<ExecutableElement> validateMethod) {
// We require the builder to have the same type parameters as the @RetroFacebook class, meaning the
// same names and bounds. In principle the type parameters could have different names, but that
// would be confusing, and our code would reject it anyway because it wouldn't consider that
// the return type of Foo<U> build() was really the same as the declaration of Foo<T>. This
// check produces a better error message in that case and similar ones.
boolean ok = true;
int nTypeParameters = autoValueClass.getTypeParameters().size();
if (nTypeParameters != builderTypeElement.getTypeParameters().size()) {
ok = false;
} else {
for (int i = 0; i < nTypeParameters; i++) {
TypeParameterElement autoValueParam = autoValueClass.getTypeParameters().get(i);
TypeParameterElement builderParam = builderTypeElement.getTypeParameters().get(i);
if (!autoValueParam.getSimpleName().equals(builderParam.getSimpleName())) {
ok = false;
break;
}
Set<TypeMirror> autoValueBounds = new TypeMirrorSet(autoValueParam.getBounds());
Set<TypeMirror> builderBounds = new TypeMirrorSet(builderParam.getBounds());
if (!autoValueBounds.equals(builderBounds)) {
ok = false;
break;
}
}
}
if (!ok) {
errorReporter.reportError(
"Type parameters of " + builderTypeElement + " must have same names and bounds as "
+ "type parameters of " + autoValueClass, builderTypeElement);
return Optional.absent();
}
String typeParams = TypeSimplifier.actualTypeParametersString(autoValueClass);
List<ExecutableElement> buildMethods = new ArrayList<ExecutableElement>();
List<ExecutableElement> setterMethods = new ArrayList<ExecutableElement>();
// For each abstract method (in builderTypeElement or inherited), check that it is either
// a setter method or a build method. A setter method has one argument and returns
// builderTypeElement. A build method has no arguments and returns the @RetroFacebook class.
// Record each method in one of the two lists.
for (ExecutableElement method : abstractMethods(builderTypeElement)) {
boolean thisOk = false;
int nParameters = method.getParameters().size();
if (nParameters == 0
&& TYPE_EQUIVALENCE.equivalent(method.getReturnType(), autoValueClass.asType())) {
buildMethods.add(method);
thisOk = true;
} else if (nParameters == 1
&& TYPE_EQUIVALENCE.equivalent(method.getReturnType(), builderTypeElement.asType())) {
setterMethods.add(method);
thisOk = true;
}
if (!thisOk) {
errorReporter.reportError(
"Builder methods must either have no arguments and return "
+ autoValueClass + typeParams + " or have one argument and return "
+ builderTypeElement + typeParams,
method);
ok = false;
}
}
if (buildMethods.isEmpty()) {
errorReporter.reportError(
"Builder must have a single no-argument method returning "
+ autoValueClass + typeParams,
builderTypeElement);
ok = false;
} else if (buildMethods.size() > 1) {
// More than one eligible build method. Emit an error for each one, that is attached to
// that build method.
for (ExecutableElement buildMethod : buildMethods) {
errorReporter.reportError(
"Builder must have a single no-argument method returning "
+ autoValueClass + typeParams,
buildMethod);
}
ok = false;
}
if (ok) {
return Optional.of(new Builder(
builderTypeElement,
Iterables.getOnlyElement(buildMethods),
setterMethods,
validateMethod));
} else {
return Optional.absent();
}
}
// Return a list of all abstract methods in the given TypeElement or inherited from ancestors.
private List<ExecutableElement> abstractMethods(TypeElement typeElement) {
List<ExecutableElement> methods = new ArrayList<ExecutableElement>();
addAbstractMethods(typeElement.asType(), methods);
return methods;
}
private static final TypeVisitor<Element, Void> AS_ELEMENT_VISITOR =
new SimpleTypeVisitor6<Element, Void>() {
@Override protected Element defaultAction(TypeMirror e, Void p) {
throw new IllegalArgumentException(e + "cannot be converted to an Element");
}
@Override public Element visitDeclared(DeclaredType t, Void p) {
return t.asElement();
}
@Override public Element visitError(ErrorType t, Void p) {
return t.asElement();
}
@Override public Element visitTypeVariable(TypeVariable t, Void p) {
return t.asElement();
}
};
private void addAbstractMethods(
TypeMirror typeMirror, List<ExecutableElement> abstractMethods) {
if (typeMirror.getKind() != TypeKind.DECLARED) {
return;
}
TypeElement typeElement = MoreElements.asType(typeMirror.accept(AS_ELEMENT_VISITOR, null));
addAbstractMethods(typeElement.getSuperclass(), abstractMethods);
for (TypeMirror interfaceMirror : typeElement.getInterfaces()) {
addAbstractMethods(interfaceMirror, abstractMethods);
}
for (ExecutableElement method : ElementFilter.methodsIn(typeElement.getEnclosedElements())) {
for (Iterator<ExecutableElement> it = abstractMethods.iterator(); it.hasNext(); ) {
ExecutableElement maybeOverridden = it.next();
if (elementUtils.overrides(method, maybeOverridden, typeElement)) {
it.remove();
}
}
if (method.getModifiers().contains(Modifier.ABSTRACT)) {
abstractMethods.add(method);
}
}
}
}
