checkers.nullness
Class CollectionToArrayHeauristics

java.lang.Object
  checkers.nullness.CollectionToArrayHeauristics

public class CollectionToArrayHeauristics
extends Object

Handles calls to Collection.toArray() and determines the appropriate nullness type of the returned value.

Constructor Summary

CollectionToArrayHeauristics(ProcessingEnvironment env, NullnessAnnotatedTypeFactory factory)

Method Summary

void	handle(MethodInvocationTree tree, AnnotatedTypeMirror.AnnotatedExecutableType method)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CollectionToArrayHeauristics

public CollectionToArrayHeauristics(ProcessingEnvironment env,
                                    NullnessAnnotatedTypeFactory factory)

Method Detail

handle

public void handle(MethodInvocationTree tree,
                   AnnotatedTypeMirror.AnnotatedExecutableType method)