package arez.processor;

import com.palantir.javapoet.ParameterizedTypeName;
import com.palantir.javapoet.TypeName;
import java.io.IOException;
import java.util.ArrayList;
import java.util.Arrays;
import java.util.Collection;
import java.util.Collections;
import java.util.HashMap;
import java.util.HashSet;
import java.util.LinkedHashMap;
import java.util.List;
import java.util.Locale;
import java.util.Map;
import java.util.Objects;
import java.util.Set;
import java.util.function.Function;
import java.util.regex.Matcher;
import java.util.regex.Pattern;
import java.util.regex.PatternSyntaxException;
import javax.annotation.Nonnull;
import javax.annotation.Nullable;
import javax.annotation.processing.ProcessingEnvironment;
import javax.annotation.processing.RoundEnvironment;
import javax.annotation.processing.SupportedAnnotationTypes;
import javax.annotation.processing.SupportedOptions;
import javax.annotation.processing.SupportedSourceVersion;
import javax.lang.model.AnnotatedConstruct;
import javax.lang.model.SourceVersion;
import javax.lang.model.element.AnnotationMirror;
import javax.lang.model.element.AnnotationValue;
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.VariableElement;
import javax.lang.model.type.DeclaredType;
import javax.lang.model.type.ExecutableType;
import javax.lang.model.type.TypeKind;
import javax.lang.model.type.TypeMirror;
import javax.lang.model.util.ElementFilter;
import javax.lang.model.util.Elements;
import javax.lang.model.util.Types;
import org.realityforge.proton.AbstractStandardProcessor;
import org.realityforge.proton.AnnotationsUtil;
import org.realityforge.proton.DeferredElementSet;
import org.realityforge.proton.ElementsUtil;
import org.realityforge.proton.MemberChecks;
import org.realityforge.proton.ProcessorException;
import org.realityforge.proton.StopWatch;
import org.realityforge.proton.SuperficialValidation;
import org.realityforge.proton.TypesUtil;
import static javax.tools.Diagnostic.Kind.*;

/**
 * Annotation processor that analyzes Arez annotated source and generates models from the annotations.
 */
@SupportedAnnotationTypes( "arez.annotations.*" )
@SupportedSourceVersion( SourceVersion.RELEASE_17 )
@SupportedOptions( { "arez.defer.unresolved",
                     "arez.defer.errors",
                     "arez.debug",
                     "arez.format_generated_source",
                     "arez.profile",
                     "arez.verbose_out_of_round.errors",
                     "arez.warnings_as_errors" } )
public final class ArezProcessor
  extends AbstractStandardProcessor
{
  @Nonnull
  static final Pattern GETTER_PATTERN = Pattern.compile( "^get([A-Z].*)$" );
  @Nonnull
  private static final Pattern ON_ACTIVATE_PATTERN = Pattern.compile( "^on([A-Z].*)Activate$" );
  @Nonnull
  private static final Pattern ON_DEACTIVATE_PATTERN = Pattern.compile( "^on([A-Z].*)Deactivate$" );
  @Nonnull
  private static final Pattern SETTER_PATTERN = Pattern.compile( "^set([A-Z].*)$" );
  @Nonnull
  private static final Pattern ISSER_PATTERN = Pattern.compile( "^is([A-Z].*)$" );
  @Nonnull
  private static final Pattern OBSERVABLE_INITIAL_METHOD_PATTERN = Pattern.compile( "^getInitial([A-Z].*)$" );
  @Nonnull
  private static final Pattern OBSERVABLE_INITIAL_FIELD_PATTERN = Pattern.compile( "^INITIAL_([A-Z].*)$" );
  @Nonnull
  private static final List<String> OBJECT_METHODS =
    Arrays.asList( "hashCode", "equals", "clone", "toString", "finalize", "getClass", "wait", "notifyAll", "notify" );
  @Nonnull
  private static final List<String> AREZ_SPECIAL_METHODS =
    Arrays.asList( "observe", "dispose", "isDisposed", "getArezId" );
  @Nonnull
  private static final String AREZ_COMPONENT_LIKE_DESCRIPTION =
    "@ArezComponentLike or an annotation annotated by @ActAsArezComponent";
  @Nonnull
  private static final String AREZ_COMPONENT_LIKE_TYPE_DESCRIPTION = "an Arez component-like type";
  @Nonnull
  private static final List<String> MISPLACED_USAGE_ANNOTATION_CLASSNAMES =
    Arrays.asList( Constants.ACTION_CLASSNAME,
                   Constants.REQUIRES_TRANSACTION_CLASSNAME,
                   Constants.OBSERVE_CLASSNAME,
                   Constants.OBSERVABLE_CLASSNAME,
                   Constants.MEMOIZE_CLASSNAME,
                   Constants.MEMOIZE_CONTEXT_PARAMETER_CLASSNAME,
                   Constants.COMPONENT_ID_CLASSNAME,
                   Constants.COMPONENT_ID_REF_CLASSNAME,
                   Constants.COMPONENT_REF_CLASSNAME,
                   Constants.COMPONENT_NAME_REF_CLASSNAME,
                   Constants.COMPONENT_TYPE_NAME_REF_CLASSNAME,
                   Constants.COMPONENT_STATE_REF_CLASSNAME,
                   Constants.CONTEXT_REF_CLASSNAME,
                   Constants.OBSERVABLE_VALUE_REF_CLASSNAME,
                   Constants.COMPUTABLE_VALUE_REF_CLASSNAME,
                   Constants.OBSERVER_REF_CLASSNAME,
                   Constants.POST_CONSTRUCT_CLASSNAME,
                   Constants.PRE_DISPOSE_CLASSNAME,
                   Constants.POST_DISPOSE_CLASSNAME,
                   Constants.ON_ACTIVATE_CLASSNAME,
                   Constants.ON_DEACTIVATE_CLASSNAME,
                   Constants.ON_DEPS_CHANGE_CLASSNAME,
                   Constants.REFERENCE_CLASSNAME,
                   Constants.REFERENCE_ID_CLASSNAME,
                   Constants.INVERSE_CLASSNAME,
                   Constants.PRE_INVERSE_REMOVE_CLASSNAME,
                   Constants.POST_INVERSE_ADD_CLASSNAME,
                   Constants.AUTO_OBSERVE_CLASSNAME,
                   Constants.CASCADE_DISPOSE_CLASSNAME,
                   Constants.COMPONENT_DEPENDENCY_CLASSNAME,
                   Constants.OBSERVABLE_INITIAL_CLASSNAME,
                   Constants.SUPPRESS_AREZ_WARNINGS_CLASSNAME );
  @Nonnull
  private static final List<String> METHOD_ANNOTATIONS =
    Arrays.asList( Constants.ACTION_CLASSNAME,
                   Constants.REQUIRES_TRANSACTION_CLASSNAME,
                   Constants.AUTO_OBSERVE_CLASSNAME,
                   Constants.OBSERVE_CLASSNAME,
                   Constants.ON_DEPS_CHANGE_CLASSNAME,
                   Constants.OBSERVER_REF_CLASSNAME,
                   Constants.OBSERVABLE_CLASSNAME,
                   Constants.OBSERVABLE_INITIAL_CLASSNAME,
                   Constants.OBSERVABLE_VALUE_REF_CLASSNAME,
                   Constants.MEMOIZE_CLASSNAME,
                   Constants.MEMOIZE_CONTEXT_PARAMETER_CLASSNAME,
                   Constants.COMPUTABLE_VALUE_REF_CLASSNAME,
                   Constants.COMPONENT_REF_CLASSNAME,
                   Constants.COMPONENT_ID_CLASSNAME,
                   Constants.COMPONENT_ID_REF_CLASSNAME,
                   Constants.COMPONENT_NAME_REF_CLASSNAME,
                   Constants.COMPONENT_TYPE_NAME_REF_CLASSNAME,
                   Constants.COMPONENT_STATE_REF_CLASSNAME,
                   Constants.CASCADE_DISPOSE_CLASSNAME,
                   Constants.CONTEXT_REF_CLASSNAME,
                   Constants.POST_CONSTRUCT_CLASSNAME,
                   Constants.PRE_DISPOSE_CLASSNAME,
                   Constants.POST_DISPOSE_CLASSNAME,
                   Constants.REFERENCE_CLASSNAME,
                   Constants.REFERENCE_ID_CLASSNAME,
                   Constants.INVERSE_CLASSNAME,
                   Constants.PRE_INVERSE_REMOVE_CLASSNAME,
                   Constants.POST_INVERSE_ADD_CLASSNAME,
                   Constants.ON_ACTIVATE_CLASSNAME,
                   Constants.ON_DEACTIVATE_CLASSNAME,
                   Constants.COMPONENT_DEPENDENCY_CLASSNAME );
  @Nonnull
  private static final Pattern ID_GETTER_PATTERN = Pattern.compile( "^get([A-Z].*)Id$" );
  @Nonnull
  private static final Pattern RAW_ID_GETTER_PATTERN = Pattern.compile( "^(.*)Id$" );
  @Nonnull
  private static final Pattern OBSERVABLE_REF_PATTERN = Pattern.compile( "^get([A-Z].*)ObservableValue$" );
  @Nonnull
  private static final Pattern COMPUTABLE_VALUE_REF_PATTERN = Pattern.compile( "^get([A-Z].*)ComputableValue$" );
  @Nonnull
  private static final Pattern OBSERVER_REF_PATTERN = Pattern.compile( "^get([A-Z].*)Observer$" );
  @Nonnull
  private static final Pattern ON_DEPS_CHANGE_PATTERN = Pattern.compile( "^on([A-Z].*)DepsChange" );
  @Nonnull
  private static final Pattern PRE_INVERSE_REMOVE_PATTERN = Pattern.compile( "^pre([A-Z].*)Remove" );
  @Nonnull
  private static final Pattern POST_INVERSE_ADD_PATTERN = Pattern.compile( "^post([A-Z].*)Add" );
  @Nonnull
  private static final Pattern CAPTURE_PATTERN = Pattern.compile( "^capture([A-Z].*)" );
  @Nonnull
  private static final Pattern POP_PATTERN = Pattern.compile( "^pop([A-Z].*)" );
  @Nonnull
  private static final Pattern PUSH_PATTERN = Pattern.compile( "^push([A-Z].*)" );
  @Nonnull
  private final DeferredElementSet _deferredTypes = new DeferredElementSet();
  @Nonnull
  private final StopWatch _analyzeComponentStopWatch = new StopWatch( "Analyze Component" );

  @Override
  @Nonnull
  protected String getIssueTrackerURL()
  {
    return "https://github.com/arez/arez/issues";
  }

  @Nonnull
  @Override
  protected String getOptionPrefix()
  {
    return "arez";
  }

  @Override
  protected void collectStopWatches( @Nonnull final Collection<StopWatch> stopWatches )
  {
    stopWatches.add( _analyzeComponentStopWatch );
  }

  @Override
  public boolean process( @Nonnull final Set<? extends TypeElement> annotations, @Nonnull final RoundEnvironment env )
  {
    debugAnnotationProcessingRootElements( env );
    collectRootTypeNames( env );
    if ( !env.processingOver() )
    {
      detectMisplacedArezAnnotations( env );
    }
    processTypeElements( annotations,
                         env,
                         Constants.COMPONENT_CLASSNAME,
                         _deferredTypes,
                         _analyzeComponentStopWatch.getName(),
                         this::process,
                         _analyzeComponentStopWatch );
    errorIfProcessingOverAndInvalidTypesDetected( env );
    clearRootTypeNamesIfProcessingOver( env );
    return true;
  }

  private void process( @Nonnull final TypeElement element )
    throws IOException, ProcessorException
  {
    final ComponentDescriptor descriptor = parse( element );
    emitTypeSpec( descriptor.getPackageName(), ComponentGenerator.buildType( processingEnv, descriptor ) );
  }

  private void detectMisplacedArezAnnotations( @Nonnull final RoundEnvironment env )
  {
    final var componentTypes = findComponentTypes( env );
    for ( final var annotationClassname : MISPLACED_USAGE_ANNOTATION_CLASSNAMES )
    {
      final var annotationType = findTypeElement( annotationClassname );
      if ( null == annotationType )
      {
        continue;
      }

      for ( final var element : env.getElementsAnnotatedWith( annotationType ) )
      {
        final var type = findNearestEnclosingType( element );
        if ( null == type || !isValidArezAnnotationContainer( element, type, componentTypes ) )
        {
          final var message =
            "@" + annotationType.getSimpleName() + " is only supported within a type annotated by " +
            "@ArezComponent or " + AREZ_COMPONENT_LIKE_DESCRIPTION;
          processingEnv.getMessager().printMessage( ERROR, message, element );
        }
      }
    }
  }

  @Nullable
  private TypeElement findNearestEnclosingType( @Nonnull final Element element )
  {
    var current = element;
    while ( null != current && !( current instanceof TypeElement ) )
    {
      current = current.getEnclosingElement();
    }
    return (TypeElement) current;
  }

  @Nonnull
  private Set<TypeElement> findComponentTypes( @Nonnull final RoundEnvironment env )
  {
    final var annotationType = findTypeElement( Constants.COMPONENT_CLASSNAME );
    if ( null == annotationType )
    {
      return Collections.emptySet();
    }

    final var componentTypes = new HashSet<TypeElement>();
    for ( final var element : env.getElementsAnnotatedWith( annotationType ) )
    {
      if ( element instanceof TypeElement )
      {
        componentTypes.add( (TypeElement) element );
      }
    }
    return componentTypes;
  }

  private boolean isValidArezAnnotationContainer( @Nonnull final Element element,
                                                  @Nonnull final TypeElement type,
                                                  @Nonnull final Set<TypeElement> componentTypes )
  {
    if ( isArezComponentAnnotated( type ) || isArezComponentLikeAnnotated( type ) )
    {
      return true;
    }
    else if ( element instanceof TypeElement )
    {
      return false;
    }
    else
    {
      final var containerType = processingEnv.getTypeUtils().erasure( type.asType() );
      return
        componentTypes
          .stream()
          .anyMatch( componentType ->
                       !type.equals( componentType ) &&
                       processingEnv.getTypeUtils()
                         .isSubtype( processingEnv.getTypeUtils().erasure( componentType.asType() ), containerType ) );
    }
  }

  @Nonnull
  private ObservableDescriptor addObservable( @Nonnull final ComponentDescriptor component,
                                              @Nonnull final AnnotationMirror annotation,
                                              @Nonnull final ExecutableElement method,
                                              @Nonnull final ExecutableType methodType )
    throws ProcessorException
  {
    MemberChecks.mustBeOverridable( component.getElement(),
                                    Constants.COMPONENT_CLASSNAME,
                                    Constants.OBSERVABLE_CLASSNAME,
                                    method );

    final String declaredName = AnnotationsUtil.getAnnotationValueValue( annotation, "name" );
    final boolean expectSetter = AnnotationsUtil.getAnnotationValueValue( annotation, "expectSetter" );
    final VariableElement readOutsideTransaction =
      AnnotationsUtil.getAnnotationValueValue( annotation, "readOutsideTransaction" );
    final VariableElement writeOutsideTransaction =
      AnnotationsUtil.getAnnotationValueValue( annotation, "writeOutsideTransaction" );
    final boolean setterAlwaysMutates = AnnotationsUtil.getAnnotationValueValue( annotation, "setterAlwaysMutates" );
    final TypeMirror equalityComparator =
      AnnotationsUtil.getAnnotationValueValue( annotation, "equalityComparator" );
    final Boolean requireInitializer = isInitializerRequired( method );

    final TypeMirror returnType = method.getReturnType();
    final String methodName = method.getSimpleName().toString();
    String name;
    final boolean setter;
    if ( TypeKind.VOID == returnType.getKind() )
    {
      setter = true;
      //Should be a setter
      if ( 1 != method.getParameters().size() )
      {
        throw new ProcessorException( "@Observable target should be a setter or getter", method );
      }

      name = deriveName( method, SETTER_PATTERN, declaredName );
      if ( null == name )
      {
        name = methodName;
      }
    }
    else
    {
      setter = false;
      //Must be a getter
      if ( !method.getParameters().isEmpty() )
      {
        throw new ProcessorException( "@Observable target should be a setter or getter", method );
      }
      name = getPropertyAccessorName( method, declaredName );
    }
    // Override name if supplied by user
    if ( !Constants.SENTINEL.equals( declaredName ) )
    {
      name = declaredName;
      if ( !SourceVersion.isIdentifier( name ) )
      {
        throw new ProcessorException( "@Observable target specified an invalid name '" + name + "'. The " +
                                      "name must be a valid java identifier.", method );
      }
      else if ( SourceVersion.isKeyword( name ) )
      {
        throw new ProcessorException( "@Observable target specified an invalid name '" + name + "'. The " +
                                      "name must not be a java keyword.", method );
      }
    }
    checkNameUnique( component, name, method, Constants.OBSERVABLE_CLASSNAME );

    if ( setter && !expectSetter )
    {
      throw new ProcessorException( "Method annotated with @Observable is a setter but defines " +
                                    "expectSetter = false for observable named " + name, method );
    }

    final ObservableDescriptor observable = component.findOrCreateObservable( name );
    final String equalityComparatorClassName = equalityComparator.toString();

    observable.setReadOutsideTransaction( readOutsideTransaction.getSimpleName().toString() );
    observable.setWriteOutsideTransaction( writeOutsideTransaction.getSimpleName().toString() );
    if ( !setterAlwaysMutates )
    {
      observable.setSetterAlwaysMutates( false );
    }
    if ( !expectSetter )
    {
      observable.setExpectSetter( false );
    }
    if ( !observable.expectSetter() )
    {
      if ( observable.hasSetter() )
      {
        throw new ProcessorException( "Method annotated with @Observable defines expectSetter = false but a " +
                                      "setter exists named " + observable.getSetter().getSimpleName() +
                                      "for observable named " + name, method );
      }
    }
    if ( setter )
    {
      observable.setSetterDeclaredEqualityComparator( equalityComparatorClassName );
      if ( observable.hasSetter() )
      {
        throw new ProcessorException( "Method annotated with @Observable defines duplicate setter for " +
                                      "observable named " + name, method );
      }
      if ( !observable.expectSetter() )
      {
        throw new ProcessorException( "Method annotated with @Observable defines expectSetter = false but a " +
                                      "setter exists for observable named " + name, method );
      }
      observable.setSetter( method, methodType );
    }
    else
    {
      observable.setGetterDeclaredEqualityComparator( equalityComparatorClassName );
      if ( observable.hasGetter() )
      {
        throw new ProcessorException( "Method annotated with @Observable defines duplicate getter for " +
                                      "observable named " + name, method );
      }
      observable.setGetter( method, methodType );
    }
    if ( null != requireInitializer )
    {
      if ( !method.getModifiers().contains( Modifier.ABSTRACT ) )
      {
        throw new ProcessorException( "@Observable target set initializer parameter to ENABLED but " +
                                      "method is not abstract.", method );
      }
      final Boolean existing = observable.getInitializer();
      if ( null == existing )
      {
        observable.setInitializer( requireInitializer );
      }
      else if ( existing != requireInitializer )
      {
        throw new ProcessorException( "@Observable target set initializer parameter to value that differs from " +
                                      "the paired observable method.", method );
      }
    }
    return observable;
  }

  private void addObservableValueRef( @Nonnull final ComponentDescriptor component,
                                      @Nonnull final AnnotationMirror annotation,
                                      @Nonnull final ExecutableElement method,
                                      @Nonnull final ExecutableType methodType )
    throws ProcessorException
  {
    mustBeStandardRefMethod( processingEnv,
                             component,
                             method,
                             Constants.OBSERVABLE_VALUE_REF_CLASSNAME );

    final TypeMirror returnType = methodType.getReturnType();
    if ( TypeKind.DECLARED != returnType.getKind() ||
         !ElementsUtil.toRawType( returnType ).toString().equals( "arez.ObservableValue" ) )
    {
      throw new ProcessorException( "Method annotated with @ObservableValueRef must return an instance of " +
                                    "arez.ObservableValue", method );
    }

    final String declaredName = AnnotationsUtil.getAnnotationValueValue( annotation, "name" );
    final String name;
    if ( Constants.SENTINEL.equals( declaredName ) )
    {
      name = deriveName( method, OBSERVABLE_REF_PATTERN, declaredName );
      if ( null == name )
      {
        throw new ProcessorException( "Method annotated with @ObservableValueRef should specify name or be " +
                                      "named according to the convention get[Name]ObservableValue", method );
      }
    }
    else
    {
      name = declaredName;
      if ( !SourceVersion.isIdentifier( name ) )
      {
        throw new ProcessorException( "@ObservableValueRef target specified an invalid name '" + name + "'. The " +
                                      "name must be a valid java identifier.", method );
      }
      else if ( SourceVersion.isKeyword( name ) )
      {
        throw new ProcessorException( "@ObservableValueRef target specified an invalid name '" + name + "'. The " +
                                      "name must not be a java keyword.", method );
      }
    }

    component.findOrCreateObservable( name ).addRefMethod( method, methodType );
  }

  private void addComputableValueRef( @Nonnull final ComponentDescriptor component,
                                      @Nonnull final AnnotationMirror annotation,
                                      @Nonnull final ExecutableElement method,
                                      @Nonnull final ExecutableType methodType )
    throws ProcessorException
  {
    mustBeRefMethod( component, method, Constants.COMPUTABLE_VALUE_REF_CLASSNAME );
    shouldBeInternalRefMethod( processingEnv,
                               component,
                               method,
                               Constants.COMPUTABLE_VALUE_REF_CLASSNAME );

    final TypeMirror returnType = methodType.getReturnType();
    if ( TypeKind.DECLARED != returnType.getKind() ||
         !ElementsUtil.toRawType( returnType ).toString().equals( "arez.ComputableValue" ) )
    {
      throw new ProcessorException( "Method annotated with @ComputableValueRef must return an instance of " +
                                    "arez.ComputableValue", method );
    }

    final String declaredName = AnnotationsUtil.getAnnotationValueValue( annotation, "name" );
    final String name;
    if ( Constants.SENTINEL.equals( declaredName ) )
    {
      name = deriveName( method, COMPUTABLE_VALUE_REF_PATTERN, declaredName );
      if ( null == name )
      {
        throw new ProcessorException( "Method annotated with @ComputableValueRef should specify name or be " +
                                      "named according to the convention get[Name]ComputableValue", method );
      }
    }
    else
    {
      name = declaredName;
      if ( !SourceVersion.isIdentifier( name ) )
      {
        throw new ProcessorException( "@ComputableValueRef target specified an invalid name '" + name + "'. The " +
                                      "name must be a valid java identifier.", method );
      }
      else if ( SourceVersion.isKeyword( name ) )
      {
        throw new ProcessorException( "@ComputableValueRef target specified an invalid name '" + name + "'. The " +
                                      "name must not be a java keyword.", method );
      }
    }

    MemberChecks.mustBeSubclassCallable( component.getElement(),
                                         Constants.COMPONENT_CLASSNAME,
                                         Constants.COMPUTABLE_VALUE_REF_CLASSNAME,
                                         method );
    MemberChecks.mustNotThrowAnyExceptions( Constants.COMPUTABLE_VALUE_REF_CLASSNAME, method );
    component.findOrCreateMemoize( name ).addRefMethod( method, methodType );
  }

  @Nonnull
  private String deriveMemoizeName( @Nonnull final ExecutableElement method,
                                    @Nonnull final AnnotationMirror annotation )
    throws ProcessorException
  {
    final String name = AnnotationsUtil.getAnnotationValueValue( annotation, "name" );
    if ( Constants.SENTINEL.equals( name ) )
    {
      return getPropertyAccessorName( method, name );
    }
    else
    {
      if ( !SourceVersion.isIdentifier( name ) )
      {
        throw new ProcessorException( "@Memoize target specified an invalid name '" + name + "'. The " +
                                      "name must be a valid java identifier.", method );
      }
      else if ( SourceVersion.isKeyword( name ) )
      {
        throw new ProcessorException( "@Memoize target specified an invalid name '" + name + "'. The " +
                                      "name must not be a java keyword.", method );
      }
      return name;
    }
  }

  private void addOnActivate( @Nonnull final ComponentDescriptor component,
                              @Nonnull final AnnotationMirror annotation,
                              @Nonnull final ExecutableElement method )
    throws ProcessorException
  {
    final String name =
      deriveHookName( component,
                      method,
                      ON_ACTIVATE_PATTERN,
                      "Activate",
                      AnnotationsUtil.getAnnotationValueValue( annotation, "name" ) );
    setOnActivate( component, component.findOrCreateMemoize( name ), method );
  }

  private void addOnDeactivate( @Nonnull final ComponentDescriptor component,
                                @Nonnull final AnnotationMirror annotation,
                                @Nonnull final ExecutableElement method )
    throws ProcessorException
  {
    final String name =
      deriveHookName( component,
                      method,
                      ON_DEACTIVATE_PATTERN,
                      "Deactivate",
                      AnnotationsUtil.getAnnotationValueValue( annotation, "name" ) );
    MemberChecks.mustBeLifecycleHook( component.getElement(),
                                      Constants.COMPONENT_CLASSNAME,
                                      Constants.ON_DEACTIVATE_CLASSNAME,
                                      method );
    shouldBeInternalHookMethod( processingEnv,
                                component,
                                method,
                                Constants.ON_DEACTIVATE_CLASSNAME );
    component.findOrCreateMemoize( name ).setOnDeactivate( method );
  }

  @Nonnull
  private String deriveHookName( @Nonnull final ComponentDescriptor component,
                                 @Nonnull final ExecutableElement method,
                                 @Nonnull final Pattern pattern,
                                 @Nonnull final String type,
                                 @Nonnull final String name )
    throws ProcessorException
  {
    final String value = deriveName( method, pattern, name );
    if ( null == value )
    {
      throw new ProcessorException( "Unable to derive name for @On" + type + " as does not match " +
                                    "on[Name]" + type + " pattern. Please specify name.", method );
    }
    else if ( !SourceVersion.isIdentifier( value ) )
    {
      throw new ProcessorException( "@On" + type + " target specified an invalid name '" + value + "'. The " +
                                    "name must be a valid java identifier.", component.getElement() );
    }
    else if ( SourceVersion.isKeyword( value ) )
    {
      throw new ProcessorException( "@On" + type + " target specified an invalid name '" + value + "'. The " +
                                    "name must not be a java keyword.", component.getElement() );
    }
    else
    {
      return value;
    }
  }

  private void addComponentStateRef( @Nonnull final ComponentDescriptor component,
                                     @Nonnull final AnnotationMirror annotation,
                                     @Nonnull final ExecutableElement method )
    throws ProcessorException
  {
    mustBeStandardRefMethod( processingEnv,
                             component,
                             method,
                             Constants.COMPONENT_STATE_REF_CLASSNAME );

    final TypeMirror returnType = method.getReturnType();
    if ( TypeKind.BOOLEAN != returnType.getKind() )
    {
      throw new ProcessorException( "@ComponentStateRef target must return a boolean", method );
    }
    final VariableElement variableElement = AnnotationsUtil.getAnnotationValueValue( annotation, "value" );
    final ComponentStateRefDescriptor.State state =
      ComponentStateRefDescriptor.State.valueOf( variableElement.getSimpleName().toString() );

    component.getComponentStateRefs().add( new ComponentStateRefDescriptor( method, state ) );
  }

  private void addContextRef( @Nonnull final ComponentDescriptor component, @Nonnull final ExecutableElement method )
    throws ProcessorException
  {
    mustBeStandardRefMethod( processingEnv,
                             component,
                             method,
                             Constants.CONTEXT_REF_CLASSNAME );
    MemberChecks.mustReturnAnInstanceOf( processingEnv,
                                         method,
                                         Constants.OBSERVER_REF_CLASSNAME,
                                         "arez.ArezContext" );
    component.getContextRefs().add( method );
  }

  private void addComponentIdRef( @Nonnull final ComponentDescriptor component,
                                  @Nonnull final ExecutableElement method )
  {
    mustBeRefMethod( component, method, Constants.COMPONENT_ID_REF_CLASSNAME );
    MemberChecks.mustNotHaveAnyParameters( Constants.COMPONENT_ID_REF_CLASSNAME, method );
    component.getComponentIdRefs().add( method );
  }

  private void addComponentRef( @Nonnull final ComponentDescriptor component, @Nonnull final ExecutableElement method )
    throws ProcessorException
  {
    mustBeStandardRefMethod( processingEnv,
                             component,
                             method,
                             Constants.COMPONENT_REF_CLASSNAME );
    MemberChecks.mustReturnAnInstanceOf( processingEnv,
                                         method,
                                         Constants.COMPONENT_REF_CLASSNAME,
                                         "arez.Component" );
    component.getComponentRefs().add( method );
  }

  private void setComponentId( @Nonnull final ComponentDescriptor component,
                               @Nonnull final ExecutableElement componentId,
                               @Nonnull final ExecutableType componentIdMethodType )
    throws ProcessorException
  {
    MemberChecks.mustNotBeAbstract( Constants.COMPONENT_ID_CLASSNAME, componentId );
    MemberChecks.mustBeSubclassCallable( component.getElement(),
                                         Constants.COMPONENT_CLASSNAME,
                                         Constants.COMPONENT_ID_CLASSNAME,
                                         componentId );
    MemberChecks.mustNotHaveAnyParameters( Constants.COMPONENT_ID_CLASSNAME, componentId );
    MemberChecks.mustReturnAValue( Constants.COMPONENT_ID_CLASSNAME, componentId );
    MemberChecks.mustNotThrowAnyExceptions( Constants.COMPONENT_ID_CLASSNAME, componentId );

    if ( null != component.getComponentId() )
    {
      throw new ProcessorException( "@ComponentId target duplicates existing method named " +
                                    component.getComponentId().getSimpleName(), componentId );
    }
    else
    {
      component.setComponentId( Objects.requireNonNull( componentId ) );
      component.setComponentIdMethodType( componentIdMethodType );
    }
  }

  private void setComponentTypeNameRef( @Nonnull final ComponentDescriptor component,
                                        @Nonnull final ExecutableElement method )
    throws ProcessorException
  {
    mustBeStandardRefMethod( processingEnv,
                             component,
                             method,
                             Constants.COMPONENT_TYPE_NAME_REF_CLASSNAME );
    MemberChecks.mustReturnAnInstanceOf( processingEnv,
                                         method,
                                         Constants.COMPONENT_TYPE_NAME_REF_CLASSNAME,
                                         String.class.getName() );
    component.getComponentTypeNameRefs().add( method );
  }

  private void addComponentNameRef( @Nonnull final ComponentDescriptor component,
                                    @Nonnull final ExecutableElement method )
    throws ProcessorException
  {
    mustBeStandardRefMethod( processingEnv,
                             component,
                             method,
                             Constants.COMPONENT_NAME_REF_CLASSNAME );
    MemberChecks.mustReturnAnInstanceOf( processingEnv,
                                         method,
                                         Constants.COMPONENT_NAME_REF_CLASSNAME,
                                         String.class.getName() );
    component.getComponentNameRefs().add( method );
  }

  private void addPostConstruct( @Nonnull final ComponentDescriptor component, @Nonnull final ExecutableElement method )
    throws ProcessorException
  {
    MemberChecks.mustBeLifecycleHook( component.getElement(),
                                      Constants.COMPONENT_CLASSNAME,
                                      Constants.POST_CONSTRUCT_CLASSNAME,
                                      method );
    shouldBeInternalLifecycleMethod( processingEnv,
                                     component,
                                     method,
                                     Constants.POST_CONSTRUCT_CLASSNAME );
    component.getPostConstructs().add( method );
  }

  private void addPreDispose( @Nonnull final ComponentDescriptor component, @Nonnull final ExecutableElement method )
    throws ProcessorException
  {
    MemberChecks.mustBeLifecycleHook( component.getElement(),
                                      Constants.COMPONENT_CLASSNAME,
                                      Constants.PRE_DISPOSE_CLASSNAME,
                                      method );
    shouldBeInternalLifecycleMethod( processingEnv,
                                     component,
                                     method,
                                     Constants.PRE_DISPOSE_CLASSNAME );
    component.getPreDisposes().add( method );
  }

  private void addPostDispose( @Nonnull final ComponentDescriptor component, @Nonnull final ExecutableElement method )
    throws ProcessorException
  {
    MemberChecks.mustBeLifecycleHook( component.getElement(),
                                      Constants.COMPONENT_CLASSNAME,
                                      Constants.POST_DISPOSE_CLASSNAME,
                                      method );
    shouldBeInternalLifecycleMethod( processingEnv,
                                     component,
                                     method,
                                     Constants.POST_DISPOSE_CLASSNAME );
    component.getPostDisposes().add( method );
  }

  private void linkUnAnnotatedObservables( @Nonnull final ComponentDescriptor component,
                                           @Nonnull final Map<String, CandidateMethod> getters,
                                           @Nonnull final Map<String, CandidateMethod> setters )
    throws ProcessorException
  {
    for ( final ObservableDescriptor observable : component.getObservables().values() )
    {
      if ( !observable.hasSetter() && !observable.hasGetter() )
      {
        throw new ProcessorException( "@ObservableValueRef target unable to be associated with an " +
                                      "Observable property", observable.getRefMethods().get( 0 ).getMethod() );
      }
      else if ( !observable.hasSetter() && observable.expectSetter() )
      {
        final CandidateMethod candidate = setters.remove( observable.getName() );
        if ( null != candidate )
        {
          MemberChecks.mustBeOverridable( component.getElement(),
                                          Constants.COMPONENT_CLASSNAME,
                                          Constants.OBSERVABLE_CLASSNAME,
                                          candidate.getMethod() );
          observable.setSetter( candidate.getMethod(), candidate.getMethodType() );
        }
        else if ( observable.hasGetter() )
        {
          throw new ProcessorException( "@Observable target defined getter but no setter was defined and no " +
                                        "setter could be automatically determined", observable.getGetter() );
        }
      }
      else if ( !observable.hasGetter() )
      {
        final CandidateMethod candidate = getters.remove( observable.getName() );
        if ( null != candidate )
        {
          MemberChecks.mustBeOverridable( component.getElement(),
                                          Constants.COMPONENT_CLASSNAME,
                                          Constants.OBSERVABLE_CLASSNAME,
                                          candidate.getMethod() );
          observable.setGetter( candidate.getMethod(), candidate.getMethodType() );
        }
        else
        {
          throw new ProcessorException( "@Observable target defined setter but no getter was defined and no " +
                                        "getter could be automatically determined", observable.getSetter() );
        }
      }
    }

    // Find pairs of un-annotated abstract setter/getter pairs and treat them as if they
    // are annotated with @Observable
    for ( final Map.Entry<String, CandidateMethod> entry : new ArrayList<>( getters.entrySet() ) )
    {
      final CandidateMethod getter = entry.getValue();
      if ( getter.getMethod().getModifiers().contains( Modifier.ABSTRACT ) )
      {
        final String name = entry.getKey();
        final CandidateMethod setter = setters.remove( name );
        if ( null != setter && setter.getMethod().getModifiers().contains( Modifier.ABSTRACT ) )
        {
          final ObservableDescriptor observable = component.findOrCreateObservable( name );
          observable.setGetter( getter.getMethod(), getter.getMethodType() );
          observable.setSetter( setter.getMethod(), setter.getMethodType() );
          getters.remove( name );
        }
      }
    }
  }

  private void linkUnAnnotatedObserves( @Nonnull final ComponentDescriptor component,
                                        @Nonnull final Map<String, CandidateMethod> observes,
                                        @Nonnull final Map<String, List<CandidateMethod>> onDepsChanges )
    throws ProcessorException
  {
    for ( final ObserveDescriptor observe : component.getObserves().values() )
    {
      if ( !observe.hasObserve() )
      {
        final CandidateMethod candidate = observes.remove( observe.getName() );
        if ( null != candidate )
        {
          observe.setObserveMethod( false,
                                    Priority.NORMAL,
                                    true,
                                    true,
                                    true,
                                    "AREZ",
                                    false,
                                    false,
                                    candidate.getMethod(),
                                    candidate.getMethodType() );
        }
        else
        {
          throw new ProcessorException( "@OnDepsChange target has no corresponding @Observe that could " +
                                        "be automatically determined", observe.getFirstOnDepsChange() );
        }
      }
      final var candidates = onDepsChanges.remove( observe.getName() );
      if ( null != candidates )
      {
        for ( final var candidate : candidates )
        {
          setOnDepsChange( component, observe, candidate.getMethod() );
        }
      }
    }
  }

  private void setOnDepsChange( @Nonnull final ComponentDescriptor component,
                                @Nonnull final ObserveDescriptor observe,
                                @Nonnull final ExecutableElement method )
  {
    MemberChecks.mustNotBeAbstract( Constants.ON_DEPS_CHANGE_CLASSNAME, method );
    MemberChecks.mustBeSubclassCallable( component.getElement(),
                                         Constants.COMPONENT_CLASSNAME,
                                         Constants.ON_DEPS_CHANGE_CLASSNAME,
                                         method );
    final var parameters = method.getParameters();
    if (
      !(
        parameters.isEmpty() ||
        ( 1 == parameters.size() && Constants.OBSERVER_CLASSNAME.equals( parameters.get( 0 ).asType().toString() ) )
      )
    )
    {
      throw new ProcessorException( "@OnDepsChange target must not have any parameters or must have a single " +
                                    "parameter of type arez.Observer", method );
    }

    MemberChecks.mustNotReturnAnyValue( Constants.ON_DEPS_CHANGE_CLASSNAME, method );
    MemberChecks.mustNotThrowAnyExceptions( Constants.ON_DEPS_CHANGE_CLASSNAME, method );
    shouldBeInternalHookMethod( processingEnv,
                                component,
                                method,
                                Constants.ON_DEPS_CHANGE_CLASSNAME );
    observe.setOnDepsChange( method );
  }

  private void setOnActivate( @Nonnull final ComponentDescriptor component,
                              @Nonnull final MemoizeDescriptor memoize,
                              @Nonnull final ExecutableElement method )
    throws ProcessorException
  {
    MemberChecks.mustNotBeAbstract( Constants.ON_ACTIVATE_CLASSNAME, method );
    MemberChecks.mustBeSubclassCallable( component.getElement(),
                                         Constants.COMPONENT_CLASSNAME,
                                         Constants.ON_ACTIVATE_CLASSNAME,
                                         method );

    final var parameters = method.getParameters();
    if ( !parameters.isEmpty() &&
         !( 1 == parameters.size() &&
            parameters.get( 0 ).asType().toString().startsWith( Constants.COMPUTABLE_VALUE_CLASSNAME ) ) )
    {
      MemberChecks.mustNotHaveAnyParameters( Constants.ON_ACTIVATE_CLASSNAME, method );
    }

    MemberChecks.mustNotReturnAnyValue( Constants.ON_ACTIVATE_CLASSNAME, method );
    MemberChecks.mustNotThrowAnyExceptions( Constants.ON_ACTIVATE_CLASSNAME, method );
    shouldBeInternalHookMethod( processingEnv,
                                component,
                                method,
                                Constants.ON_ACTIVATE_CLASSNAME );

    memoize.setOnActivate( method );
  }

  private void verifyNoDuplicateAnnotations( @Nonnull final ExecutableElement method )
    throws ProcessorException
  {
    final Map<String, Collection<String>> exceptions = new HashMap<>();
    exceptions.put( Constants.OBSERVABLE_CLASSNAME,
                    Arrays.asList( Constants.COMPONENT_DEPENDENCY_CLASSNAME,
                                   Constants.CASCADE_DISPOSE_CLASSNAME,
                                   Constants.AUTO_OBSERVE_CLASSNAME,
                                   Constants.REFERENCE_ID_CLASSNAME,
                                   Constants.INVERSE_CLASSNAME ) );
    exceptions.put( Constants.REFERENCE_CLASSNAME,
                    Arrays.asList( Constants.CASCADE_DISPOSE_CLASSNAME,
                                   Constants.AUTO_OBSERVE_CLASSNAME ) );
    exceptions.put( Constants.POST_CONSTRUCT_CLASSNAME,
                    Collections.singletonList( Constants.ACTION_CLASSNAME ) );

    MemberChecks.verifyNoOverlappingAnnotations( method, METHOD_ANNOTATIONS, exceptions );
  }

  private void verifyNoDuplicateAnnotations( @Nonnull final VariableElement field )
    throws ProcessorException
  {
    MemberChecks.verifyNoOverlappingAnnotations( field,
                                                 Arrays.asList( Constants.COMPONENT_DEPENDENCY_CLASSNAME,
                                                                Constants.CASCADE_DISPOSE_CLASSNAME,
                                                                Constants.AUTO_OBSERVE_CLASSNAME,
                                                                Constants.OBSERVABLE_INITIAL_CLASSNAME ),
                                                 Collections.emptyMap() );
  }

  @Nonnull
  private String getPropertyAccessorName( @Nonnull final ExecutableElement method, @Nonnull final String specifiedName )
    throws ProcessorException
  {
    String name = deriveName( method, GETTER_PATTERN, specifiedName );
    if ( null != name )
    {
      return name;
    }
    if ( method.getReturnType().getKind() == TypeKind.BOOLEAN )
    {
      name = deriveName( method, ISSER_PATTERN, specifiedName );
      if ( null != name )
      {
        return name;
      }
    }
    return method.getSimpleName().toString();
  }

  private void validate( final boolean allowEmpty, @Nonnull final ComponentDescriptor component )
    throws ProcessorException
  {
    component.getCascadeDisposes().values().forEach( CascadeDisposeDescriptor::validate );
    component.getAutoObserves().values().forEach( AutoObserveDescriptor::validate );
    component.getObservables().values().forEach( ObservableDescriptor::validate );
    component.getMemoizes().values().forEach( e -> e.validate( processingEnv ) );
    component.getMemoizeContextParameters().values().forEach( p -> p.validate( processingEnv ) );
    component.getObserves().values().forEach( ObserveDescriptor::validate );
    component.getDependencies().values().forEach( DependencyDescriptor::validate );
    component.getReferences().values().forEach( ReferenceDescriptor::validate );
    component.getInverses().values().forEach( e -> e.validate( processingEnv ) );

    final boolean hasZeroReactiveElements =
      component.getObservables().isEmpty() &&
      component.getActions().isEmpty() &&
      component.getMemoizes().isEmpty() &&
      component.getDependencies().isEmpty() &&
      component.getAutoObserves().isEmpty() &&
      component.getCascadeDisposes().isEmpty() &&
      component.getReferences().isEmpty() &&
      component.getInverses().isEmpty() &&
      component.getObserves().isEmpty();

    final TypeElement element = component.getElement();
    if ( null != component.getDefaultPriority() &&
         component.getMemoizes().isEmpty() &&
         component.getObserves().isEmpty() &&
         isWarningNotSuppressed( element, Constants.WARNING_UNNECESSARY_DEFAULT_PRIORITY ) )
    {
      final String message =
        MemberChecks.toSimpleName( Constants.COMPONENT_CLASSNAME ) + " target should not specify " +
        "the defaultPriority parameter unless it contains methods annotated with either the " +
        MemberChecks.toSimpleName( Constants.MEMOIZE_CLASSNAME ) + " annotation or the " +
        MemberChecks.toSimpleName( Constants.OBSERVE_CLASSNAME ) + " annotation. " +
        suppressedBy( Constants.WARNING_UNNECESSARY_DEFAULT_PRIORITY );
      warning( message, element );
    }
    if ( !allowEmpty && hasZeroReactiveElements )
    {
      throw new ProcessorException( "@ArezComponent target has no methods annotated with @Action, " +
                                    "@AutoObserve, @CascadeDispose, @Memoize, @Observable, @Inverse, " +
                                    "@Reference, @ComponentDependency or @Observe", element );
    }
    else if ( allowEmpty &&
              !hasZeroReactiveElements &&
              isWarningNotSuppressed( element, Constants.WARNING_UNNECESSARY_ALLOW_EMPTY ) )
    {
      final String message =
        "@ArezComponent target has specified allowEmpty = true but has methods " +
        "annotated with @Action, @AutoObserve, @CascadeDispose, @Memoize, @Observable, @Inverse, " +
        "@Reference, @ComponentDependency or @Observe. " +
        suppressedBy( Constants.WARNING_UNNECESSARY_ALLOW_EMPTY );
      warning( message, element );
    }

    for ( final ExecutableElement componentIdRef : component.getComponentIdRefs() )
    {
      if ( null != component.getComponentId() &&
           !processingEnv.getTypeUtils()
             .isSameType( component.getComponentId().getReturnType(), componentIdRef.getReturnType() ) )
      {
        throw new ProcessorException( "@ComponentIdRef target has a return type " + componentIdRef.getReturnType() +
                                      " and a @ComponentId annotated method with a return type " +
                                      componentIdRef.getReturnType() + ". The types must match.",
                                      element );
      }
      else if ( null == component.getComponentId() &&
                !processingEnv.getTypeUtils()
                  .isSameType( processingEnv.getTypeUtils().getPrimitiveType( TypeKind.INT ),
                               componentIdRef.getReturnType() ) )
      {
        throw new ProcessorException( "@ComponentIdRef target has a return type " + componentIdRef.getReturnType() +
                                      " but no @ComponentId annotated method. The type is expected to be of " +
                                      "type int.", element );
      }
    }
    for ( final ExecutableElement constructor : ElementsUtil.getConstructors( element ) )
    {
      if ( Elements.Origin.EXPLICIT == processingEnv.getElementUtils().getOrigin( constructor ) &&
           constructor.getModifiers().contains( Modifier.PUBLIC ) &&
           ElementsUtil.isWarningNotSuppressed( constructor, Constants.WARNING_PUBLIC_CONSTRUCTOR ) )
      {
        final String instruction =
          component.isStingEnabled() ?
          "The type is instantiated by the sting injection framework and should have a package-access constructor. " :
          "It is recommended that a static create method be added to the component that is responsible " +
          "for instantiating the arez implementation class. ";

        final String message =
          MemberChecks.shouldNot( Constants.COMPONENT_CLASSNAME,
                                  "have a public constructor. " + instruction +
                                  MemberChecks.suppressedBy( Constants.WARNING_PUBLIC_CONSTRUCTOR,
                                                             Constants.SUPPRESS_AREZ_WARNINGS_CLASSNAME ) );
        warning( message, constructor );
      }
    }
    if ( null != component.getDeclaredDefaultReadOutsideTransaction() &&
         component.getObservables().isEmpty() &&
         component.getMemoizes().isEmpty() &&
         isWarningNotSuppressed( element, Constants.WARNING_UNNECESSARY_DEFAULT ) )
    {
      final String message =
        "@ArezComponent target has specified a value for the defaultReadOutsideTransaction parameter but does not " +
        "contain any methods annotated with either @Memoize or @Observable. " +
        suppressedBy( Constants.WARNING_UNNECESSARY_DEFAULT );
      warning( message, element );
    }
    if ( null != component.getDeclaredDefaultWriteOutsideTransaction() &&
         component.getObservables().isEmpty() &&
         isWarningNotSuppressed( element, Constants.WARNING_UNNECESSARY_DEFAULT ) )
    {
      final String message =
        "@ArezComponent target has specified a value for the defaultWriteOutsideTransaction parameter but does not " +
        "contain any methods annotated with @Observable. " +
        suppressedBy( Constants.WARNING_UNNECESSARY_DEFAULT );
      warning( message, element );
    }
    if ( null != component.getDeclaredDefaultSkipIfDisposed() &&
         component.getActions().isEmpty() &&
         isWarningNotSuppressed( element, Constants.WARNING_UNNECESSARY_DEFAULT ) )
    {
      final String message =
        "@ArezComponent target has specified a value for the defaultSkipIfDisposed parameter but does not " +
        "contain any methods annotated with @Action. " +
        suppressedBy( Constants.WARNING_UNNECESSARY_DEFAULT );
      warning( message, element );
    }
  }

  private void processCascadeDisposeFields( @Nonnull final ComponentDescriptor component )
  {
    ElementsUtil.getFields( component.getElement() )
      .stream()
      .filter( f -> AnnotationsUtil.hasAnnotationOfType( f, Constants.CASCADE_DISPOSE_CLASSNAME ) )
      .forEach( field -> processCascadeDisposeField( component, field ) );
  }

  private void processAutoObserveFields( @Nonnull final ComponentDescriptor component )
  {
    ElementsUtil.getFields( component.getElement() )
      .stream()
      .filter( f -> AnnotationsUtil.hasAnnotationOfType( f, Constants.AUTO_OBSERVE_CLASSNAME ) )
      .forEach( field -> processAutoObserveField( component, field ) );
  }

  private void processCascadeDisposeField( @Nonnull final ComponentDescriptor component,
                                           @Nonnull final VariableElement field )
  {
    verifyNoDuplicateAnnotations( field );
    MemberChecks.mustBeSubclassCallable( component.getElement(),
                                         Constants.COMPONENT_CLASSNAME,
                                         Constants.CASCADE_DISPOSE_CLASSNAME,
                                         field );
    emitWarningForManagedFieldAccess( component, field, Constants.CASCADE_DISPOSE_CLASSNAME );
    mustBeCascadeDisposeTypeCompatible( field );
    emitWarningForConflictingDisposeModel( field );
    if ( field.getModifiers().contains( Modifier.FINAL ) )
    {
      verifyFieldHasExplicitNullabilityAnnotation( field, Constants.CASCADE_DISPOSE_CLASSNAME );
    }
    component.addCascadeDispose( new CascadeDisposeDescriptor( field ) );
  }

  private void processAutoObserveField( @Nonnull final ComponentDescriptor component,
                                        @Nonnull final VariableElement field )
  {
    verifyNoDuplicateAnnotations( field );
    MemberChecks.mustBeSubclassCallable( component.getElement(),
                                         Constants.COMPONENT_CLASSNAME,
                                         Constants.AUTO_OBSERVE_CLASSNAME,
                                         field );
    emitWarningForManagedFieldAccess( component, field, Constants.AUTO_OBSERVE_CLASSNAME );
    MemberChecks.mustBeFinal( Constants.AUTO_OBSERVE_CLASSNAME, field );
    final boolean validateTypeAtRuntime = isAutoObserveValidateTypeAtRuntime( field );
    mustBeAutoObserveTypeCompatible( component, validateTypeAtRuntime, field );
    verifyFieldHasExplicitNullabilityAnnotation( field, Constants.AUTO_OBSERVE_CLASSNAME );
    component.addAutoObserve( new AutoObserveDescriptor( validateTypeAtRuntime, field ) );
  }

  private void verifyFieldHasExplicitNullabilityAnnotation( @Nonnull final VariableElement field,
                                                            @Nonnull final String annotationClassname )
  {
    final boolean hasNonnullAnnotation = isElementAnnotatedBy( field, AnnotationsUtil.NONNULL_CLASSNAME );
    final boolean hasNullableAnnotation = isElementAnnotatedBy( field, AnnotationsUtil.NULLABLE_CLASSNAME );
    final String annotationName = annotationClassname.substring( annotationClassname.lastIndexOf( '.' ) + 1 );
    if ( hasNonnullAnnotation && hasNullableAnnotation )
    {
      throw new ProcessorException( "@" + annotationName + " target must not be annotated with both " +
                                    AnnotationsUtil.NULLABLE_CLASSNAME + " and " +
                                    AnnotationsUtil.NONNULL_CLASSNAME,
                                    field );
    }
    if ( !hasNonnullAnnotation && !hasNullableAnnotation )
    {
      throw new ProcessorException( "@" + annotationName + " target must be annotated with either " +
                                    AnnotationsUtil.NULLABLE_CLASSNAME + " or " +
                                    AnnotationsUtil.NONNULL_CLASSNAME,
                                    field );
    }
  }

  @Nonnull
  private String suppressedBy( @Nonnull final String warning )
  {
    return MemberChecks.suppressedBy( warning, Constants.SUPPRESS_AREZ_WARNINGS_CLASSNAME );
  }

  private boolean isWarningNotSuppressed( @Nonnull final Element element, @Nonnull final String warning )
  {
    return !ElementsUtil.isWarningSuppressed( element,
                                              warning,
                                              Constants.SUPPRESS_AREZ_WARNINGS_CLASSNAME );
  }

  @SuppressWarnings( "SameParameterValue" )
  @Nonnull
  private String extractName( @Nonnull final ExecutableElement method,
                              @Nonnull final Function<ExecutableElement, String> function,
                              @Nonnull final String annotationClassname )
  {
    return AnnotationsUtil.extractName( method, function, annotationClassname, "name", Constants.SENTINEL );
  }

  private void mustBeCascadeDisposeTypeCompatible( @Nonnull final VariableElement field )
  {
    final TypeMirror typeMirror = field.asType();
    if ( !isAssignable( typeMirror, getDisposableTypeElement() ) )
    {
      final TypeElement typeElement = (TypeElement) processingEnv.getTypeUtils().asElement( typeMirror );
      final AnnotationMirror value =
        null != typeElement ?
        AnnotationsUtil.findAnnotationByType( typeElement, Constants.COMPONENT_CLASSNAME ) :
        null;
      if ( null == value )
      {
        throw new ProcessorException( "@CascadeDispose target must be assignable to " +
                                      Constants.DISPOSABLE_CLASSNAME + " or a type annotated with @ArezComponent",
                                      field );
      }
    }
  }

  private void mustBeAutoObserveTypeCompatible( @Nonnull final ComponentDescriptor component,
                                                final boolean validateTypeAtRuntime,
                                                @Nonnull final VariableElement field )
  {
    final TypeMirror type = processingEnv.getTypeUtils().asMemberOf( component.asDeclaredType(), field );
    if ( TypeKind.TYPEVAR != type.getKind() && TypeKind.DECLARED != type.getKind() )
    {
      throw new ProcessorException( "@AutoObserve target must be a non-primitive value", field );
    }
    if ( validateTypeAtRuntime )
    {
      final Element element = processingEnv.getTypeUtils().asElement( type );
      if ( !( element instanceof TypeElement ) || !isArezComponentLikeAnnotated( (TypeElement) element ) )
      {
        throw new ProcessorException( "@AutoObserve target specified validateTypeAtRuntime = true but the " +
                                      "declared type is not annotated with " + AREZ_COMPONENT_LIKE_DESCRIPTION, field );
      }
    }
    else if ( !isAutoObserveCompileTimeCompatible( type ) )
    {
      throw new ProcessorException( "@AutoObserve target must be an instance compatible with " +
                                    Constants.COMPONENT_OBSERVABLE_CLASSNAME, field );
    }
  }

  private void addCascadeDisposeMethod( @Nonnull final ComponentDescriptor component,
                                        @Nonnull final ExecutableElement method,
                                        @Nullable final ObservableDescriptor observable )
  {
    MemberChecks.mustNotHaveAnyParameters( Constants.CASCADE_DISPOSE_CLASSNAME, method );
    MemberChecks.mustNotThrowAnyExceptions( Constants.CASCADE_DISPOSE_CLASSNAME, method );
    MemberChecks.mustBeSubclassCallable( component.getElement(),
                                         Constants.COMPONENT_CLASSNAME,
                                         Constants.CASCADE_DISPOSE_CLASSNAME,
                                         method );
    mustBeCascadeDisposeTypeCompatible( method );
    emitWarningForConflictingDisposeModel( method );
    component.addCascadeDispose( new CascadeDisposeDescriptor( method, observable ) );
  }

  private void addAutoObserveMethod( @Nonnull final ComponentDescriptor component,
                                     @Nonnull final ExecutableElement method,
                                     @Nullable final ObservableDescriptor observable )
  {
    MemberChecks.mustNotHaveAnyParameters( Constants.AUTO_OBSERVE_CLASSNAME, method );
    MemberChecks.mustNotThrowAnyExceptions( Constants.AUTO_OBSERVE_CLASSNAME, method );
    MemberChecks.mustBeSubclassCallable( component.getElement(),
                                         Constants.COMPONENT_CLASSNAME,
                                         Constants.AUTO_OBSERVE_CLASSNAME,
                                         method );
    MemberChecks.mustReturnAValue( Constants.AUTO_OBSERVE_CLASSNAME, method );
    final boolean validateTypeAtRuntime = isAutoObserveValidateTypeAtRuntime( method );
    mustBeAutoObserveTypeCompatible( validateTypeAtRuntime, method );
    component.addAutoObserve( new AutoObserveDescriptor( validateTypeAtRuntime, method, observable ) );
  }

  private static boolean isAutoObserveValidateTypeAtRuntime( @Nonnull final AnnotatedConstruct annotatedConstruct )
  {
    return Boolean.TRUE.equals( AnnotationsUtil
                                  .getAnnotationValue( annotatedConstruct,
                                                       Constants.AUTO_OBSERVE_CLASSNAME,
                                                       "validateTypeAtRuntime" )
                                  .getValue() );
  }

  private void emitWarningForConflictingDisposeModel( @Nonnull final VariableElement field )
  {
    if ( isWarningNotSuppressed( field, Constants.WARNING_CONFLICTING_DISPOSE_MODEL ) &&
         isLivenessDisposedArezComponent( field.asType() ) )
    {
      final String message =
        "Field named '" + field.getSimpleName() + "' is annotated with @" + Constants.CASCADE_DISPOSE_CLASSNAME +
        " but has a type that is an Arez component configured with disposeOnDeactivate = true. " +
        "Disposal should be managed either by liveness (i.e. disposeOnDeactivate = true) or explicitly " +
        "(via @CascadeDispose or manual disposal), but not both. Please choose a single disposal model " +
        "or suppress the warning by annotating the field with @SuppressWarnings( \"" +
        Constants.WARNING_CONFLICTING_DISPOSE_MODEL + "\" ) or @SuppressArezWarnings( \"" +
        Constants.WARNING_CONFLICTING_DISPOSE_MODEL + "\" )";
      warning( message, field );
    }
  }

  private void emitWarningForConflictingDisposeModel( @Nonnull final ExecutableElement method )
  {
    if ( isWarningNotSuppressed( method, Constants.WARNING_CONFLICTING_DISPOSE_MODEL ) &&
         isLivenessDisposedArezComponent( method.getReturnType() ) )
    {
      final String message =
        "Method named '" + method.getSimpleName() + "' is annotated with @" + Constants.CASCADE_DISPOSE_CLASSNAME +
        " but returns an Arez component configured with disposeOnDeactivate = true. Disposal should be managed " +
        "either by liveness (i.e. disposeOnDeactivate = true) or explicitly (via @CascadeDispose or manual " +
        "disposal), but not both. Please choose a single disposal model or suppress the warning by annotating " +
        "the method with @SuppressWarnings( \"" + Constants.WARNING_CONFLICTING_DISPOSE_MODEL +
        "\" ) or @SuppressArezWarnings( \"" + Constants.WARNING_CONFLICTING_DISPOSE_MODEL + "\" )";
      warning( message, method );
    }
  }

  private void mustBeCascadeDisposeTypeCompatible( @Nonnull final ExecutableElement method )
  {
    final TypeMirror typeMirror = method.getReturnType();
    if ( !isAssignable( typeMirror, getDisposableTypeElement() ) )
    {
      final TypeElement typeElement = (TypeElement) processingEnv.getTypeUtils().asElement( typeMirror );
      final AnnotationMirror value =
        null != typeElement ?
        AnnotationsUtil.findAnnotationByType( typeElement, Constants.COMPONENT_CLASSNAME ) :
        null;
      if ( null == value )
      {
        //The type of the field must implement {@link arez.Disposable} or must be annotated by {@link ArezComponent}
        throw new ProcessorException( "@CascadeDispose target must return a type assignable to " +
                                      Constants.DISPOSABLE_CLASSNAME + " or a type annotated with @ArezComponent",
                                      method );
      }
    }
  }

  private void mustBeAutoObserveTypeCompatible( final boolean validateTypeAtRuntime,
                                                @Nonnull final ExecutableElement method )
  {
    final TypeMirror type = method.getReturnType();
    if ( TypeKind.TYPEVAR != type.getKind() && TypeKind.DECLARED != type.getKind() )
    {
      throw new ProcessorException( "@AutoObserve target must return a non-primitive value", method );
    }
    if ( validateTypeAtRuntime )
    {
      final Element element = processingEnv.getTypeUtils().asElement( type );
      if ( !( element instanceof TypeElement ) || !isArezComponentLikeAnnotated( (TypeElement) element ) )
      {
        throw new ProcessorException( "@AutoObserve target specified validateTypeAtRuntime = true but the " +
                                      "declared return type is not annotated with " + AREZ_COMPONENT_LIKE_DESCRIPTION,
                                      method );
      }
    }
    else if ( !isAutoObserveCompileTimeCompatible( type ) )
    {
      throw new ProcessorException( "@AutoObserve target must return an instance compatible with " +
                                    Constants.COMPONENT_OBSERVABLE_CLASSNAME, method );
    }
  }

  @SuppressWarnings( "BooleanMethodIsAlwaysInverted" )
  private boolean isAutoObserveCompileTimeCompatible( @Nonnull final TypeMirror type )
  {
    if ( isAssignable( type, getTypeElement( Constants.COMPONENT_OBSERVABLE_CLASSNAME ) ) )
    {
      return true;
    }

    final Element element = processingEnv.getTypeUtils().asElement( type );
    if ( element instanceof TypeElement typeElement )
    {
      final AnnotationMirror arezComponent =
        AnnotationsUtil.findAnnotationByType( typeElement, Constants.COMPONENT_CLASSNAME );
      if ( null != arezComponent )
      {
        final boolean disposeOnDeactivate = getAnnotationParameter( arezComponent, "disposeOnDeactivate" );
        return isComponentObservableRequired( arezComponent, disposeOnDeactivate );
      }
    }
    return false;
  }

  private void addOrUpdateDependency( @Nonnull final ComponentDescriptor component,
                                      @Nonnull final ExecutableElement method,
                                      @Nonnull final ObservableDescriptor observable )
  {
    final DependencyDescriptor dependencyDescriptor =
      component.getDependencies().computeIfAbsent( method, m -> createMethodDependencyDescriptor( component, method ) );
    dependencyDescriptor.setObservable( observable );
  }

  private void addAction( @Nonnull final ComponentDescriptor component,
                          @Nonnull final AnnotationMirror annotation,
                          @Nonnull final ExecutableElement method,
                          @Nonnull final ExecutableType methodType )
    throws ProcessorException
  {
    MemberChecks.mustBeWrappable( component.getElement(),
                                  Constants.COMPONENT_CLASSNAME,
                                  Constants.ACTION_CLASSNAME,
                                  method );

    final String name =
      extractName( method, m -> m.getSimpleName().toString(), Constants.ACTION_CLASSNAME );
    checkNameUnique( component, name, method, Constants.ACTION_CLASSNAME );
    final boolean mutation = AnnotationsUtil.getAnnotationValueValue( annotation, "mutation" );
    final boolean requireNewTransaction =
      AnnotationsUtil.getAnnotationValueValue( annotation, "requireNewTransaction" );
    final boolean reportParameters = AnnotationsUtil.getAnnotationValueValue( annotation, "reportParameters" );
    final boolean reportResult = AnnotationsUtil.getAnnotationValueValue( annotation, "reportResult" );
    final boolean verifyRequired = AnnotationsUtil.getAnnotationValueValue( annotation, "verifyRequired" );
    final boolean skipIfDisposed = isSkipIfDisposed( component, annotation );
    if ( !reportParameters && method.getParameters().isEmpty() )
    {
      throw new ProcessorException( "@Action target must not specify reportParameters parameter " +
                                    "when no parameters are present", method );
    }
    if ( skipIfDisposed && TypeKind.VOID != methodType.getReturnType().getKind() )
    {
      throw new ProcessorException( "@Action target must not return a value when skipIfDisposed resolves to ENABLE",
                                    method );
    }
    final ActionDescriptor action =
      new ActionDescriptor( component,
                            name,
                            requireNewTransaction,
                            mutation,
                            verifyRequired,
                            reportParameters,
                            reportResult,
                            skipIfDisposed,
                            method,
                            methodType );
    component.getActions().put( action.getName(), action );
  }

  private void addRequiresTransaction( @Nonnull final ComponentDescriptor component,
                                       @Nonnull final AnnotationMirror annotation,
                                       @Nonnull final ExecutableElement method,
                                       @Nonnull final ExecutableType methodType )
    throws ProcessorException
  {
    MemberChecks.mustBeWrappable( component.getElement(),
                                  Constants.COMPONENT_CLASSNAME,
                                  Constants.REQUIRES_TRANSACTION_CLASSNAME,
                                  method );

    final VariableElement mode = AnnotationsUtil.getAnnotationValueValue( annotation, "mode" );
    final VariableElement tracking = AnnotationsUtil.getAnnotationValueValue( annotation, "tracking" );
    component.getRequiresTransactions().add( new RequiresTransactionDescriptor( component,
                                                                                mode.getSimpleName().toString(),
                                                                                tracking.getSimpleName().toString(),
                                                                                method,
                                                                                methodType ) );
  }

  private void addObserve( @Nonnull final ComponentDescriptor component,
                           @Nonnull final AnnotationMirror annotation,
                           @Nonnull final ExecutableElement method,
                           @Nonnull final ExecutableType methodType )
    throws ProcessorException
  {
    final String name = deriveObserveName( method, annotation );
    checkNameUnique( component, name, method, Constants.OBSERVE_CLASSNAME );
    final boolean mutation = AnnotationsUtil.getAnnotationValueValue( annotation, "mutation" );
    final boolean observeLowerPriorityDependencies =
      AnnotationsUtil.getAnnotationValueValue( annotation, "observeLowerPriorityDependencies" );
    final boolean nestedActionsAllowed = AnnotationsUtil.getAnnotationValueValue( annotation, "nestedActionsAllowed" );
    final VariableElement priority = AnnotationsUtil.getAnnotationValueValue( annotation, "priority" );
    final boolean reportParameters = AnnotationsUtil.getAnnotationValueValue( annotation, "reportParameters" );
    final boolean reportResult = AnnotationsUtil.getAnnotationValueValue( annotation, "reportResult" );
    final VariableElement executor = AnnotationsUtil.getAnnotationValueValue( annotation, "executor" );
    final VariableElement depType = AnnotationsUtil.getAnnotationValueValue( annotation, "depType" );

    component
      .findOrCreateObserve( name )
      .setObserveMethod( mutation,
                         toPriority( component.getDefaultPriority(), priority ),
                         executor.getSimpleName().toString().equals( "INTERNAL" ),
                         reportParameters,
                         reportResult,
                         depType.getSimpleName().toString(),
                         observeLowerPriorityDependencies,
                         nestedActionsAllowed,
                         method,
                         methodType );
  }

  @Nonnull
  private String deriveObserveName( @Nonnull final ExecutableElement method,
                                    @Nonnull final AnnotationMirror annotation )
    throws ProcessorException
  {
    final String name = AnnotationsUtil.getAnnotationValueValue( annotation, "name" );
    if ( Constants.SENTINEL.equals( name ) )
    {
      return method.getSimpleName().toString();
    }
    else
    {
      if ( !SourceVersion.isIdentifier( name ) )
      {
        throw new ProcessorException( "@Observe target specified an invalid name '" + name + "'. The " +
                                      "name must be a valid java identifier.", method );
      }
      else if ( SourceVersion.isKeyword( name ) )
      {
        throw new ProcessorException( "@Observe target specified an invalid name '" + name + "'. The " +
                                      "name must not be a java keyword.", method );
      }
      return name;
    }
  }

  private void addOnDepsChange( @Nonnull final ComponentDescriptor component,
                                @Nonnull final AnnotationMirror annotation,
                                @Nonnull final ExecutableElement method )
    throws ProcessorException
  {
    final String name =
      deriveHookName( component, method,
                      ON_DEPS_CHANGE_PATTERN,
                      "DepsChange",
                      AnnotationsUtil.getAnnotationValueValue( annotation, "name" ) );
    setOnDepsChange( component, component.findOrCreateObserve( name ), method );
  }

  private void addObserverRef( @Nonnull final ComponentDescriptor component,
                               @Nonnull final AnnotationMirror annotation,
                               @Nonnull final ExecutableElement method,
                               @Nonnull final ExecutableType methodType )
    throws ProcessorException
  {
    mustBeStandardRefMethod( processingEnv,
                             component,
                             method,
                             Constants.OBSERVER_REF_CLASSNAME );
    MemberChecks.mustReturnAnInstanceOf( processingEnv,
                                         method,
                                         Constants.OBSERVER_REF_CLASSNAME,
                                         Constants.OBSERVER_CLASSNAME );

    final String declaredName = AnnotationsUtil.getAnnotationValueValue( annotation, "name" );
    final String name;
    if ( Constants.SENTINEL.equals( declaredName ) )
    {
      name = deriveName( method, OBSERVER_REF_PATTERN, declaredName );
      if ( null == name )
      {
        throw new ProcessorException( "Method annotated with @ObserverRef should specify name or be " +
                                      "named according to the convention get[Name]Observer", method );
      }
    }
    else
    {
      name = declaredName;
      if ( !SourceVersion.isIdentifier( name ) )
      {
        throw new ProcessorException( "@ObserverRef target specified an invalid name '" + name + "'. The " +
                                      "name must be a valid java identifier.", method );
      }
      else if ( SourceVersion.isKeyword( name ) )
      {
        throw new ProcessorException( "@ObserverRef target specified an invalid name '" + name + "'. The " +
                                      "name must not be a java keyword.", method );
      }
    }
    component.getObserverRefs().computeIfAbsent( name, s -> new ArrayList<>() )
      .add( new CandidateMethod( method, methodType ) );
  }

  private void addMemoizeContextParameter( @Nonnull final ComponentDescriptor component,
                                           @Nonnull final AnnotationMirror annotation,
                                           @Nonnull final ExecutableElement method,
                                           @Nonnull final ExecutableType methodType )
    throws ProcessorException
  {
    final String methodName = method.getSimpleName().toString();
    final MemoizeContextParameterMethodType mcpMethodType =
      PUSH_PATTERN.matcher( methodName ).matches() ? MemoizeContextParameterMethodType.Push :
      POP_PATTERN.matcher( methodName ).matches() ? MemoizeContextParameterMethodType.Pop :
      MemoizeContextParameterMethodType.Capture;
    final String name = deriveMemoizeContextParameterName( method, annotation, mcpMethodType );

    checkNameUnique( component, name, method, Constants.MEMOIZE_CONTEXT_PARAMETER_CLASSNAME );
    final boolean allowEmpty = AnnotationsUtil.getAnnotationValueValue( annotation, "allowEmpty" );
    final String pattern = AnnotationsUtil.getAnnotationValueValue( annotation, "pattern" );
    final MemoizeContextParameterDescriptor descriptor = component.findOrCreateMemoizeContextParameter( name );

    final Pattern compiledPattern;
    try
    {
      compiledPattern = Pattern.compile( pattern );
    }
    catch ( final PatternSyntaxException e )
    {
      throw new ProcessorException( "@MemoizeContextParameter target specified a pattern parameter " +
                                    "that is not a valid regular expression.", method );
    }

    if ( MemoizeContextParameterMethodType.Capture == mcpMethodType )
    {
      descriptor.setCapture( method, methodType, allowEmpty, pattern, compiledPattern );
    }
    else if ( MemoizeContextParameterMethodType.Push == mcpMethodType )
    {
      descriptor.setPush( method, methodType, allowEmpty, pattern, compiledPattern );
    }
    else // MemoizeContextParameterMethodType.Pop == mcpMethodType
    {
      descriptor.setPop( method, methodType, allowEmpty, pattern, compiledPattern );
    }
  }

  @Nonnull
  private String deriveMemoizeContextParameterName( @Nonnull final ExecutableElement method,
                                                    @Nonnull final AnnotationMirror annotation,
                                                    @Nonnull final MemoizeContextParameterMethodType mcpMethodType )
    throws ProcessorException
  {
    final String name = AnnotationsUtil.getAnnotationValueValue( annotation, "name" );
    if ( Constants.SENTINEL.equals( name ) )
    {
      final Pattern pattern =
        MemoizeContextParameterMethodType.Push == mcpMethodType ? PUSH_PATTERN :
        MemoizeContextParameterMethodType.Pop == mcpMethodType ? POP_PATTERN :
        CAPTURE_PATTERN;
      final String methodName = method.getSimpleName().toString();
      final Matcher matcher = pattern.matcher( methodName );
      if ( matcher.find() )
      {
        final String candidate = matcher.group( 1 );
        return firstCharacterToLowerCase( candidate );
      }
      else
      {
        // we get here for a capture method that does not start with capture
        return methodName;
      }
    }
    else
    {
      if ( !SourceVersion.isIdentifier( name ) )
      {
        throw new ProcessorException( "@MemoizeContextParameter target specified an invalid name '" + name +
                                      "'. The name must be a valid java identifier.", method );
      }
      else if ( SourceVersion.isKeyword( name ) )
      {
        throw new ProcessorException( "@MemoizeContextParameter target specified an invalid name '" + name +
                                      "'. The name must not be a java keyword.", method );
      }
      return name;
    }
  }

  private void addMemoize( @Nonnull final ComponentDescriptor component,
                           @Nonnull final AnnotationMirror annotation,
                           @Nonnull final ExecutableElement method,
                           @Nonnull final ExecutableType methodType )
    throws ProcessorException
  {
    final String name = deriveMemoizeName( method, annotation );
    checkNameUnique( component, name, method, Constants.MEMOIZE_CLASSNAME );
    final boolean keepAlive = AnnotationsUtil.getAnnotationValueValue( annotation, "keepAlive" );
    final boolean reportResult = AnnotationsUtil.getAnnotationValueValue( annotation, "reportResult" );
    final boolean observeLowerPriorityDependencies =
      AnnotationsUtil.getAnnotationValueValue( annotation, "observeLowerPriorityDependencies" );
    final VariableElement readOutsideTransaction =
      AnnotationsUtil.getAnnotationValueValue( annotation, "readOutsideTransaction" );
    final VariableElement priority = AnnotationsUtil.getAnnotationValueValue( annotation, "priority" );
    final VariableElement depType = AnnotationsUtil.getAnnotationValueValue( annotation, "depType" );
    final TypeMirror equalityComparator =
      AnnotationsUtil.getAnnotationValueValue( annotation, "equalityComparator" );

    final String depTypeAsString = depType.getSimpleName().toString();
    component.findOrCreateMemoize( name ).setMemoize( method,
                                                      methodType,
                                                      keepAlive,
                                                      toPriority( component.getDefaultPriority(),
                                                                  priority ),
                                                      reportResult,
                                                      observeLowerPriorityDependencies,
                                                      readOutsideTransaction.getSimpleName().toString(),
                                                      depTypeAsString,
                                                      resolveEffectiveEqualityComparator( component.getElement(),
                                                                                          Constants.MEMOIZE_CLASSNAME,
                                                                                          method,
                                                                                          methodType.getReturnType(),
                                                                                          equalityComparator.toString() ) );
  }

  @Nonnull
  private Priority toPriority( @Nullable final Priority defaultPriority,
                               @Nonnull final VariableElement priorityElement )
  {
    final String priorityName = priorityElement.getSimpleName().toString();
    return "DEFAULT".equals( priorityName ) ?
           null != defaultPriority ? defaultPriority : Priority.NORMAL :
           Priority.valueOf( priorityName );
  }

  private void autodetectObservableInitializers( @Nonnull final ComponentDescriptor component )
  {
    for ( final ObservableDescriptor observable : component.getObservables().values() )
    {
      if ( null == observable.getInitializer() && observable.hasGetter() )
      {
        if ( observable.hasSetter() )
        {
          final boolean initializer =
            autodetectInitializer( observable.getGetter() ) && autodetectInitializer( observable.getSetter() );
          observable.setInitializer( initializer );
        }
        else
        {
          observable.setInitializer( autodetectInitializer( observable.getGetter() ) );
        }
      }
    }
  }

  private boolean hasDependencyAnnotation( @Nonnull final ExecutableElement method )
  {
    return AnnotationsUtil.hasAnnotationOfType( method, Constants.COMPONENT_DEPENDENCY_CLASSNAME );
  }

  private void ensureTargetTypeAligns( @Nonnull final ComponentDescriptor component,
                                       @Nonnull final InverseDescriptor descriptor,
                                       @Nonnull final TypeMirror target )
  {
    if ( !processingEnv.getTypeUtils().isSameType( target, component.getElement().asType() ) )
    {
      throw new ProcessorException( "@Inverse target expected to find an associated @Reference annotation with " +
                                    "a target type equal to " + component.getElement().asType() + " but the actual " +
                                    "target type is " + target, descriptor.getObservable().getGetter() );
    }
  }

  @Nullable
  private TypeElement getInverseManyTypeTarget( @Nonnull final ExecutableElement method )
  {
    final TypeName typeName = TypeName.get( method.getReturnType() );
    if ( typeName instanceof final ParameterizedTypeName type )
    {
      if ( isSupportedInverseCollectionType( type.rawType().toString() ) && !type.typeArguments().isEmpty() )
      {
        final TypeElement typeElement = getTypeElement( type.typeArguments().get( 0 ).toString() );
        if ( AnnotationsUtil.hasAnnotationOfType( typeElement, Constants.COMPONENT_CLASSNAME ) )
        {
          return typeElement;
        }
        else
        {
          throw new ProcessorException( "@Inverse target expected to return a type annotated with " +
                                        Constants.COMPONENT_CLASSNAME, method );
        }
      }
    }
    return null;
  }

  private boolean isSupportedInverseCollectionType( @Nonnull final String typeClassname )
  {
    return Collection.class.getName().equals( typeClassname ) ||
           Set.class.getName().equals( typeClassname ) ||
           List.class.getName().equals( typeClassname );
  }

  @Nonnull
  private String getInverseReferenceNameParameter( @Nonnull final ComponentDescriptor component,
                                                   @Nonnull final ExecutableElement method )
  {
    final String declaredName =
      (String) AnnotationsUtil.getAnnotationValue( method,
                                                   Constants.INVERSE_CLASSNAME,
                                                   "referenceName" ).getValue();
    final String name;
    if ( Constants.SENTINEL.equals( declaredName ) )
    {
      name = firstCharacterToLowerCase( component.getElement().getSimpleName().toString() );
    }
    else
    {
      name = declaredName;
      if ( !SourceVersion.isIdentifier( name ) )
      {
        throw new ProcessorException( "@Inverse target specified an invalid referenceName '" + name + "'. The " +
                                      "name must be a valid java identifier.", method );
      }
      else if ( SourceVersion.isKeyword( name ) )
      {
        throw new ProcessorException( "@Inverse target specified an invalid referenceName '" + name + "'. The " +
                                      "name must not be a java keyword.", method );
      }
    }
    return name;
  }

  private void linkDependencies( @Nonnull final ComponentDescriptor component,
                                 @Nonnull final Collection<CandidateMethod> candidates )
  {
    component.getObservables()
      .values()
      .stream()
      .filter( ObservableDescriptor::hasGetter )
      .filter( o -> hasDependencyAnnotation( o.getGetter() ) )
      .forEach( o -> addOrUpdateDependency( component, o.getGetter(), o ) );

    component.getMemoizes()
      .values()
      .stream()
      .filter( MemoizeDescriptor::hasMemoize )
      .map( MemoizeDescriptor::getMethod )
      .filter( this::hasDependencyAnnotation )
      .forEach( method1 -> component.addDependency( createMethodDependencyDescriptor( component, method1 ) ) );

    candidates
      .stream()
      .map( CandidateMethod::getMethod )
      .filter( this::hasDependencyAnnotation )
      .forEach( method -> component.addDependency( createMethodDependencyDescriptor( component, method ) ) );
  }

  private void linkCascadeDisposeObservables( @Nonnull final ComponentDescriptor component )
  {
    for ( final ObservableDescriptor observable : component.getObservables().values() )
    {
      final CascadeDisposeDescriptor cascadeDisposeDescriptor = observable.getCascadeDisposeDescriptor();
      if ( null == cascadeDisposeDescriptor )
      {
        //@CascadeDisposable can only occur on getter so if we don't have it then we look in
        // cascadeDisposableDescriptor list to see if we can match getter
        final CascadeDisposeDescriptor descriptor = component.getCascadeDisposes().get( observable.getGetter() );
        if ( null != descriptor )
        {
          descriptor.setObservable( observable );
        }
      }
    }
  }

  private void linkCascadeDisposeReferences( @Nonnull final ComponentDescriptor component )
  {
    for ( final ReferenceDescriptor reference : component.getReferences().values() )
    {
      final CascadeDisposeDescriptor cascadeDisposeDescriptor = reference.getCascadeDisposeDescriptor();
      if ( null == cascadeDisposeDescriptor && reference.hasMethod() )
      {
        final CascadeDisposeDescriptor descriptor = component.getCascadeDisposes().get( reference.getMethod() );
        if ( null != descriptor )
        {
          descriptor.setReference( reference );
        }
      }
    }
  }

  private void linkAutoObserveObservables( @Nonnull final ComponentDescriptor component )
  {
    for ( final ObservableDescriptor observable : component.getObservables().values() )
    {
      final AutoObserveDescriptor autoObserveDescriptor = observable.getAutoObserveDescriptor();
      if ( null == autoObserveDescriptor )
      {
        final AutoObserveDescriptor descriptor = component.getAutoObserves().get( observable.getGetter() );
        if ( null != descriptor )
        {
          descriptor.setObservable( observable );
        }
      }
    }
  }

  private void linkAutoObserveReferences( @Nonnull final ComponentDescriptor component )
  {
    for ( final ReferenceDescriptor reference : component.getReferences().values() )
    {
      final AutoObserveDescriptor autoObserveDescriptor = reference.getAutoObserveDescriptor();
      if ( null == autoObserveDescriptor && reference.hasMethod() )
      {
        final AutoObserveDescriptor descriptor = component.getAutoObserves().get( reference.getMethod() );
        if ( null != descriptor )
        {
          descriptor.setReference( reference );
        }
      }
    }
  }

  private void linkObserverRefs( @Nonnull final ComponentDescriptor component )
  {
    for ( final Map.Entry<String, List<CandidateMethod>> entry : component.getObserverRefs().entrySet() )
    {
      final String key = entry.getKey();
      final List<CandidateMethod> methods = entry.getValue();
      final ObserveDescriptor observed = component.getObserves().get( key );
      if ( null != observed )
      {
        methods.stream().map( CandidateMethod::getMethod ).forEach( observed::addRefMethod );
      }
      else
      {
        throw new ProcessorException( "@ObserverRef target defined observer named '" + key + "' but no " +
                                      "@Observe method with that name exists", methods.get( 0 ).getMethod() );
      }
    }
  }

  private void linkObservableInitials( @Nonnull final ComponentDescriptor component )
  {
    for ( final ObservableInitialDescriptor observableInitial : component.getObservableInitials().values() )
    {
      final String name = observableInitial.getName();
      final ObservableDescriptor observable = component.getObservables().get( name );
      if ( null == observable )
      {
        throw new ProcessorException( "@ObservableInitial target defined observable named '" + name + "' but no " +
                                      "@Observable method with that name exists", observableInitial.getElement() );
      }
      if ( !observable.hasGetter() )
      {
        throw new ProcessorException( "@ObservableInitial target defined observable named '" + name + "' but the " +
                                      "observable does not define a getter", observableInitial.getElement() );
      }
      if ( !observable.isAbstract() )
      {
        throw new ProcessorException( "@ObservableInitial target defined observable named '" + name + "' but the " +
                                      "observable is not abstract", observableInitial.getElement() );
      }

      final TypeMirror observableType = observable.getGetterType().getReturnType();
      final TypeMirror initialType = observableInitial.getType();
      if ( !processingEnv.getTypeUtils().isSameType( initialType, observableType ) &&
           !initialType.toString().equals( observableType.toString() ) )
      {
        throw new ProcessorException( "@ObservableInitial target defined observable named '" + name +
                                      "' with incompatible type. Observable type: " + observableType +
                                      " Initial type: " + initialType + ".", observableInitial.getElement() );
      }
      if ( observable.isGetterNonnull() && !AnnotationsUtil.hasNonnullAnnotation( observableInitial.getElement() ) )
      {
        throw new ProcessorException( "@ObservableInitial target defined observable named '" + name + "' but " +
                                      "the initializer is not annotated with @" + AnnotationsUtil.NONNULL_CLASSNAME,
                                      observableInitial.getElement() );
      }

      final Boolean initializer = observable.getInitializer();
      if ( Boolean.TRUE.equals( initializer ) )
      {
        throw new ProcessorException( "@ObservableInitial target defined observable named '" + name + "' but " +
                                      "the observable defines initializer = Feature.ENABLE which is not " +
                                      "compatible with @ObservableInitial", observableInitial.getElement() );
      }
      if ( null == initializer )
      {
        observable.setInitializer( Boolean.FALSE );
      }
      observable.setObservableInitial( observableInitial );
    }
  }

  @Nullable
  private Boolean isInitializerRequired( @Nonnull final ExecutableElement element )
  {
    final AnnotationMirror annotation =
      AnnotationsUtil.findAnnotationByType( element, Constants.OBSERVABLE_CLASSNAME );
    final AnnotationValue v =
      null == annotation ? null : AnnotationsUtil.findAnnotationValueNoDefaults( annotation, "initializer" );
    final String value = null == v ? "AUTODETECT" : ( (VariableElement) v.getValue() ).getSimpleName().toString();
    return switch ( value )
    {
      case "ENABLE" -> Boolean.TRUE;
      case "DISABLE" -> Boolean.FALSE;
      default -> null;
    };
  }

  private boolean autodetectInitializer( @Nonnull final ExecutableElement element )
  {
    return element.getModifiers().contains( Modifier.ABSTRACT ) &&
           (
             (
               // Getter
               element.getReturnType().getKind() != TypeKind.VOID &&
               AnnotationsUtil.hasNonnullAnnotation( element ) &&
               !AnnotationsUtil.hasAnnotationOfType( element, Constants.INVERSE_CLASSNAME )
             ) ||
             (
               // Setter
               1 == element.getParameters().size() &&
               AnnotationsUtil.hasNonnullAnnotation( element.getParameters().get( 0 ) )
             )
           );
  }

  private void checkNameUnique( @Nonnull final ComponentDescriptor component, @Nonnull final String name,
                                @Nonnull final ExecutableElement sourceMethod,
                                @Nonnull final String sourceAnnotationName )
    throws ProcessorException
  {
    final ActionDescriptor action = component.getActions().get( name );
    if ( null != action )
    {
      throw toException( name,
                         sourceAnnotationName,
                         sourceMethod,
                         Constants.ACTION_CLASSNAME,
                         action.getAction() );
    }
    final MemoizeDescriptor memoize = component.getMemoizes().get( name );
    if ( null != memoize && memoize.hasMemoize() )
    {
      throw toException( name,
                         sourceAnnotationName,
                         sourceMethod,
                         Constants.MEMOIZE_CLASSNAME,
                         memoize.getMethod() );
    }
    // Observe have pairs so let the caller determine whether a duplicate occurs in that scenario
    if ( !sourceAnnotationName.equals( Constants.OBSERVE_CLASSNAME ) )
    {
      final ObserveDescriptor observed = component.getObserves().get( name );
      if ( null != observed )
      {
        throw toException( name,
                           sourceAnnotationName,
                           sourceMethod,
                           Constants.OBSERVE_CLASSNAME,
                           observed.getMethod() );
      }
    }
    // Observables have pairs so let the caller determine whether a duplicate occurs in that scenario
    if ( !sourceAnnotationName.equals( Constants.OBSERVABLE_CLASSNAME ) )
    {
      final ObservableDescriptor observable = component.getObservables().get( name );
      if ( null != observable )
      {
        throw toException( name,
                           sourceAnnotationName,
                           sourceMethod,
                           Constants.OBSERVABLE_CLASSNAME,
                           observable.getDefiner() );
      }
    }
  }

  @Nonnull
  private ProcessorException toException( @Nonnull final String name,
                                          @Nonnull final String sourceAnnotationName,
                                          @Nonnull final ExecutableElement sourceMethod,
                                          @Nonnull final String targetAnnotationName,
                                          @Nonnull final ExecutableElement targetElement )
  {
    return new ProcessorException( "Method annotated with " + MemberChecks.toSimpleName( sourceAnnotationName ) +
                                   " specified name " + name + " that duplicates " +
                                   MemberChecks.toSimpleName( targetAnnotationName ) + " defined by method " +
                                   targetElement.getSimpleName(), sourceMethod );
  }

  private void processComponentDependencyFields( @Nonnull final ComponentDescriptor component )
  {
    ElementsUtil.getFields( component.getElement() )
      .stream()
      .filter( f -> AnnotationsUtil.hasAnnotationOfType( f, Constants.COMPONENT_DEPENDENCY_CLASSNAME ) )
      .forEach( field -> processComponentDependencyField( component, field ) );
  }

  private void processObservableInitialFields( @Nonnull final ComponentDescriptor component,
                                               @Nonnull final List<VariableElement> fields )
  {
    fields
      .stream()
      .filter( f -> AnnotationsUtil.hasAnnotationOfType( f, Constants.OBSERVABLE_INITIAL_CLASSNAME ) )
      .forEach( field -> processObservableInitialField( component, field ) );
  }

  private void processComponentDependencyField( @Nonnull final ComponentDescriptor component,
                                                @Nonnull final VariableElement field )
  {
    verifyNoDuplicateAnnotations( field );
    MemberChecks.mustBeSubclassCallable( component.getElement(),
                                         Constants.COMPONENT_CLASSNAME,
                                         Constants.COMPONENT_DEPENDENCY_CLASSNAME,
                                         field );
    component.addDependency( createFieldDependencyDescriptor( component, field ) );
  }

  private void processObservableInitialField( @Nonnull final ComponentDescriptor component,
                                              @Nonnull final VariableElement field )
  {
    verifyNoDuplicateAnnotations( field );
    if ( !field.getModifiers().contains( Modifier.STATIC ) )
    {
      throw new ProcessorException( "@ObservableInitial target must be static", field );
    }
    if ( field.getModifiers().contains( Modifier.PRIVATE ) )
    {
      throw new ProcessorException( "@ObservableInitial target must not be private", field );
    }
    MemberChecks.mustBeFinal( Constants.OBSERVABLE_INITIAL_CLASSNAME, field );

    final AnnotationMirror annotation =
      AnnotationsUtil.getAnnotationByType( field, Constants.OBSERVABLE_INITIAL_CLASSNAME );
    final String declaredName = AnnotationsUtil.getAnnotationValueValue( annotation, "name" );
    final String name = deriveObservableInitialName( field, declaredName );
    if ( null == name )
    {
      throw new ProcessorException( "Field annotated with @ObservableInitial should specify name or be " +
                                    "named according to the convention INITIAL_[Name]", field );
    }

    addObservableInitial( component, new ObservableInitialDescriptor( name, field ) );
  }

  private void addObservableInitialMethod( @Nonnull final ComponentDescriptor component,
                                           @Nonnull final AnnotationMirror annotation,
                                           @Nonnull final ExecutableElement method,
                                           @Nonnull final ExecutableType methodType )
  {
    if ( !method.getModifiers().contains( Modifier.STATIC ) )
    {
      throw new ProcessorException( "@ObservableInitial target must be static", method );
    }
    if ( method.getModifiers().contains( Modifier.PRIVATE ) )
    {
      throw new ProcessorException( "@ObservableInitial target must not be private", method );
    }
    MemberChecks.mustNotBeAbstract( Constants.OBSERVABLE_INITIAL_CLASSNAME, method );
    MemberChecks.mustNotHaveAnyParameters( Constants.OBSERVABLE_INITIAL_CLASSNAME, method );
    MemberChecks.mustReturnAValue( Constants.OBSERVABLE_INITIAL_CLASSNAME, method );
    MemberChecks.mustNotThrowAnyExceptions( Constants.OBSERVABLE_INITIAL_CLASSNAME, method );

    final String declaredName = AnnotationsUtil.getAnnotationValueValue( annotation, "name" );
    final String name = deriveObservableInitialName( method, declaredName );
    if ( null == name )
    {
      throw new ProcessorException( "Method annotated with @ObservableInitial should specify name or be " +
                                    "named according to the convention getInitial[Name]", method );
    }

    addObservableInitial( component, new ObservableInitialDescriptor( name, method, methodType ) );
  }

  private void addObservableInitial( @Nonnull final ComponentDescriptor component,
                                     @Nonnull final ObservableInitialDescriptor descriptor )
  {
    final String name = descriptor.getName();
    if ( component.getObservableInitials().containsKey( name ) )
    {
      throw new ProcessorException( "@ObservableInitial target duplicates existing initializer for observable " +
                                    "named " + name, descriptor.getElement() );
    }
    component.getObservableInitials().put( name, descriptor );
  }

  @Nullable
  private String deriveObservableInitialName( @Nonnull final ExecutableElement method,
                                              @Nonnull final String declaredName )
  {
    if ( Constants.SENTINEL.equals( declaredName ) )
    {
      return deriveName( method, OBSERVABLE_INITIAL_METHOD_PATTERN, declaredName );
    }
    else
    {
      if ( !SourceVersion.isIdentifier( declaredName ) )
      {
        throw new ProcessorException( "@ObservableInitial target specified an invalid name '" + declaredName +
                                      "'. The name must be a valid java identifier.", method );
      }
      else if ( SourceVersion.isKeyword( declaredName ) )
      {
        throw new ProcessorException( "@ObservableInitial target specified an invalid name '" + declaredName +
                                      "'. The name must not be a java keyword.", method );
      }
      return declaredName;
    }
  }

  @Nullable
  private String deriveObservableInitialName( @Nonnull final VariableElement field,
                                              @Nonnull final String declaredName )
  {
    if ( Constants.SENTINEL.equals( declaredName ) )
    {
      final String fieldName = field.getSimpleName().toString();
      final Matcher matcher = OBSERVABLE_INITIAL_FIELD_PATTERN.matcher( fieldName );
      if ( matcher.find() )
      {
        return constantCaseToLowerCamel( matcher.group( 1 ) );
      }
      else
      {
        return null;
      }
    }
    else
    {
      if ( !SourceVersion.isIdentifier( declaredName ) )
      {
        throw new ProcessorException( "@ObservableInitial target specified an invalid name '" + declaredName +
                                      "'. The name must be a valid java identifier.", field );
      }
      else if ( SourceVersion.isKeyword( declaredName ) )
      {
        throw new ProcessorException( "@ObservableInitial target specified an invalid name '" + declaredName +
                                      "'. The name must not be a java keyword.", field );
      }
      return declaredName;
    }
  }

  @Nonnull
  private String constantCaseToLowerCamel( @Nonnull final String name )
  {
    final String[] parts = name.split( "_" );
    final StringBuilder sb = new StringBuilder();
    for ( final String part : parts )
    {
      if ( part.isEmpty() )
      {
        continue;
      }
      final String lower = part.toLowerCase( Locale.ENGLISH );
      if ( sb.isEmpty() )
      {
        sb.append( lower );
      }
      else
      {
        sb.append( Character.toUpperCase( lower.charAt( 0 ) ) );
        if ( lower.length() > 1 )
        {
          sb.append( lower.substring( 1 ) );
        }
      }
    }
    return sb.toString();
  }

  private void addReference( @Nonnull final ComponentDescriptor component,
                             @Nonnull final AnnotationMirror annotation,
                             @Nonnull final ExecutableElement method,
                             @Nonnull final ExecutableType methodType )
  {
    MemberChecks.mustNotHaveAnyParameters( Constants.REFERENCE_CLASSNAME, method );
    MemberChecks.mustBeSubclassCallable( component.getElement(),
                                         Constants.COMPONENT_CLASSNAME,
                                         Constants.REFERENCE_CLASSNAME,
                                         method );
    MemberChecks.mustNotThrowAnyExceptions( Constants.REFERENCE_CLASSNAME, method );
    MemberChecks.mustReturnAValue( Constants.REFERENCE_CLASSNAME, method );
    MemberChecks.mustBeAbstract( Constants.REFERENCE_CLASSNAME, method );

    final String name = getReferenceName( annotation, method );
    final String linkType = getLinkType( method );
    final String inverseName;
    final Multiplicity inverseMultiplicity;
    if ( hasInverse( annotation ) )
    {
      inverseMultiplicity = getReferenceInverseMultiplicity( annotation );
      inverseName = getReferenceInverseName( component, annotation, method, inverseMultiplicity );
      final TypeMirror returnType = method.getReturnType();
      if ( !( returnType instanceof DeclaredType ) ||
           !AnnotationsUtil.hasAnnotationOfType( ( (DeclaredType) returnType ).asElement(),
                                                 Constants.COMPONENT_CLASSNAME ) )
      {
        throw new ProcessorException( "@Reference target expected to return a type annotated with " +
                                      MemberChecks.toSimpleName( Constants.COMPONENT_CLASSNAME ) +
                                      " if there is an inverse reference", method );
      }
    }
    else
    {
      inverseName = null;
      inverseMultiplicity = null;
    }
    final ReferenceDescriptor descriptor = component.findOrCreateReference( name );
    descriptor.setMethod( method, methodType, linkType, inverseName, inverseMultiplicity );
    verifyMultiplicityOfAssociatedInverseMethod( component, descriptor );
  }

  private boolean hasInverse( @Nonnull final AnnotationMirror annotation )
  {
    final VariableElement variableElement = AnnotationsUtil.getAnnotationValueValue( annotation, "inverse" );
    return switch ( variableElement.getSimpleName().toString() )
    {
      case "ENABLE" -> true;
      case "DISABLE" -> false;
      default -> null != AnnotationsUtil.findAnnotationValueNoDefaults( annotation, "inverseName" ) ||
                 null != AnnotationsUtil.findAnnotationValueNoDefaults( annotation, "inverseMultiplicity" );
    };
  }

  private void verifyMultiplicityOfAssociatedReferenceMethod( @Nonnull final ComponentDescriptor component,
                                                              @Nonnull final InverseDescriptor descriptor )
  {
    final Multiplicity multiplicity =
      ElementsUtil
        .getMethods( descriptor.getTargetType(),
                     processingEnv.getElementUtils(),
                     processingEnv.getTypeUtils() )
        .stream()
        .map( m -> {
          final AnnotationMirror a =
            AnnotationsUtil.findAnnotationByType( m, Constants.REFERENCE_CLASSNAME );
          if ( null != a && getReferenceName( a, m ).equals( descriptor.getReferenceName() ) )
          {
            if ( null == AnnotationsUtil.findAnnotationValueNoDefaults( a, "inverse" ) &&
                 null == AnnotationsUtil.findAnnotationValueNoDefaults( a, "inverseName" ) &&
                 null == AnnotationsUtil.findAnnotationValueNoDefaults( a, "inverseMultiplicity" ) )
            {
              throw new ProcessorException( "@Inverse target found an associated @Reference on the method '" +
                                            m.getSimpleName() + "' on type '" +
                                            descriptor.getTargetType().getQualifiedName() + "' but the " +
                                            "annotation has not configured an inverse.",
                                            descriptor.getObservable().getGetter() );
            }
            ensureTargetTypeAligns( component, descriptor, m.getReturnType() );
            return getReferenceInverseMultiplicity( a );
          }
          else
          {
            return null;
          }
        } )
        .filter( Objects::nonNull )
        .findAny()
        .orElse( null );
    if ( null == multiplicity )
    {
      throw new ProcessorException( "@Inverse target expected to find an associated @Reference annotation with " +
                                    "a name parameter equal to '" + descriptor.getReferenceName() + "' on class " +
                                    descriptor.getTargetType().getQualifiedName() + " but is unable to " +
                                    "locate a matching method.", descriptor.getObservable().getGetter() );
    }

    if ( descriptor.getMultiplicity() != multiplicity )
    {
      throw new ProcessorException( "@Inverse target has a multiplicity of " + descriptor.getMultiplicity() +
                                    " but that associated @Reference has a multiplicity of " + multiplicity +
                                    ". The multiplicity must align.", descriptor.getObservable().getGetter() );
    }
  }

  @Nonnull
  private String getLinkType( @Nonnull final ExecutableElement method )
  {
    return AnnotationsUtil.getEnumAnnotationParameter( method, Constants.REFERENCE_CLASSNAME, "load" );
  }

  @Nonnull
  private String getReferenceName( @Nonnull final AnnotationMirror annotation,
                                   @Nonnull final ExecutableElement method )
  {
    final String declaredName = AnnotationsUtil.getAnnotationValueValue( annotation, "name" );
    final String name;
    if ( Constants.SENTINEL.equals( declaredName ) )
    {
      final String candidate = deriveName( method, GETTER_PATTERN, declaredName );
      if ( null == candidate )
      {
        name = method.getSimpleName().toString();
      }
      else
      {
        name = candidate;
      }
    }
    else
    {
      name = declaredName;
      if ( !SourceVersion.isIdentifier( name ) )
      {
        throw new ProcessorException( "@Reference target specified an invalid name '" + name + "'. The " +
                                      "name must be a valid java identifier.", method );
      }
      else if ( SourceVersion.isKeyword( name ) )
      {
        throw new ProcessorException( "@Reference target specified an invalid name '" + name + "'. The " +
                                      "name must not be a java keyword.", method );
      }
    }
    return name;
  }

  @Nonnull
  private Multiplicity getReferenceInverseMultiplicity( @Nonnull final AnnotationMirror annotation )
  {
    final VariableElement variableElement =
      AnnotationsUtil.getAnnotationValueValue( annotation, "inverseMultiplicity" );
    return switch ( variableElement.getSimpleName().toString() )
    {
      case "MANY" -> Multiplicity.MANY;
      case "ONE" -> Multiplicity.ONE;
      default -> Multiplicity.ZERO_OR_ONE;
    };
  }

  @Nonnull
  private String getReferenceInverseName( @Nonnull final ComponentDescriptor component,
                                          @Nonnull final AnnotationMirror annotation,
                                          @Nonnull final ExecutableElement method,
                                          @Nonnull final Multiplicity multiplicity )
  {
    final String declaredName = AnnotationsUtil.getAnnotationValueValue( annotation, "inverseName" );
    final String name;
    if ( Constants.SENTINEL.equals( declaredName ) )
    {
      final String baseName = component.getElement().getSimpleName().toString();
      return firstCharacterToLowerCase( baseName ) + ( Multiplicity.MANY == multiplicity ? "s" : "" );
    }
    else
    {
      name = declaredName;
      if ( !SourceVersion.isIdentifier( name ) )
      {
        throw new ProcessorException( "@Reference target specified an invalid inverseName '" + name + "'. The " +
                                      "inverseName must be a valid java identifier.", method );
      }
      else if ( SourceVersion.isKeyword( name ) )
      {
        throw new ProcessorException( "@Reference target specified an invalid inverseName '" + name + "'. The " +
                                      "inverseName must not be a java keyword.", method );
      }
    }
    return name;
  }

  private void ensureTargetTypeAligns( @Nonnull final ComponentDescriptor component,
                                       @Nonnull final ReferenceDescriptor descriptor,
                                       @Nonnull final TypeMirror target )
  {
    if ( !processingEnv.getTypeUtils().isSameType( target, component.getElement().asType() ) )
    {
      throw new ProcessorException( "@Reference target expected to find an associated @Inverse annotation with " +
                                    "a target type equal to " + component.getElement().getQualifiedName() + " but " +
                                    "the actual target type is " + target, descriptor.getMethod() );
    }
  }

  private void verifyMultiplicityOfAssociatedInverseMethod( @Nonnull final ComponentDescriptor component,
                                                            @Nonnull final ReferenceDescriptor descriptor )
  {
    final TypeElement element =
      (TypeElement) processingEnv.getTypeUtils().asElement( descriptor.getMethod().getReturnType() );
    final String defaultInverseName =
      descriptor.hasInverse() ?
      null :
      firstCharacterToLowerCase( component.getElement().getSimpleName().toString() ) + "s";
    final Multiplicity multiplicity =
      ElementsUtil
        .getMethods( element, processingEnv.getElementUtils(), processingEnv.getTypeUtils() )
        .stream()
        .map( m -> {
          final AnnotationMirror a = AnnotationsUtil.findAnnotationByType( m, Constants.INVERSE_CLASSNAME );
          if ( null == a )
          {
            return null;
          }
          final String inverseName = getInverseName( a, m );
          if ( !descriptor.hasInverse() && inverseName.equals( defaultInverseName ) )
          {
            throw new ProcessorException( "@Reference target has not configured an inverse but there is an " +
                                          "associated @Inverse annotated method named '" + m.getSimpleName() +
                                          "' on type '" + element.getQualifiedName() + "'.",
                                          descriptor.getMethod() );
          }
          if ( descriptor.hasInverse() && inverseName.equals( descriptor.getInverseName() ) )
          {
            final TypeElement target = getInverseManyTypeTarget( m );
            if ( null != target )
            {
              ensureTargetTypeAligns( component, descriptor, target.asType() );
              return Multiplicity.MANY;
            }
            else
            {
              ensureTargetTypeAligns( component, descriptor, m.getReturnType() );
              return AnnotationsUtil.hasNonnullAnnotation( m ) ? Multiplicity.ONE : Multiplicity.ZERO_OR_ONE;
            }
          }
          else
          {
            return null;
          }
        } )
        .filter( Objects::nonNull )
        .findAny()
        .orElse( null );

    if ( descriptor.hasInverse() )
    {
      if ( null == multiplicity )
      {
        throw new ProcessorException( "@Reference target expected to find an associated @Inverse annotation " +
                                      "with a name parameter equal to '" + descriptor.getInverseName() + "' on " +
                                      "class " + descriptor.getMethod().getReturnType() + " but is unable to " +
                                      "locate a matching method.", descriptor.getMethod() );
      }

      final Multiplicity inverseMultiplicity = descriptor.getInverseMultiplicity();
      if ( inverseMultiplicity != multiplicity )
      {
        throw new ProcessorException( "@Reference target has an inverseMultiplicity of " + inverseMultiplicity +
                                      " but that associated @Inverse has a multiplicity of " + multiplicity +
                                      ". The multiplicity must align.", descriptor.getMethod() );
      }
    }
  }

  @Nonnull
  private DependencyDescriptor createMethodDependencyDescriptor( @Nonnull final ComponentDescriptor descriptor,
                                                                 @Nonnull final ExecutableElement method )
  {
    MemberChecks.mustNotHaveAnyParameters( Constants.COMPONENT_DEPENDENCY_CLASSNAME, method );
    MemberChecks.mustBeSubclassCallable( descriptor.getElement(),
                                         Constants.COMPONENT_CLASSNAME,
                                         Constants.COMPONENT_DEPENDENCY_CLASSNAME,
                                         method );
    MemberChecks.mustNotThrowAnyExceptions( Constants.COMPONENT_DEPENDENCY_CLASSNAME, method );
    MemberChecks.mustReturnAValue( Constants.COMPONENT_DEPENDENCY_CLASSNAME, method );

    final boolean validateTypeAtRuntime = isComponentDependencyValidateTypeAtRuntime( method );
    final TypeMirror type = method.getReturnType();
    if ( TypeKind.DECLARED != type.getKind() )
    {
      throw new ProcessorException( "@ComponentDependency target must return a non-primitive value", method );
    }
    if ( !validateTypeAtRuntime )
    {
      final TypeElement disposeNotifier = getTypeElement( Constants.DISPOSE_NOTIFIER_CLASSNAME );
      if ( !processingEnv.getTypeUtils().isAssignable( type, disposeNotifier.asType() ) )
      {
        final TypeElement typeElement = (TypeElement) processingEnv.getTypeUtils().asElement( type );
        if ( !isArezComponentLikeAnnotated( typeElement ) && !isDisposeTrackableComponent( typeElement ) )
        {
          throw new ProcessorException( "@ComponentDependency target must return an instance compatible with " +
                                        Constants.DISPOSE_NOTIFIER_CLASSNAME + " or a type annotated " +
                                        "with @ArezComponent(disposeNotifier=ENABLE) or " +
                                        AREZ_COMPONENT_LIKE_DESCRIPTION, method );
        }
      }
    }

    final boolean cascade = isActionCascade( method );
    return new DependencyDescriptor( descriptor, method, cascade );
  }

  private static boolean isComponentDependencyValidateTypeAtRuntime( @Nonnull final AnnotatedConstruct annotatedConstruct )
  {
    return Boolean.TRUE.equals( AnnotationsUtil
                                  .getAnnotationValue( annotatedConstruct,
                                                       Constants.COMPONENT_DEPENDENCY_CLASSNAME,
                                                       "validateTypeAtRuntime" )
                                  .getValue() );
  }

  @Nonnull
  private DependencyDescriptor createFieldDependencyDescriptor( @Nonnull final ComponentDescriptor descriptor,
                                                                @Nonnull final VariableElement field )
  {
    MemberChecks.mustBeSubclassCallable( descriptor.getElement(),
                                         Constants.COMPONENT_CLASSNAME,
                                         Constants.COMPONENT_DEPENDENCY_CLASSNAME,
                                         field );
    emitWarningForManagedFieldAccess( descriptor, field, Constants.COMPONENT_DEPENDENCY_CLASSNAME );
    MemberChecks.mustBeFinal( Constants.COMPONENT_DEPENDENCY_CLASSNAME, field );

    final boolean validateTypeAtRuntime = isComponentDependencyValidateTypeAtRuntime( field );
    final TypeMirror type = processingEnv.getTypeUtils().asMemberOf( descriptor.asDeclaredType(), field );
    if ( TypeKind.TYPEVAR != type.getKind() && TypeKind.DECLARED != type.getKind() )
    {
      throw new ProcessorException( "@ComponentDependency target must be a non-primitive value", field );
    }
    if ( !validateTypeAtRuntime )
    {
      final TypeElement disposeNotifier = getTypeElement( Constants.DISPOSE_NOTIFIER_CLASSNAME );
      if ( !processingEnv.getTypeUtils().isAssignable( type, disposeNotifier.asType() ) )
      {
        final Element element = processingEnv.getTypeUtils().asElement( type );
        if ( !( element instanceof TypeElement ) ||
             !isArezComponentLikeAnnotated( (TypeElement) element ) &&
             !isDisposeTrackableComponent( (TypeElement) element ) )
        {
          throw new ProcessorException( "@ComponentDependency target must be an instance compatible with " +
                                        Constants.DISPOSE_NOTIFIER_CLASSNAME + " or a type annotated " +
                                        "with @ArezComponent(disposeNotifier=ENABLE) or " +
                                        AREZ_COMPONENT_LIKE_DESCRIPTION, field );
        }
      }
    }

    if ( !isActionCascade( field ) )
    {
      throw new ProcessorException( "@ComponentDependency target defined an action of 'SET_NULL' but the " +
                                    "dependency is on a final field and can not be set to null.", field );

    }

    return new DependencyDescriptor( descriptor, field );
  }

  private boolean isActionCascade( @Nonnull final Element method )
  {
    final String value =
      AnnotationsUtil.getEnumAnnotationParameter( method,
                                                  Constants.COMPONENT_DEPENDENCY_CLASSNAME,
                                                  "action" );
    return "CASCADE".equals( value );
  }

  @SuppressWarnings( "BooleanMethodIsAlwaysInverted" )
  private boolean isArezComponentAnnotated( @Nonnull final TypeElement typeElement )
  {
    return AnnotationsUtil.hasAnnotationOfType( typeElement, Constants.COMPONENT_CLASSNAME );
  }

  @SuppressWarnings( "BooleanMethodIsAlwaysInverted" )
  private boolean isArezComponentLikeAnnotated( @Nonnull final TypeElement typeElement )
  {
    return AnnotationsUtil.hasAnnotationOfType( typeElement, Constants.AREZ_COMPONENT_LIKE_CLASSNAME ) ||
           isAnnotatedByActAsArezComponent( typeElement );
  }

  private boolean isAnnotatedByActAsArezComponent( @Nonnull final TypeElement typeElement )
  {
    for ( final AnnotationMirror annotation : typeElement.getAnnotationMirrors() )
    {
      final Element annotationType = annotation.getAnnotationType().asElement();
      if ( annotationType instanceof TypeElement && isActAsArezComponentAnnotated( (TypeElement) annotationType ) )
      {
        return true;
      }
    }
    return false;
  }

  private boolean isActAsArezComponentAnnotated( @Nonnull final TypeElement annotationType )
  {
    for ( final AnnotationMirror annotation : annotationType.getAnnotationMirrors() )
    {
      final Element metaAnnotationType = annotation.getAnnotationType().asElement();
      if ( metaAnnotationType instanceof TypeElement &&
           isActAsArezComponentAnnotationType( (TypeElement) metaAnnotationType ) )
      {
        return true;
      }
    }
    return false;
  }

  private boolean isActAsArezComponentAnnotationType( @Nonnull final TypeElement annotationType )
  {
    return Constants.ACT_AS_AREZ_COMPONENT_CLASSNAME.equals( annotationType.getQualifiedName().toString() ) ||
           annotationType.getSimpleName().contentEquals( Constants.ACT_AS_AREZ_COMPONENT_SIMPLE_NAME );
  }

  private boolean isArezComponentLikeType( @Nonnull final TypeMirror typeMirror )
  {
    final Element element = processingEnv.getTypeUtils().asElement( typeMirror );
    return element instanceof TypeElement && isArezComponentLikeAnnotated( (TypeElement) element );
  }

  @SuppressWarnings( "BooleanMethodIsAlwaysInverted" )
  private boolean isDisposeTrackableComponent( @Nonnull final TypeElement typeElement )
  {
    return isArezComponentAnnotated( typeElement ) &&
           isDisposableTrackableRequired( typeElement );
  }

  private boolean isLivenessDisposedArezComponent( @Nonnull final TypeMirror typeMirror )
  {
    final Element element = processingEnv.getTypeUtils().asElement( typeMirror );
    final AnnotationMirror arezComponent = element instanceof TypeElement ?
                                           AnnotationsUtil.findAnnotationByType( element,
                                                                                 Constants.COMPONENT_CLASSNAME ) :
                                           null;
    return null != arezComponent && this.<Boolean>getAnnotationParameter( arezComponent, "disposeOnDeactivate" );
  }

  @Nonnull
  private ComponentDescriptor parse( @Nonnull final TypeElement typeElement )
    throws ProcessorException
  {
    if ( ElementKind.CLASS != typeElement.getKind() && ElementKind.INTERFACE != typeElement.getKind() )
    {
      throw new ProcessorException( "@ArezComponent target must be a class or an interface", typeElement );
    }
    else if ( typeElement.getModifiers().contains( Modifier.FINAL ) )
    {
      throw new ProcessorException( "@ArezComponent target must not be final", typeElement );
    }
    else if ( ElementsUtil.isNonStaticNestedClass( typeElement ) )
    {
      throw new ProcessorException( "@ArezComponent target must not be a non-static nested class", typeElement );
    }
    final AnnotationMirror arezComponent =
      AnnotationsUtil.getAnnotationByType( typeElement, Constants.COMPONENT_CLASSNAME );
    final String declaredName = getAnnotationParameter( arezComponent, "name" );
    final boolean disposeOnDeactivate = getAnnotationParameter( arezComponent, "disposeOnDeactivate" );
    final boolean observableFlag = isComponentObservableRequired( arezComponent, disposeOnDeactivate );
    final boolean service = isService( typeElement );
    final boolean disposeNotifierFlag = isDisposableTrackableRequired( typeElement );
    final boolean allowEmpty = getAnnotationParameter( arezComponent, "allowEmpty" );
    final List<VariableElement> fields = ElementsUtil.getFields( typeElement );
    ensureNoFieldInjections( fields );
    ensureNoMethodInjections( typeElement );
    final boolean sting = isStingIntegrationEnabled( arezComponent, service );

    final var defaultReadOutsideTransaction =
      AnnotationsUtil.findAnnotationValueNoDefaults( arezComponent, "defaultReadOutsideTransaction" );
    final var defaultWriteOutsideTransaction =
      AnnotationsUtil.findAnnotationValueNoDefaults( arezComponent, "defaultWriteOutsideTransaction" );
    final var defaultSkipIfDisposed =
      AnnotationsUtil.findAnnotationValueNoDefaults( arezComponent, "defaultSkipIfDisposed" );

    final var requireEquals = isEqualsRequired( arezComponent );
    final var requireVerify = isVerifyRequired( arezComponent, typeElement );

    if ( !typeElement.getModifiers().contains( Modifier.ABSTRACT ) )
    {
      throw new ProcessorException( "@ArezComponent target must be abstract", typeElement );
    }

    final var name =
      Constants.SENTINEL.equals( declaredName ) ?
      typeElement.getQualifiedName().toString().replace( ".", "_" ) :
      declaredName;

    if ( !SourceVersion.isIdentifier( name ) )
    {
      throw new ProcessorException( "@ArezComponent target specified an invalid name '" + name + "'. The " +
                                    "name must be a valid java identifier.", typeElement );
    }
    else if ( SourceVersion.isKeyword( name ) )
    {
      throw new ProcessorException( "@ArezComponent target specified an invalid name '" + name + "'. The " +
                                    "name must not be a java keyword.", typeElement );
    }

    verifyConstructors( typeElement, sting );

    if ( sting && !( (DeclaredType) typeElement.asType() ).getTypeArguments().isEmpty() )
    {
      throw new ProcessorException( MemberChecks.mustNot( Constants.COMPONENT_CLASSNAME,
                                                          "enable sting integration and be a parameterized type" ),
                                    typeElement );
    }
    else if ( !sting && AnnotationsUtil.hasAnnotationOfType( typeElement, Constants.STING_EAGER ) )
    {
      throw new ProcessorException( MemberChecks.mustNot( Constants.COMPONENT_CLASSNAME,
                                                          "disable sting integration and be annotated with " +
                                                          Constants.STING_EAGER ),
                                    typeElement );
    }
    else if ( !sting && AnnotationsUtil.hasAnnotationOfType( typeElement, Constants.STING_TYPED ) )
    {
      throw new ProcessorException( MemberChecks.mustNot( Constants.COMPONENT_CLASSNAME,
                                                          "disable sting integration and be annotated with " +
                                                          Constants.STING_TYPED ),
                                    typeElement );
    }
    else if ( !sting && AnnotationsUtil.hasAnnotationOfType( typeElement, Constants.STING_NAMED ) )
    {
      throw new ProcessorException( MemberChecks.mustNot( Constants.COMPONENT_CLASSNAME,
                                                          "disable sting integration and be annotated with " +
                                                          Constants.STING_NAMED ),
                                    typeElement );
    }
    else if ( !observableFlag && disposeOnDeactivate )
    {
      throw new ProcessorException( "@ArezComponent target has specified observable = DISABLE and " +
                                    "disposeOnDeactivate = true which is not a valid combination", typeElement );
    }

    if ( isWarningNotSuppressed( typeElement, Constants.WARNING_EXTENDS_COMPONENT ) )
    {
      var parent = typeElement.getSuperclass();
      while ( null != parent )
      {
        final var parentElement = processingEnv.getTypeUtils().asElement( parent );
        final var parentTypeElement =
          null != parentElement && ElementKind.CLASS == parentElement.getKind() ? (TypeElement) parentElement : null;

        if ( null != parentTypeElement &&
             AnnotationsUtil.hasAnnotationOfType( parentTypeElement, Constants.COMPONENT_CLASSNAME ) )
        {
          final var message =
            MemberChecks.shouldNot( Constants.COMPONENT_CLASSNAME,
                                    "extend a class annotated with the " + Constants.COMPONENT_CLASSNAME +
                                    " annotation. " + suppressedBy( Constants.WARNING_EXTENDS_COMPONENT ) );
          warning( message, typeElement );
        }
        parent = null != parentTypeElement ? parentTypeElement.getSuperclass() : null;
      }
    }

    final var methods =
      ElementsUtil.getMethods( typeElement, processingEnv.getElementUtils(), processingEnv.getTypeUtils(), true );
    final var generateToString = methods.stream().
      noneMatch( m -> m.getSimpleName().toString().equals( "toString" ) &&
                      m.getParameters().isEmpty() &&
                      !( m.getEnclosingElement().getSimpleName().toString().equals( "Object" ) &&
                         "java.lang".equals( processingEnv
                                               .getElementUtils()
                                               .getPackageOf( m.getEnclosingElement() )
                                               .getQualifiedName()
                                               .toString() ) ) );

    final var priority = getDefaultPriority( arezComponent );
    final var defaultPriority =
      null == priority ? null : "DEFAULT".equals( priority ) ? Priority.NORMAL : Priority.valueOf( priority );

    final var defaultReadOutsideTransactionValue =
      null == defaultReadOutsideTransaction ?
      null :
      ( (VariableElement) defaultReadOutsideTransaction.getValue() ).getSimpleName().toString();
    final var defaultWriteOutsideTransactionValue =
      null == defaultWriteOutsideTransaction ?
      null :
      ( (VariableElement) defaultWriteOutsideTransaction.getValue() ).getSimpleName().toString();
    final var defaultSkipIfDisposedValue =
      null == defaultSkipIfDisposed ?
      null :
      ( (VariableElement) defaultSkipIfDisposed.getValue() ).getSimpleName().toString();

    final var descriptor =
      new ComponentDescriptor( name,
                               defaultPriority,
                               observableFlag,
                               disposeNotifierFlag,
                               disposeOnDeactivate,
                               sting,
                               requireEquals,
                               requireVerify,
                               generateToString,
                               typeElement,
                               defaultReadOutsideTransactionValue,
                               defaultWriteOutsideTransactionValue,
                               defaultSkipIfDisposedValue );

    processObservableInitialFields( descriptor, fields );
    analyzeCandidateMethods( descriptor, methods, processingEnv.getTypeUtils() );
    validate( allowEmpty, descriptor );

    for ( final ObservableDescriptor observable : descriptor.getObservables().values() )
    {
      final var returnType = observable.getGetterType().getReturnType();
      if ( observable.expectSetter() )
      {
        final var parameterType = observable.getSetterType().getParameterTypes().get( 0 );
        if ( !processingEnv.getTypeUtils().isSameType( parameterType, returnType ) &&
             !parameterType.toString().equals( returnType.toString() ) )
        {
          throw new ProcessorException( "@Observable property defines a setter and getter with different types." +
                                        " Getter type: " + returnType + " Setter type: " + parameterType + ".",
                                        observable.getGetter() );
        }
      }
      final var getterDeclaredComparator = observable.getGetterDeclaredEqualityComparator();
      final var setterDeclaredComparator = observable.getSetterDeclaredEqualityComparator();
      final var getterExplicit = !Constants.EQUALITY_COMPARATOR_CLASSNAME.equals( getterDeclaredComparator );
      final var setterExplicit = !Constants.EQUALITY_COMPARATOR_CLASSNAME.equals( setterDeclaredComparator );
      if ( getterExplicit && setterExplicit && !getterDeclaredComparator.equals( setterDeclaredComparator ) )
      {
        throw new ProcessorException( "@Observable target specified equalityComparator of type '" +
                                      setterDeclaredComparator + "' but the paired accessor has already specified " +
                                      "equalityComparator of type '" + getterDeclaredComparator + "'.",
                                      observable.getSetter() );
      }
      final var comparatorElement =
        getterExplicit ? observable.getGetter() : setterExplicit ? observable.getSetter() : observable.getDefiner();
      final var comparatorClassName =
        getterExplicit ? getterDeclaredComparator :
        setterExplicit ? setterDeclaredComparator :
        Constants.EQUALITY_COMPARATOR_CLASSNAME;
      observable.setEqualityComparator( resolveEffectiveEqualityComparator( descriptor.getElement(),
                                                                            Constants.OBSERVABLE_CLASSNAME,
                                                                            comparatorElement,
                                                                            returnType,
                                                                            comparatorClassName ) );
    }

    final var idRequired = isIdRequired( arezComponent );
    descriptor.setIdRequired( idRequired );
    if ( !idRequired )
    {
      if ( descriptor.hasComponentIdMethod() )
      {
        throw new ProcessorException( "@ArezComponent target has specified the idRequired = DISABLE " +
                                      "annotation parameter but also has annotated a method with @ComponentId " +
                                      "that requires idRequired = ENABLE.", typeElement );
      }
      if ( !descriptor.getComponentIdRefs().isEmpty() )
      {
        throw new ProcessorException( "@ArezComponent target has specified the idRequired = DISABLE " +
                                      "annotation parameter but also has annotated a method with @ComponentIdRef " +
                                      "that requires idRequired = ENABLE.", typeElement );
      }
      if ( !descriptor.getInverses().isEmpty() )
      {
        throw new ProcessorException( "@ArezComponent target has specified the idRequired = DISABLE " +
                                      "annotation parameter but also has annotated a method with @Inverse " +
                                      "that requires idRequired = ENABLE.", typeElement );
      }
    }

    warnOnUnmanagedComponentReferences( descriptor, fields );

    return descriptor;
  }

  private boolean isStingIntegrationEnabled( @Nonnull final AnnotationMirror arezComponent, final boolean service )
  {
    final VariableElement parameter = getAnnotationParameter( arezComponent, "sting" );
    final var value = parameter.getSimpleName().toString();
    return "ENABLE".equals( value ) ||
           ( "AUTODETECT".equals( value ) &&
             service &&
             null != findTypeElement( Constants.STING_INJECTOR ) );
  }

  private void verifyConstructors( @Nonnull final TypeElement typeElement, final boolean sting )
  {
    final var constructors = ElementsUtil.getConstructors( typeElement );
    if ( constructors.size() > 1 && sting )
    {
      throw new ProcessorException( MemberChecks.mustNot( Constants.COMPONENT_CLASSNAME,
                                                          "enable sting integration and have multiple constructors" ),
                                    typeElement );
    }

    for ( final var constructor : constructors )
    {
      if ( constructor.getModifiers().contains( Modifier.PROTECTED ) &&
           isWarningNotSuppressed( constructor, Constants.WARNING_PROTECTED_CONSTRUCTOR ) )
      {
        final var message =
          MemberChecks.should( Constants.COMPONENT_CLASSNAME,
                               "have a package access constructor. " +
                               suppressedBy( Constants.WARNING_PROTECTED_CONSTRUCTOR ) );
        warning( message, constructor );
      }
      verifyConstructorParameters( constructor, sting );
    }
  }

  private void verifyConstructorParameters( @Nonnull final ExecutableElement constructor, final boolean sting )
  {
    for ( final var parameter : constructor.getParameters() )
    {
      final var type = parameter.asType();
      if ( sting && TypesUtil.containsArrayType( type ) )
      {
        throw new ProcessorException( MemberChecks.mustNot( Constants.COMPONENT_CLASSNAME,
                                                            "enable sting integration and contain a constructor with a parameter that contains an array type" ),
                                      parameter );
      }
      else if ( sting && TypesUtil.containsWildcard( type ) )
      {
        throw new ProcessorException( MemberChecks.mustNot( Constants.COMPONENT_CLASSNAME,
                                                            "enable sting integration and contain a constructor with a parameter that contains a wildcard type parameter" ),
                                      parameter );
      }
      else if ( sting && TypesUtil.containsRawType( type ) )
      {
        throw new ProcessorException( MemberChecks.mustNot( Constants.COMPONENT_CLASSNAME,
                                                            "enable sting integration and contain a constructor with a parameter that contains a raw type" ),
                                      parameter );
      }
      else if ( !sting && AnnotationsUtil.hasAnnotationOfType( parameter, Constants.STING_NAMED ) )
      {
        throw new ProcessorException( MemberChecks.mustNot( Constants.COMPONENT_CLASSNAME,
                                                            "disable sting integration and contain a constructor with a parameter that is annotated with the " +
                                                            Constants.STING_NAMED + " annotation" ),
                                      parameter );
      }
      else if ( sting && TypeKind.DECLARED == type.getKind() && !( (DeclaredType) type ).getTypeArguments().isEmpty() )
      {
        throw new ProcessorException( MemberChecks.mustNot( Constants.COMPONENT_CLASSNAME,
                                                            "enable sting integration and contain a constructor with a parameter that contains a parameterized type" ),
                                      parameter );
      }
    }
  }

  private void ensureNoFieldInjections( @Nonnull final List<VariableElement> fields )
  {
    for ( final var field : fields )
    {
      if ( hasInjectAnnotation( field ) )
      {
        throw new ProcessorException( MemberChecks.mustNot( Constants.COMPONENT_CLASSNAME,
                                                            "contain fields annotated by the " +
                                                            Constants.INJECT_CLASSNAME +
                                                            " annotation. Use constructor injection instead" ),
                                      field );
      }
    }
  }

  private void ensureNoMethodInjections( @Nonnull final TypeElement typeElement )
  {
    final var methods =
      ElementsUtil.getMethods( typeElement, processingEnv.getElementUtils(), processingEnv.getTypeUtils() );
    for ( final var method : methods )
    {
      if ( hasInjectAnnotation( method ) )
      {
        throw new ProcessorException( MemberChecks.mustNot( Constants.COMPONENT_CLASSNAME,
                                                            "contain methods annotated by the " +
                                                            Constants.INJECT_CLASSNAME +
                                                            " annotation. Use constructor injection instead" ),
                                      method );
      }
    }
  }

  private void analyzeCandidateMethods( @Nonnull final ComponentDescriptor componentDescriptor,
                                        @Nonnull final List<ExecutableElement> methods,
                                        @Nonnull final Types typeUtils )
    throws ProcessorException
  {
    for ( final var method : methods )
    {
      final var methodName = method.getSimpleName().toString();
      if ( AREZ_SPECIAL_METHODS.contains( methodName ) && method.getParameters().isEmpty() )
      {
        throw new ProcessorException( "Method defined on a class annotated by @ArezComponent uses a name " +
                                      "reserved by Arez", method );
      }
      else if ( methodName.startsWith( ComponentGenerator.FIELD_PREFIX ) ||
                methodName.startsWith( ComponentGenerator.OBSERVABLE_DATA_FIELD_PREFIX ) ||
                methodName.startsWith( ComponentGenerator.REFERENCE_FIELD_PREFIX ) ||
                methodName.startsWith( ComponentGenerator.FRAMEWORK_PREFIX ) )
      {
        throw new ProcessorException( "Method defined on a class annotated by @ArezComponent uses a name " +
                                      "with a prefix reserved by Arez", method );
      }
    }
    final var getters = new HashMap<String, CandidateMethod>();
    final var captures = new HashMap<String, CandidateMethod>();
    final var pushes = new HashMap<String, CandidateMethod>();
    final var pops = new HashMap<String, CandidateMethod>();
    final var setters = new HashMap<String, CandidateMethod>();
    final var observes = new HashMap<String, CandidateMethod>();
    final var onDepsChanges = new LinkedHashMap<String, List<CandidateMethod>>();
    for ( final ExecutableElement method : methods )
    {
      final var methodType =
        (ExecutableType) typeUtils.asMemberOf( (DeclaredType) componentDescriptor.getElement().asType(), method );
      if ( !analyzeMethod( componentDescriptor, method, methodType ) )
      {
        /*
         * If we get here the method was not annotated so we can try to detect if it is a
         * candidate arez method in case some arez annotations are implied via naming conventions.
         */
        if ( method.getModifiers().contains( Modifier.STATIC ) )
        {
          continue;
        }

        final var candidateMethod = new CandidateMethod( method, methodType );
        final var voidReturn = method.getReturnType().getKind() == TypeKind.VOID;
        final var parameterCount = method.getParameters().size();
        String name;

        name = deriveName( method, PUSH_PATTERN, Constants.SENTINEL );
        if ( voidReturn && 1 == parameterCount && null != name )
        {
          pushes.put( name, candidateMethod );
          continue;
        }
        name = deriveName( method, POP_PATTERN, Constants.SENTINEL );
        if ( voidReturn && 1 == parameterCount && null != name )
        {
          pops.put( name, candidateMethod );
          continue;
        }
        name = deriveName( method, CAPTURE_PATTERN, Constants.SENTINEL );
        if ( !voidReturn && 0 == parameterCount && null != name )
        {
          captures.put( name, candidateMethod );
          continue;
        }

        if ( !method.getModifiers().contains( Modifier.FINAL ) )
        {
          name = deriveName( method, SETTER_PATTERN, Constants.SENTINEL );
          if ( voidReturn && 1 == parameterCount && null != name )
          {
            setters.put( name, candidateMethod );
            continue;
          }
          name = deriveName( method, ISSER_PATTERN, Constants.SENTINEL );
          if ( !voidReturn && 0 == parameterCount && null != name )
          {
            getters.put( name, candidateMethod );
            continue;
          }
          name = deriveName( method, GETTER_PATTERN, Constants.SENTINEL );
          if ( !voidReturn && 0 == parameterCount && null != name )
          {
            getters.put( name, candidateMethod );
            continue;
          }
        }
        name = deriveName( method, ON_DEPS_CHANGE_PATTERN, Constants.SENTINEL );
        if ( voidReturn && null != name )
        {
          if ( 0 == parameterCount ||
               (
                 1 == parameterCount &&
                 Constants.OBSERVER_CLASSNAME.equals( method.getParameters().get( 0 ).asType().toString() )
               )
          )
          {
            onDepsChanges.computeIfAbsent( name, key -> new ArrayList<>() ).add( candidateMethod );
            continue;
          }
        }

        final var methodName = method.getSimpleName().toString();
        if ( !OBJECT_METHODS.contains( methodName ) )
        {
          observes.put( methodName, candidateMethod );
        }
      }
    }

    linkUnAnnotatedObservables( componentDescriptor, getters, setters );
    linkUnAnnotatedObserves( componentDescriptor, observes, onDepsChanges );
    linkUnMemoizeContextParameters( componentDescriptor, captures, pushes, pops );
    linkObserverRefs( componentDescriptor );
    linkCascadeDisposeObservables( componentDescriptor );
    linkCascadeDisposeReferences( componentDescriptor );
    linkAutoObserveObservables( componentDescriptor );
    linkAutoObserveReferences( componentDescriptor );
    linkObservableInitials( componentDescriptor );

    // CascadeDispose returned false but it was actually processed so lets remove them from getters set

    componentDescriptor.getCascadeDisposes().keySet().forEach( method -> {
      for ( final var entry : new HashMap<>( getters ).entrySet() )
      {
        if ( method.equals( entry.getValue().getMethod() ) )
        {
          getters.remove( entry.getKey() );
        }
      }
    } );

    linkMemoizeContextParametersToMemoizes( componentDescriptor );

    linkDependencies( componentDescriptor, getters.values() );

    autodetectObservableInitializers( componentDescriptor );

    /*
     * All of the maps will have called remove() for all matching candidates.
     * Thus any left are the non-arez methods.
     */

    ensureNoAbstractMethods( componentDescriptor, getters.values() );
    ensureNoAbstractMethods( componentDescriptor, setters.values() );
    ensureNoAbstractMethods( componentDescriptor, observes.values() );
    ensureNoAbstractMethods( componentDescriptor,
                             onDepsChanges.values().stream().flatMap( List::stream ).toList() );

    processCascadeDisposeFields( componentDescriptor );
    processAutoObserveFields( componentDescriptor );
    processComponentDependencyFields( componentDescriptor );
  }

  private static void linkMemoizeContextParametersToMemoizes( final @Nonnull ComponentDescriptor componentDescriptor )
  {
    // Link MemoizeContextParameters to associated Memoize descriptors
    componentDescriptor
      .getMemoizes()
      .values()
      .forEach( m ->
                  componentDescriptor
                    .getMemoizeContextParameters()
                    .values()
                    .forEach( p -> p.tryMatchMemoizeDescriptor( m ) ) );
  }

  private void linkUnMemoizeContextParameters( @Nonnull final ComponentDescriptor componentDescriptor,
                                               @Nonnull final Map<String, CandidateMethod> captures,
                                               @Nonnull final Map<String, CandidateMethod> pushes,
                                               @Nonnull final Map<String, CandidateMethod> pops )
  {
    final var parameters = componentDescriptor.getMemoizeContextParameters().values();
    for ( final var parameter : parameters )
    {
      if ( !parameter.hasCapture() )
      {
        final var capture = captures.remove( parameter.getName() );
        if ( null != capture )
        {
          parameter.linkUnAnnotatedCapture( capture.getMethod(), capture.getMethodType() );
        }
      }
      if ( !parameter.hasPop() )
      {
        final var pop = pops.remove( parameter.getName() );
        if ( null != pop )
        {
          parameter.linkUnAnnotatedPop( pop.getMethod(), pop.getMethodType() );
        }
      }
      if ( !parameter.hasPush() )
      {
        final var push = pushes.remove( parameter.getName() );
        if ( null != push )
        {
          parameter.linkUnAnnotatedPush( push.getMethod(), push.getMethodType() );
        }
      }
    }
  }

  private void ensureNoAbstractMethods( @Nonnull final ComponentDescriptor componentDescriptor,
                                        @Nonnull final Collection<CandidateMethod> candidateMethods )
  {
    candidateMethods
      .stream()
      .map( CandidateMethod::getMethod )
      .filter( m -> m.getModifiers().contains( Modifier.ABSTRACT ) )
      .forEach( m -> {
        throw new ProcessorException( "@ArezComponent target has an abstract method not implemented by " +
                                      "framework. The method is named " + m.getSimpleName(),
                                      componentDescriptor.getElement() );
      } );
  }

  private boolean analyzeMethod( @Nonnull final ComponentDescriptor descriptor,
                                 @Nonnull final ExecutableElement method,
                                 @Nonnull final ExecutableType methodType )
    throws ProcessorException
  {
    emitWarningForUnnecessaryProtectedMethod( descriptor, method );
    emitWarningForUnnecessaryFinalMethod( descriptor, method );
    verifyNoDuplicateAnnotations( method );

    final var action = AnnotationsUtil.findAnnotationByType( method, Constants.ACTION_CLASSNAME );
    final var requiresTransaction =
      AnnotationsUtil.findAnnotationByType( method, Constants.REQUIRES_TRANSACTION_CLASSNAME );
    final var jaxWsAction = AnnotationsUtil.findAnnotationByType( method, Constants.JAX_WS_ACTION_CLASSNAME );
    final var observed = AnnotationsUtil.findAnnotationByType( method, Constants.OBSERVE_CLASSNAME );
    final var observable = AnnotationsUtil.findAnnotationByType( method, Constants.OBSERVABLE_CLASSNAME );
    final var observableInitial =
      AnnotationsUtil.findAnnotationByType( method, Constants.OBSERVABLE_INITIAL_CLASSNAME );
    final var observableValueRef =
      AnnotationsUtil.findAnnotationByType( method, Constants.OBSERVABLE_VALUE_REF_CLASSNAME );
    final var memoize = AnnotationsUtil.findAnnotationByType( method, Constants.MEMOIZE_CLASSNAME );
    final var memoizeContextParameter =
      AnnotationsUtil.findAnnotationByType( method, Constants.MEMOIZE_CONTEXT_PARAMETER_CLASSNAME );
    final var computableValueRef =
      AnnotationsUtil.findAnnotationByType( method, Constants.COMPUTABLE_VALUE_REF_CLASSNAME );
    final var contextRef = AnnotationsUtil.findAnnotationByType( method, Constants.CONTEXT_REF_CLASSNAME );
    final var stateRef = AnnotationsUtil.findAnnotationByType( method, Constants.COMPONENT_STATE_REF_CLASSNAME );
    final var componentRef = AnnotationsUtil.findAnnotationByType( method, Constants.COMPONENT_REF_CLASSNAME );
    final var componentId = AnnotationsUtil.findAnnotationByType( method, Constants.COMPONENT_ID_CLASSNAME );
    final var componentIdRef = AnnotationsUtil.findAnnotationByType( method, Constants.COMPONENT_ID_REF_CLASSNAME );
    final var componentTypeName =
      AnnotationsUtil.findAnnotationByType( method, Constants.COMPONENT_TYPE_NAME_REF_CLASSNAME );
    final var componentNameRef = AnnotationsUtil.findAnnotationByType( method, Constants.COMPONENT_NAME_REF_CLASSNAME );
    final var postConstruct = AnnotationsUtil.findAnnotationByType( method, Constants.POST_CONSTRUCT_CLASSNAME );
    final var ejbPostConstruct = AnnotationsUtil.findAnnotationByType( method, Constants.EJB_POST_CONSTRUCT_CLASSNAME );
    final var preDispose = AnnotationsUtil.findAnnotationByType( method, Constants.PRE_DISPOSE_CLASSNAME );
    final var postDispose = AnnotationsUtil.findAnnotationByType( method, Constants.POST_DISPOSE_CLASSNAME );
    final var onActivate = AnnotationsUtil.findAnnotationByType( method, Constants.ON_ACTIVATE_CLASSNAME );
    final var onDeactivate = AnnotationsUtil.findAnnotationByType( method, Constants.ON_DEACTIVATE_CLASSNAME );
    final var onDepsChange = AnnotationsUtil.findAnnotationByType( method, Constants.ON_DEPS_CHANGE_CLASSNAME );
    final var observerRef = AnnotationsUtil.findAnnotationByType( method, Constants.OBSERVER_REF_CLASSNAME );
    final var dependency = AnnotationsUtil.findAnnotationByType( method, Constants.COMPONENT_DEPENDENCY_CLASSNAME );
    final var autoObserve = AnnotationsUtil.findAnnotationByType( method, Constants.AUTO_OBSERVE_CLASSNAME );
    final var reference = AnnotationsUtil.findAnnotationByType( method, Constants.REFERENCE_CLASSNAME );
    final var referenceId = AnnotationsUtil.findAnnotationByType( method, Constants.REFERENCE_ID_CLASSNAME );
    final var inverse = AnnotationsUtil.findAnnotationByType( method, Constants.INVERSE_CLASSNAME );
    final var preInverseRemove = AnnotationsUtil.findAnnotationByType( method, Constants.PRE_INVERSE_REMOVE_CLASSNAME );
    final var postInverseAdd = AnnotationsUtil.findAnnotationByType( method, Constants.POST_INVERSE_ADD_CLASSNAME );
    final var cascadeDispose = AnnotationsUtil.findAnnotationByType( method, Constants.CASCADE_DISPOSE_CLASSNAME );

    if ( null != observable )
    {
      final ObservableDescriptor observableDescriptor = addObservable( descriptor,
                                                                       observable, method, methodType );
      if ( null != referenceId )
      {
        addReferenceId( descriptor, referenceId, observableDescriptor, method );
      }
      if ( null != inverse )
      {
        addInverse( descriptor, inverse, observableDescriptor, method );
      }
      if ( null != cascadeDispose )
      {
        addCascadeDisposeMethod( descriptor, method, observableDescriptor );
      }
      if ( null != autoObserve )
      {
        addAutoObserveMethod( descriptor, method, observableDescriptor );
      }
      return true;
    }
    else if ( null != observableInitial )
    {
      addObservableInitialMethod( descriptor, observableInitial, method, methodType );
      return true;
    }
    else if ( null != observableValueRef )
    {
      addObservableValueRef( descriptor, observableValueRef, method, methodType );
      return true;
    }
    else if ( null != action )
    {
      if ( null != postConstruct )
      {
        addPostConstruct( descriptor, method );
      }
      addAction( descriptor, action, method, methodType );
      return true;
    }
    else if ( null != requiresTransaction )
    {
      addRequiresTransaction( descriptor, requiresTransaction, method, methodType );
      return true;
    }
    else if ( null != observed )
    {
      addObserve( descriptor, observed, method, methodType );
      return true;
    }
    else if ( null != onDepsChange )
    {
      addOnDepsChange( descriptor, onDepsChange, method );
      return true;
    }
    else if ( null != observerRef )
    {
      addObserverRef( descriptor, observerRef, method, methodType );
      return true;
    }
    else if ( null != contextRef )
    {
      addContextRef( descriptor, method );
      return true;
    }
    else if ( null != stateRef )
    {
      addComponentStateRef( descriptor, stateRef, method );
      return true;
    }
    else if ( null != memoizeContextParameter )
    {
      addMemoizeContextParameter( descriptor, memoizeContextParameter, method, methodType );
      return true;
    }
    else if ( null != memoize )
    {
      addMemoize( descriptor, memoize, method, methodType );
      return true;
    }
    else if ( null != computableValueRef )
    {
      addComputableValueRef( descriptor, computableValueRef, method, methodType );
      return true;
    }
    else if ( null != reference )
    {
      if ( null != cascadeDispose )
      {
        addCascadeDisposeMethod( descriptor, method, null );
      }
      addReference( descriptor, reference, method, methodType );
      if ( null != autoObserve )
      {
        addAutoObserveMethod( descriptor, method, null );
      }
      return true;
    }
    else if ( null != autoObserve )
    {
      addAutoObserveMethod( descriptor, method, null );
      return true;
    }
    else if ( null != cascadeDispose )
    {
      addCascadeDisposeMethod( descriptor, method, null );
      // Return false so that it can be picked as the getter of an @Observable or linked to a @Reference
      return false;
    }
    else if ( null != componentIdRef )
    {
      addComponentIdRef( descriptor, method );
      return true;
    }
    else if ( null != componentRef )
    {
      addComponentRef( descriptor, method );
      return true;
    }
    else if ( null != componentId )
    {
      setComponentId( descriptor, method, methodType );
      return true;
    }
    else if ( null != componentNameRef )
    {
      addComponentNameRef( descriptor, method );
      return true;
    }
    else if ( null != componentTypeName )
    {
      setComponentTypeNameRef( descriptor, method );
      return true;
    }
    else if ( null != jaxWsAction )
    {
      throw new ProcessorException( "@" + Constants.JAX_WS_ACTION_CLASSNAME + " annotation " +
                                    "not supported in components annotated with @ArezComponent, use the @" +
                                    Constants.ACTION_CLASSNAME + " annotation instead.",
                                    method );
    }
    else if ( null != ejbPostConstruct )
    {
      throw new ProcessorException( "@" + Constants.EJB_POST_CONSTRUCT_CLASSNAME + " annotation " +
                                    "not supported in components annotated with @ArezComponent, use the @" +
                                    Constants.POST_CONSTRUCT_CLASSNAME + " annotation instead.",
                                    method );
    }
    else if ( null != postConstruct )
    {
      addPostConstruct( descriptor, method );
      return true;
    }
    else if ( null != preDispose )
    {
      addPreDispose( descriptor, method );
      return true;
    }
    else if ( null != postDispose )
    {
      addPostDispose( descriptor, method );
      return true;
    }
    else if ( null != onActivate )
    {
      addOnActivate( descriptor, onActivate, method );
      return true;
    }
    else if ( null != onDeactivate )
    {
      addOnDeactivate( descriptor, onDeactivate, method );
      return true;
    }
    else if ( null != dependency )
    {
      descriptor.addDependency( createMethodDependencyDescriptor( descriptor, method ) );
      return false;
    }
    else if ( null != referenceId )
    {
      addReferenceId( descriptor, referenceId, method );
      return true;
    }
    else if ( null != inverse )
    {
      addInverse( descriptor, inverse, method, methodType );
      return true;
    }
    else if ( null != preInverseRemove )
    {
      addPreInverseRemove( descriptor, preInverseRemove, method );
      return true;
    }
    else if ( null != postInverseAdd )
    {
      addPostInverseAdd( descriptor, postInverseAdd, method );
      return true;
    }
    else
    {
      return false;
    }
  }

  private void emitWarningForUnnecessaryProtectedMethod( @Nonnull final ComponentDescriptor descriptor,
                                                         @Nonnull final ExecutableElement method )
  {
    if ( method.getModifiers().contains( Modifier.PROTECTED ) &&
         Objects.equals( method.getEnclosingElement(), descriptor.getElement() ) &&
         ElementsUtil.isWarningNotSuppressed( method,
                                              Constants.WARNING_PROTECTED_METHOD,
                                              Constants.SUPPRESS_AREZ_WARNINGS_CLASSNAME ) &&
         !isMethodAProtectedOverride( descriptor.getElement(), method ) )
    {
      final var message =
        MemberChecks.shouldNot( Constants.COMPONENT_CLASSNAME,
                                "declare a protected method. " +
                                MemberChecks.suppressedBy( Constants.WARNING_PROTECTED_METHOD,
                                                           Constants.SUPPRESS_AREZ_WARNINGS_CLASSNAME ) );
      warning( message, method );
    }
  }

  private void emitWarningForManagedFieldAccess( @Nonnull final ComponentDescriptor descriptor,
                                                 @Nonnull final VariableElement field,
                                                 @Nonnull final String annotationClassname )
  {
    emitWarningForPublicManagedField( field, annotationClassname );
    emitWarningForUnnecessaryProtectedManagedField( descriptor, field );
  }

  private void emitWarningForPublicManagedField( @Nonnull final VariableElement field,
                                                 @Nonnull final String annotationClassname )
  {
    if ( field.getModifiers().contains( Modifier.PUBLIC ) &&
         ElementsUtil.isWarningNotSuppressed( field,
                                              Constants.WARNING_PUBLIC_FIELD,
                                              Constants.SUPPRESS_AREZ_WARNINGS_CLASSNAME ) )
    {
      final var message =
        MemberChecks.shouldNot( annotationClassname,
                                "be public. " +
                                MemberChecks.suppressedBy( Constants.WARNING_PUBLIC_FIELD,
                                                           Constants.SUPPRESS_AREZ_WARNINGS_CLASSNAME ) );
      warning( message, field );
    }
  }

  private void emitWarningForUnnecessaryProtectedManagedField( @Nonnull final ComponentDescriptor descriptor,
                                                               @Nonnull final VariableElement field )
  {
    if ( field.getModifiers().contains( Modifier.PROTECTED ) &&
         ElementsUtil.isWarningNotSuppressed( field,
                                              Constants.WARNING_PROTECTED_FIELD,
                                              Constants.SUPPRESS_AREZ_WARNINGS_CLASSNAME ) &&
         !isProtectedFieldOnInheritedTypeInDifferentPackage( descriptor.getElement(), field ) )
    {
      final var message =
        MemberChecks.shouldNot( Constants.COMPONENT_CLASSNAME,
                                "declare a protected field. " +
                                MemberChecks.suppressedBy( Constants.WARNING_PROTECTED_FIELD,
                                                           Constants.SUPPRESS_AREZ_WARNINGS_CLASSNAME ) );
      warning( message, field );
    }
  }

  private void emitWarningForUnnecessaryFinalMethod( @Nonnull final ComponentDescriptor descriptor,
                                                     @Nonnull final ExecutableElement method )
  {
    if ( method.getModifiers().contains( Modifier.FINAL ) &&
         Objects.equals( method.getEnclosingElement(), descriptor.getElement() ) &&
         ElementsUtil.isWarningNotSuppressed( method,
                                              Constants.WARNING_FINAL_METHOD,
                                              Constants.SUPPRESS_AREZ_WARNINGS_CLASSNAME ) )
    {
      final var message =
        MemberChecks.shouldNot( Constants.COMPONENT_CLASSNAME,
                                "declare a final method. " +
                                MemberChecks.suppressedBy( Constants.WARNING_FINAL_METHOD,
                                                           Constants.SUPPRESS_AREZ_WARNINGS_CLASSNAME ) );
      warning( message, method );
    }
  }

  private void addReferenceId( @Nonnull final ComponentDescriptor descriptor,
                               @Nonnull final AnnotationMirror annotation,
                               @Nonnull final ObservableDescriptor observable,
                               @Nonnull final ExecutableElement method )
  {
    MemberChecks.mustNotHaveAnyParameters( Constants.REFERENCE_ID_CLASSNAME, method );
    MemberChecks.mustBeSubclassCallable( descriptor.getElement(),
                                         Constants.COMPONENT_CLASSNAME,
                                         Constants.REFERENCE_ID_CLASSNAME,
                                         method );
    MemberChecks.mustNotThrowAnyExceptions( Constants.REFERENCE_ID_CLASSNAME, method );
    MemberChecks.mustReturnAValue( Constants.REFERENCE_ID_CLASSNAME, method );

    final var name = getReferenceIdName( annotation, method );
    descriptor.findOrCreateReference( name ).setObservable( observable );
  }

  private void addReferenceId( @Nonnull final ComponentDescriptor descriptor,
                               @Nonnull final AnnotationMirror annotation,
                               @Nonnull final ExecutableElement method )
  {
    MemberChecks.mustNotHaveAnyParameters( Constants.REFERENCE_ID_CLASSNAME, method );
    MemberChecks.mustBeSubclassCallable( descriptor.getElement(),
                                         Constants.COMPONENT_CLASSNAME,
                                         Constants.REFERENCE_ID_CLASSNAME,
                                         method );
    MemberChecks.mustNotThrowAnyExceptions( Constants.REFERENCE_ID_CLASSNAME, method );
    MemberChecks.mustReturnAValue( Constants.REFERENCE_ID_CLASSNAME, method );

    final var name = getReferenceIdName( annotation, method );
    descriptor.findOrCreateReference( name ).setIdMethod( method );
  }

  @Nonnull
  private String getReferenceIdName( @Nonnull final AnnotationMirror annotation,
                                     @Nonnull final ExecutableElement method )
  {
    final String declaredName = AnnotationsUtil.getAnnotationValueValue( annotation, "name" );
    final String name;
    if ( Constants.SENTINEL.equals( declaredName ) )
    {
      final var candidate = deriveName( method, ID_GETTER_PATTERN, declaredName );
      if ( null == candidate )
      {
        final String candidate2 = deriveName( method, RAW_ID_GETTER_PATTERN, declaredName );
        if ( null == candidate2 )
        {
          throw new ProcessorException( "@ReferenceId target has not specified a name and does not follow " +
                                        "the convention \"get[Name]Id\" or \"[name]Id\"", method );
        }
        else
        {
          name = candidate2;
        }
      }
      else
      {
        name = candidate;
      }
    }
    else
    {
      name = declaredName;
      if ( !SourceVersion.isIdentifier( name ) )
      {
        throw new ProcessorException( "@ReferenceId target specified an invalid name '" + name + "'. The " +
                                      "name must be a valid java identifier.", method );
      }
      else if ( SourceVersion.isKeyword( name ) )
      {
        throw new ProcessorException( "@ReferenceId target specified an invalid name '" + name + "'. The " +
                                      "name must not be a java keyword.", method );
      }
    }
    return name;
  }

  private void addPreInverseRemove( @Nonnull final ComponentDescriptor component,
                                    @Nonnull final AnnotationMirror annotation,
                                    @Nonnull final ExecutableElement method )
    throws ProcessorException
  {
    mustBeHookHook( component.getElement(),
                    Constants.PRE_INVERSE_REMOVE_CLASSNAME,
                    method );
    shouldBeInternalHookMethod( processingEnv,
                                component,
                                method,
                                Constants.PRE_INVERSE_REMOVE_CLASSNAME );
    if ( 1 != method.getParameters().size() )
    {
      throw new ProcessorException( MemberChecks.must( Constants.PRE_INVERSE_REMOVE_CLASSNAME,
                                                       "have exactly 1 parameter" ), method );
    }
    else
    {
      final var name = getPreInverseRemoveName( annotation, method );
      findOrCreateInverseDescriptor( component, name ).addPreInverseRemoveHook( method );
    }
  }

  @Nonnull
  private String getPreInverseRemoveName( @Nonnull final AnnotationMirror annotation,
                                          @Nonnull final ExecutableElement method )
  {
    final String name = AnnotationsUtil.getAnnotationValueValue( annotation, "name" );
    if ( Constants.SENTINEL.equals( name ) )
    {
      final var candidate = deriveName( method, PRE_INVERSE_REMOVE_PATTERN, name );
      if ( null == candidate )
      {
        throw new ProcessorException( "@PreInverseRemove target has not specified a name and does not follow " +
                                      "the convention \"pre[Name]Remove\"", method );
      }
      else
      {
        return candidate;
      }
    }
    else
    {
      if ( !SourceVersion.isIdentifier( name ) )
      {
        throw new ProcessorException( "@PreInverseRemove target specified an invalid name '" + name + "'. The " +
                                      "name must be a valid java identifier", method );
      }
      else if ( SourceVersion.isKeyword( name ) )
      {
        throw new ProcessorException( "@PreInverseRemove target specified an invalid name '" + name + "'. The " +
                                      "name must not be a java keyword", method );
      }
      return name;
    }
  }

  private void addPostInverseAdd( @Nonnull final ComponentDescriptor component,
                                  @Nonnull final AnnotationMirror annotation,
                                  @Nonnull final ExecutableElement method )
    throws ProcessorException
  {
    mustBeHookHook( component.getElement(),
                    Constants.POST_INVERSE_ADD_CLASSNAME,
                    method );
    shouldBeInternalHookMethod( processingEnv,
                                component,
                                method,
                                Constants.POST_INVERSE_ADD_CLASSNAME );
    if ( 1 != method.getParameters().size() )
    {
      throw new ProcessorException( MemberChecks.must( Constants.POST_INVERSE_ADD_CLASSNAME,
                                                       "have exactly 1 parameter" ), method );
    }
    else
    {
      final var name = getPostInverseAddName( annotation, method );
      findOrCreateInverseDescriptor( component, name ).addPostInverseAddHook( method );
    }
  }

  @Nonnull
  private String getPostInverseAddName( @Nonnull final AnnotationMirror annotation,
                                        @Nonnull final ExecutableElement method )
  {
    final String name = AnnotationsUtil.getAnnotationValueValue( annotation, "name" );
    if ( Constants.SENTINEL.equals( name ) )
    {
      final var candidate = deriveName( method, POST_INVERSE_ADD_PATTERN, name );
      if ( null == candidate )
      {
        throw new ProcessorException( "@PostInverseAdd target has not specified a name and does not follow " +
                                      "the convention \"post[Name]Add\"", method );
      }
      else
      {
        return candidate;
      }
    }
    else
    {
      if ( !SourceVersion.isIdentifier( name ) )
      {
        throw new ProcessorException( "@PostInverseAdd target specified an invalid name '" + name + "'. The " +
                                      "name must be a valid java identifier", method );
      }
      else if ( SourceVersion.isKeyword( name ) )
      {
        throw new ProcessorException( "@PostInverseAdd target specified an invalid name '" + name + "'. The " +
                                      "name must not be a java keyword", method );
      }
      return name;
    }
  }

  private void addInverse( @Nonnull final ComponentDescriptor descriptor,
                           @Nonnull final AnnotationMirror annotation,
                           @Nonnull final ExecutableElement method,
                           @Nonnull final ExecutableType methodType )
  {
    MemberChecks.mustNotHaveAnyParameters( Constants.INVERSE_CLASSNAME, method );
    MemberChecks.mustBeSubclassCallable( descriptor.getElement(),
                                         Constants.COMPONENT_CLASSNAME,
                                         Constants.INVERSE_CLASSNAME,
                                         method );
    MemberChecks.mustNotThrowAnyExceptions( Constants.INVERSE_CLASSNAME, method );
    MemberChecks.mustReturnAValue( Constants.INVERSE_CLASSNAME, method );
    MemberChecks.mustBeAbstract( Constants.INVERSE_CLASSNAME, method );

    final var name = getInverseName( annotation, method );
    final var observable = descriptor.findOrCreateObservable( name );
    observable.setGetter( method, methodType );

    addInverse( descriptor, annotation, observable, method );
  }

  private void addInverse( @Nonnull final ComponentDescriptor descriptor,
                           @Nonnull final AnnotationMirror annotation,
                           @Nonnull final ObservableDescriptor observable,
                           @Nonnull final ExecutableElement method )
  {
    MemberChecks.mustNotHaveAnyParameters( Constants.INVERSE_CLASSNAME, method );
    MemberChecks.mustBeSubclassCallable( descriptor.getElement(),
                                         Constants.COMPONENT_CLASSNAME,
                                         Constants.INVERSE_CLASSNAME,
                                         method );
    MemberChecks.mustNotThrowAnyExceptions( Constants.INVERSE_CLASSNAME, method );
    MemberChecks.mustReturnAValue( Constants.INVERSE_CLASSNAME, method );
    MemberChecks.mustBeAbstract( Constants.INVERSE_CLASSNAME, method );

    final var name = getInverseName( annotation, method );
    final var existing = descriptor.getInverses().get( name );
    if ( null != existing && existing.hasObservable() )
    {
      throw new ProcessorException( "@Inverse target defines duplicate inverse for name '" + name +
                                    "'. The other inverse is " + existing.getObservable().getGetter(),
                                    method );
    }
    else
    {
      final var type = method.getReturnType();

      final Multiplicity multiplicity;
      var targetType = getInverseManyTypeTarget( method );
      if ( null != targetType )
      {
        multiplicity = Multiplicity.MANY;
      }
      else
      {
        if ( !( type instanceof DeclaredType ) ||
             !AnnotationsUtil.hasAnnotationOfType( ( (DeclaredType) type ).asElement(),
                                                   Constants.COMPONENT_CLASSNAME ) )
        {
          throw new ProcessorException( "@Inverse target expected to return a type annotated with " +
                                        Constants.COMPONENT_CLASSNAME, method );
        }
        targetType = (TypeElement) ( (DeclaredType) type ).asElement();
        if ( AnnotationsUtil.hasNonnullAnnotation( method ) )
        {
          multiplicity = Multiplicity.ONE;
        }
        else if ( AnnotationsUtil.hasNullableAnnotation( method ) )
        {
          multiplicity = Multiplicity.ZERO_OR_ONE;
        }
        else
        {
          throw new ProcessorException( "@Inverse target expected to be annotated with either " +
                                        AnnotationsUtil.NULLABLE_CLASSNAME + " or " +
                                        AnnotationsUtil.NONNULL_CLASSNAME, method );
        }
      }
      final var referenceName = getInverseReferenceNameParameter( descriptor, method );
      final var inverse = findOrCreateInverseDescriptor( descriptor, name );
      final var otherName = firstCharacterToLowerCase( targetType.getSimpleName().toString() );
      inverse.setInverse( observable, referenceName, multiplicity, targetType, otherName );
      verifyMultiplicityOfAssociatedReferenceMethod( descriptor, inverse );
    }
  }

  @Nonnull
  private InverseDescriptor findOrCreateInverseDescriptor( @Nonnull final ComponentDescriptor descriptor,
                                                           @Nonnull final String name )
  {
    return descriptor.getInverses().computeIfAbsent( name, n -> new InverseDescriptor( descriptor, name ) );
  }

  @Nonnull
  private String getInverseName( @Nonnull final AnnotationMirror annotation,
                                 @Nonnull final ExecutableElement method )
  {
    final String declaredName = AnnotationsUtil.getAnnotationValueValue( annotation, "name" );
    final String name;
    if ( Constants.SENTINEL.equals( declaredName ) )
    {
      final var candidate = deriveName( method, GETTER_PATTERN, declaredName );
      name = null == candidate ? method.getSimpleName().toString() : candidate;
    }
    else
    {
      name = declaredName;
      if ( !SourceVersion.isIdentifier( name ) )
      {
        throw new ProcessorException( "@Inverse target specified an invalid name '" + name + "'. The " +
                                      "name must be a valid java identifier.", method );
      }
      else if ( SourceVersion.isKeyword( name ) )
      {
        throw new ProcessorException( "@Inverse target specified an invalid name '" + name + "'. The " +
                                      "name must not be a java keyword.", method );
      }
    }
    return name;
  }

  private void warnOnUnmanagedComponentReferences( @Nonnull final ComponentDescriptor descriptor,
                                                   @Nonnull final List<VariableElement> fields )
  {
    final var disposeNotifier = getTypeElement( Constants.DISPOSE_NOTIFIER_CLASSNAME );

    for ( final var field : fields )
    {
      if ( !field.getModifiers().contains( Modifier.STATIC ) &&
           SuperficialValidation.validateElement( processingEnv, field ) )
      {
        final var fieldType = getEffectiveFieldType( descriptor, field );
        final var fieldTypeElement = asTypeElement( fieldType );
        final var isDisposeNotifier = isAssignable( fieldType, disposeNotifier );
        final var isTypeAnnotatedByComponentAnnotation =
          !isDisposeNotifier && null != fieldTypeElement && isArezComponentAnnotated( fieldTypeElement );
        final var isTypeAnnotatedArezComponentLike =
          !isDisposeNotifier &&
          !isTypeAnnotatedByComponentAnnotation &&
          isArezComponentLikeType( fieldType );
        if ( isTypeAnnotatedByComponentAnnotation )
        {
          emitWarningForNonPrivateServiceField( field, fieldTypeElement );
        }
        if ( isDisposeNotifier || isTypeAnnotatedByComponentAnnotation || isTypeAnnotatedArezComponentLike )
        {
          if ( !descriptor.isDependencyDefined( field ) &&
               !descriptor.isCascadeDisposeDefined( field ) &&
               !descriptor.isAutoObserveDefined( field ) &&
               ( isDisposeNotifier ||
                 isTypeAnnotatedArezComponentLike ||
                 verifyReferencesToComponent( fieldTypeElement ) ) &&
               isUnmanagedComponentReferenceNotSuppressed( field ) )
          {
            final var label =
              isDisposeNotifier ? "an implementation of DisposeNotifier" :
              isTypeAnnotatedByComponentAnnotation ? "an Arez component" :
              AREZ_COMPONENT_LIKE_TYPE_DESCRIPTION;
            final var message =
              "Field named '" + field.getSimpleName() + "' has a type that is " + label +
              " but is not annotated with @" + Constants.CASCADE_DISPOSE_CLASSNAME + " or " +
              "@" + Constants.COMPONENT_DEPENDENCY_CLASSNAME + " or @" + Constants.AUTO_OBSERVE_CLASSNAME +
              ". This scenario can cause errors if the value is disposed. Please " +
              "annotate the field as appropriate or suppress the warning by annotating the field with " +
              "@SuppressWarnings( \"" + Constants.WARNING_UNMANAGED_COMPONENT_REFERENCE + "\" ) or " +
              "@SuppressArezWarnings( \"" + Constants.WARNING_UNMANAGED_COMPONENT_REFERENCE + "\" )";
            warning( message, field );
          }
        }
      }
    }

    for ( final var observable : descriptor.getObservables().values() )
    {
      if ( observable.isAbstract() )
      {
        final var getter = observable.getGetter();
        if ( SuperficialValidation.validateElement( processingEnv, getter ) )
        {
          final var returnType = getter.getReturnType();
          final var returnElement = TypeKind.DECLARED == returnType.getKind() ? asTypeElement( returnType ) : null;
          final var isDisposeNotifier = isAssignable( returnType, disposeNotifier );
          final var isTypeAnnotatedByComponentAnnotation =
            !isDisposeNotifier && null != returnElement && isArezComponentAnnotated( returnElement );
          final var isTypeAnnotatedArezComponentLike =
            !isDisposeNotifier &&
            !isTypeAnnotatedByComponentAnnotation &&
            null != returnElement &&
            isArezComponentLikeAnnotated( returnElement );
          if ( isDisposeNotifier || isTypeAnnotatedByComponentAnnotation || isTypeAnnotatedArezComponentLike )
          {
            if ( !descriptor.isDependencyDefined( getter ) &&
                 !descriptor.isCascadeDisposeDefined( getter ) &&
                 !descriptor.isAutoObserveDefined( getter ) &&
                 ( isDisposeNotifier ||
                   isTypeAnnotatedArezComponentLike ||
                   verifyReferencesToComponent( returnElement ) ) &&
                 isUnmanagedComponentReferenceNotSuppressed( getter ) &&
                 ( observable.hasSetter() && isUnmanagedComponentReferenceNotSuppressed( observable.getSetter() ) ) )
            {
              final var label =
                isDisposeNotifier ? "an implementation of DisposeNotifier" :
                isTypeAnnotatedByComponentAnnotation ? "an Arez component" :
                AREZ_COMPONENT_LIKE_TYPE_DESCRIPTION;
              final var message =
                "Method named '" + getter.getSimpleName() + "' has a return type that is " + label +
                " but is not annotated with @" + Constants.CASCADE_DISPOSE_CLASSNAME + " or " +
                "@" + Constants.COMPONENT_DEPENDENCY_CLASSNAME + " or @" + Constants.AUTO_OBSERVE_CLASSNAME +
                ". This scenario can cause errors. " +
                "Please annotate the method as appropriate or suppress the warning by annotating the method with " +
                "@SuppressWarnings( \"" + Constants.WARNING_UNMANAGED_COMPONENT_REFERENCE + "\" ) or " +
                "@SuppressArezWarnings( \"" + Constants.WARNING_UNMANAGED_COMPONENT_REFERENCE + "\" )";
              warning( message, getter );
            }
          }
        }
      }
    }
  }

  @Nonnull
  private TypeMirror getEffectiveFieldType( @Nonnull final ComponentDescriptor descriptor,
                                            @Nonnull final VariableElement field )
  {
    return processingEnv.getTypeUtils().asMemberOf( descriptor.asDeclaredType(), field );
  }

  @Nullable
  private TypeElement asTypeElement( @Nonnull final TypeMirror type )
  {
    final var element = processingEnv.getTypeUtils().asElement( type );
    return element instanceof TypeElement ? (TypeElement) element : null;
  }

  private boolean verifyReferencesToComponent( @Nonnull final TypeElement element )
  {
    assert SuperficialValidation.validateElement( processingEnv, element );

    final var verifyReferencesToComponent =
      AnnotationsUtil.getEnumAnnotationParameter( element,
                                                  Constants.COMPONENT_CLASSNAME,
                                                  "verifyReferencesToComponent" );
    return switch ( verifyReferencesToComponent )
    {
      case "ENABLE" -> true;
      case "DISABLE" -> false;
      default -> isDisposableTrackableRequired( element );
    };
  }

  private boolean isUnmanagedComponentReferenceNotSuppressed( @Nonnull final Element element )
  {
    return !ElementsUtil.isWarningSuppressed( element,
                                              Constants.WARNING_UNMANAGED_COMPONENT_REFERENCE,
                                              Constants.SUPPRESS_AREZ_WARNINGS_CLASSNAME );
  }

  private void emitWarningForNonPrivateServiceField( @Nonnull final VariableElement field,
                                                     @Nonnull final TypeElement typeElement )
  {
    if ( !field.getModifiers().contains( Modifier.PRIVATE ) &&
         isService( typeElement ) &&
         ElementsUtil.isWarningNotSuppressed( field,
                                              Constants.WARNING_NON_PRIVATE_SERVICE_FIELD,
                                              Constants.SUPPRESS_AREZ_WARNINGS_CLASSNAME ) )
    {
      final var message =
        "Field named '" + field.getSimpleName() + "' has a type annotated with @" +
        Constants.COMPONENT_CLASSNAME + "(service = ENABLE) and should be private. " +
        MemberChecks.suppressedBy( Constants.WARNING_NON_PRIVATE_SERVICE_FIELD,
                                   Constants.SUPPRESS_AREZ_WARNINGS_CLASSNAME );
      warning( message, field );
    }
  }

  @SuppressWarnings( "SameParameterValue" )
  private boolean isElementAnnotatedBy( @Nullable final Element element, @Nonnull final String annotation )
  {
    return null != element &&
           SuperficialValidation.validateElement( processingEnv, element ) &&
           AnnotationsUtil.hasAnnotationOfType( element, annotation );
  }

  private boolean isService( @Nonnull final TypeElement typeElement )
  {
    final var service =
      AnnotationsUtil.getEnumAnnotationParameter( typeElement, Constants.COMPONENT_CLASSNAME, "service" );
    return switch ( service )
    {
      case "ENABLE" -> true;
      case "DISABLE" -> false;
      default -> AnnotationsUtil.hasAnnotationOfType( typeElement, Constants.STING_TYPED ) ||
                 AnnotationsUtil.hasAnnotationOfType( typeElement, Constants.STING_NAMED ) ||
                 AnnotationsUtil.hasAnnotationOfType( typeElement, Constants.STING_EAGER );
    };
  }

  private boolean isComponentObservableRequired( @Nonnull final AnnotationMirror arezComponent,
                                                 final boolean disposeOnDeactivate )
  {
    final VariableElement variableElement = getAnnotationParameter( arezComponent, "observable" );
    return switch ( variableElement.getSimpleName().toString() )
    {
      case "ENABLE" -> true;
      case "DISABLE" -> false;
      default -> disposeOnDeactivate;
    };
  }

  private boolean isVerifyRequired( @Nonnull final AnnotationMirror arezComponent,
                                    @Nonnull final TypeElement typeElement )
  {
    final VariableElement parameter = getAnnotationParameter( arezComponent, "verify" );
    return switch ( parameter.getSimpleName().toString() )
    {
      case "ENABLE" -> true;
      case "DISABLE" -> false;
      default -> ElementsUtil.getMethods( typeElement, processingEnv.getElementUtils(), processingEnv.getTypeUtils() ).
        stream().anyMatch( this::hasReferenceAnnotations );
    };
  }

  private boolean isSkipIfDisposed( @Nonnull final ComponentDescriptor component,
                                    @Nonnull final AnnotationMirror action )
  {
    final VariableElement parameter = getAnnotationParameter( action, "skipIfDisposed" );
    return switch ( parameter.getSimpleName().toString() )
    {
      case "ENABLE" -> true;
      case "DISABLE" -> false;
      default -> component.defaultSkipIfDisposed();
    };
  }

  private boolean hasReferenceAnnotations( @Nonnull final Element method )
  {
    return AnnotationsUtil.hasAnnotationOfType( method, Constants.REFERENCE_CLASSNAME ) ||
           AnnotationsUtil.hasAnnotationOfType( method, Constants.REFERENCE_ID_CLASSNAME ) ||
           AnnotationsUtil.hasAnnotationOfType( method, Constants.INVERSE_CLASSNAME );
  }

  private boolean isEqualsRequired( @Nonnull final AnnotationMirror arezComponent )
  {
    final VariableElement injectParameter = getAnnotationParameter( arezComponent, "requireEquals" );
    return "ENABLE".equals( injectParameter.getSimpleName().toString() );
  }

  @Nullable
  private String getDefaultPriority( @Nonnull final AnnotationMirror arezComponent )
  {
    final AnnotationValue value =
      AnnotationsUtil.findAnnotationValueNoDefaults( arezComponent, "defaultPriority" );
    return null == value ? null : ( (VariableElement) value.getValue() ).getSimpleName().toString();
  }

  private boolean isIdRequired( @Nonnull final AnnotationMirror arezComponent )
  {
    final VariableElement injectParameter = getAnnotationParameter( arezComponent, "requireId" );
    return !"DISABLE".equals( injectParameter.getSimpleName().toString() );
  }

  private boolean hasInjectAnnotation( @Nonnull final Element method )
  {
    return AnnotationsUtil.hasAnnotationOfType( method, Constants.INJECT_CLASSNAME );
  }

  @Nonnull
  private <T> T getAnnotationParameter( @Nonnull final AnnotationMirror annotation,
                                        @Nonnull final String parameterName )
  {
    return AnnotationsUtil.getAnnotationValueValue( annotation, parameterName );
  }

  @Nonnull
  private TypeElement getDisposableTypeElement()
  {
    return getTypeElement( Constants.DISPOSABLE_CLASSNAME );
  }

  private boolean isDisposableTrackableRequired( @Nonnull final TypeElement element )
  {
    final var disposeNotifier =
      AnnotationsUtil.getEnumAnnotationParameter( element, Constants.COMPONENT_CLASSNAME, "disposeNotifier" );
    return switch ( disposeNotifier )
    {
      case "ENABLE" -> true;
      case "DISABLE" -> false;
      default -> null == AnnotationsUtil.findAnnotationByType( element, Constants.COMPONENT_CLASSNAME ) ||
                 !isService( element );
    };
  }

  @Nonnull
  private TypeElement getTypeElement( @Nonnull final String classname )
  {
    final var typeElement = findTypeElement( classname );
    assert null != typeElement;
    return typeElement;
  }

  @Nullable
  private TypeElement findTypeElement( @Nonnull final String classname )
  {
    return processingEnv.getElementUtils().getTypeElement( classname );
  }

  private boolean isAssignable( @Nonnull final TypeMirror type, @Nonnull final TypeElement typeElement )
  {
    return processingEnv.getTypeUtils().isAssignable( type, typeElement.asType() );
  }

  @Nonnull
  private String resolveEffectiveEqualityComparator( @Nonnull final TypeElement componentType,
                                                     @Nonnull final String annotationName,
                                                     @Nonnull final Element element,
                                                     @Nonnull final TypeMirror valueType,
                                                     @Nonnull final String comparatorClassName )
  {
    final var effectiveComparator =
      Constants.EQUALITY_COMPARATOR_CLASSNAME.equals( comparatorClassName ) ?
      deriveDefaultEqualityComparator( valueType ) :
      comparatorClassName;
    verifyValidEqualityComparator( componentType, annotationName, effectiveComparator, element );
    return effectiveComparator;
  }

  @Nonnull
  private String deriveDefaultEqualityComparator( @Nonnull final TypeMirror valueType )
  {
    if ( TypeKind.DECLARED == valueType.getKind() )
    {
      final var typeElement = ( (DeclaredType) valueType ).asElement();
      final var annotation =
        AnnotationsUtil.findAnnotationByType( typeElement, Constants.DEFAULT_EQUALITY_COMPARATOR_CLASSNAME );
      if ( null != annotation )
      {
        final TypeMirror comparatorType = AnnotationsUtil.getAnnotationValueValue( annotation, "value" );
        return comparatorType.toString();
      }
    }
    return Constants.OBJECTS_EQUALS_COMPARATOR_CLASSNAME;
  }

  private void verifyValidEqualityComparator( @Nonnull final TypeElement componentType,
                                              @Nonnull final String annotationName,
                                              @Nonnull final String comparatorClassName,
                                              @Nonnull final Element element )
  {
    final var comparatorType = getTypeElement( comparatorClassName );
    if ( ElementKind.CLASS != comparatorType.getKind() )
    {
      throw new ProcessorException( annotationName + " resolved equalityComparator of type '" +
                                    comparatorClassName + "' but the comparator must be a class.",
                                    element );
    }
    else if ( comparatorType.getModifiers().contains( Modifier.ABSTRACT ) )
    {
      throw new ProcessorException( annotationName + " resolved equalityComparator of type '" +
                                    comparatorClassName + "' but the comparator must not be abstract.",
                                    element );
    }
    else if ( isNonStaticNestedType( comparatorType ) )
    {
      throw new ProcessorException( annotationName + " resolved equalityComparator of type '" +
                                    comparatorClassName + "' but the comparator must be static if nested.",
                                    element );
    }
    else if ( !isTypeAccessibleFromComponent( componentType, comparatorType ) )
    {
      throw new ProcessorException( annotationName + " resolved equalityComparator of type '" +
                                    comparatorClassName + "' but the comparator is not accessible from the " +
                                    "generated component.",
                                    element );
    }
    else if ( !hasAccessibleNoArgConstructor( componentType, comparatorType ) )
    {
      throw new ProcessorException( annotationName + " resolved equalityComparator of type '" +
                                    comparatorClassName + "' but the comparator must define an accessible " +
                                    "no-arg constructor.",
                                    element );
    }
  }

  private boolean hasAccessibleNoArgConstructor( @Nonnull final TypeElement componentType,
                                                 @Nonnull final TypeElement comparatorType )
  {
    final var constructors = ElementFilter.constructorsIn( comparatorType.getEnclosedElements() );
    if ( constructors.isEmpty() )
    {
      return true;
    }
    else
    {
      for ( final var constructor : constructors )
      {
        if ( constructor.getParameters().isEmpty() && isElementAccessibleFromComponent( componentType, constructor ) )
        {
          return true;
        }
      }
      return false;
    }
  }

  private boolean isTypeAccessibleFromComponent( @Nonnull final TypeElement componentType,
                                                 @Nonnull final TypeElement typeElement )
  {
    if ( isElementAccessibleFromComponent( componentType, typeElement ) )
    {
      var enclosing = typeElement.getEnclosingElement();
      while ( null != enclosing && ElementKind.PACKAGE != enclosing.getKind() )
      {
        if ( enclosing instanceof final TypeElement enclosingType &&
             !isElementAccessibleFromComponent( componentType, enclosingType ) )
        {
          return false;
        }
        enclosing = enclosing.getEnclosingElement();
      }
      return true;
    }
    else
    {
      return false;
    }
  }

  private boolean isElementAccessibleFromComponent( @Nonnull final TypeElement componentType,
                                                    @Nonnull final Element element )
  {
    final var modifiers = element.getModifiers();
    if ( modifiers.contains( Modifier.PRIVATE ) )
    {
      return false;
    }
    else
    {
      final var owningType = getOwningType( element );
      return !ElementsUtil.areTypesInDifferentPackage( owningType, componentType ) ||
             modifiers.contains( Modifier.PUBLIC );
    }
  }

  private boolean isProtectedFieldOnInheritedTypeInDifferentPackage( @Nonnull final TypeElement componentType,
                                                                     @Nonnull final VariableElement field )
  {
    final var declaringType = getOwningType( field );
    return !Objects.equals( declaringType, componentType ) &&
           ElementsUtil.areTypesInDifferentPackage( declaringType, componentType );
  }

  @Nonnull
  private TypeElement getOwningType( @Nonnull final Element element )
  {
    var current = element;
    while ( !( current instanceof TypeElement ) )
    {
      current = current.getEnclosingElement();
    }
    return (TypeElement) current;
  }

  private boolean isNonStaticNestedType( @Nonnull final TypeElement typeElement )
  {
    final Element enclosing = typeElement.getEnclosingElement();
    return ElementKind.PACKAGE != enclosing.getKind() && !typeElement.getModifiers().contains( Modifier.STATIC );
  }

  private boolean isMethodAProtectedOverride( @Nonnull final TypeElement typeElement,
                                              @Nonnull final ExecutableElement method )
  {
    final var overriddenMethod = ElementsUtil.getOverriddenMethod( processingEnv, typeElement, method );
    return null != overriddenMethod && overriddenMethod.getModifiers().contains( Modifier.PROTECTED );
  }

  private void mustBeStandardRefMethod( @Nonnull final ProcessingEnvironment processingEnv,
                                        @Nonnull final ComponentDescriptor descriptor,
                                        @Nonnull final ExecutableElement method,
                                        @Nonnull final String annotationClassname )
  {
    mustBeRefMethod( descriptor, method, annotationClassname );
    MemberChecks.mustNotHaveAnyParameters( annotationClassname, method );
    shouldBeInternalRefMethod( processingEnv, descriptor, method, annotationClassname );
  }

  private void mustBeRefMethod( @Nonnull final ComponentDescriptor descriptor,
                                @Nonnull final ExecutableElement method,
                                @Nonnull final String annotationClassname )
  {
    MemberChecks.mustBeAbstract( annotationClassname, method );
    final var typeElement = descriptor.getElement();
    MemberChecks.mustNotBePackageAccessInDifferentPackage( typeElement,
                                                           Constants.COMPONENT_CLASSNAME,
                                                           annotationClassname,
                                                           method );
    MemberChecks.mustReturnAValue( annotationClassname, method );
    MemberChecks.mustNotThrowAnyExceptions( annotationClassname, method );
  }

  private void mustBeHookHook( @Nonnull final TypeElement targetType,
                               @Nonnull final String annotationName,
                               @Nonnull final ExecutableElement method )
    throws ProcessorException
  {
    MemberChecks.mustNotBeAbstract( annotationName, method );
    MemberChecks.mustBeSubclassCallable( targetType, Constants.COMPONENT_CLASSNAME, annotationName, method );
    MemberChecks.mustNotReturnAnyValue( annotationName, method );
    MemberChecks.mustNotThrowAnyExceptions( annotationName, method );
  }

  private void shouldBeInternalRefMethod( @Nonnull final ProcessingEnvironment processingEnv,
                                          @Nonnull final ComponentDescriptor descriptor,
                                          @Nonnull final ExecutableElement method,
                                          @Nonnull final String annotationClassname )
  {
    if ( MemberChecks.doesMethodNotOverrideInterfaceMethod( processingEnv, descriptor.getElement(), method ) )
    {
      MemberChecks.shouldNotBePublic( processingEnv,
                                      method,
                                      annotationClassname,
                                      warningKind(),
                                      Constants.WARNING_PUBLIC_REF_METHOD,
                                      Constants.SUPPRESS_AREZ_WARNINGS_CLASSNAME );
    }
  }

  private void shouldBeInternalLifecycleMethod( @Nonnull final ProcessingEnvironment processingEnv,
                                                @Nonnull final ComponentDescriptor descriptor,
                                                @Nonnull final ExecutableElement method,
                                                @Nonnull final String annotationClassname )
  {
    if ( MemberChecks.doesMethodNotOverrideInterfaceMethod( processingEnv, descriptor.getElement(), method ) )
    {
      MemberChecks.shouldNotBePublic( processingEnv,
                                      method,
                                      annotationClassname,
                                      warningKind(),
                                      Constants.WARNING_PUBLIC_LIFECYCLE_METHOD,
                                      Constants.SUPPRESS_AREZ_WARNINGS_CLASSNAME );
    }
  }

  private void shouldBeInternalHookMethod( @Nonnull final ProcessingEnvironment processingEnv,
                                           @Nonnull final ComponentDescriptor descriptor,
                                           @Nonnull final ExecutableElement method,
                                           @Nonnull final String annotationClassname )
  {
    if ( MemberChecks.doesMethodNotOverrideInterfaceMethod( processingEnv, descriptor.getElement(), method ) )
    {
      MemberChecks.shouldNotBePublic( processingEnv,
                                      method,
                                      annotationClassname,
                                      warningKind(),
                                      Constants.WARNING_PUBLIC_HOOK_METHOD,
                                      Constants.SUPPRESS_AREZ_WARNINGS_CLASSNAME );
    }
  }

  @Nullable
  private String deriveName( @Nonnull final ExecutableElement method,
                             @Nonnull final Pattern pattern,
                             @Nonnull final String name )
    throws ProcessorException
  {
    if ( Constants.SENTINEL.equals( name ) )
    {
      final var methodName = method.getSimpleName().toString();
      final var matcher = pattern.matcher( methodName );
      if ( matcher.find() )
      {
        final var candidate = matcher.group( 1 );
        return firstCharacterToLowerCase( candidate );
      }
      else
      {
        return null;
      }
    }
    else
    {
      return name;
    }
  }

  @Nonnull
  private String firstCharacterToLowerCase( @Nonnull final String name )
  {
    return Character.toLowerCase( name.charAt( 0 ) ) + name.substring( 1 );
  }
}