checkers.nullness
Class CollectionToArrayHeauristics

java.lang.Object
  extended by 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
Constructor and Description
CollectionToArrayHeauristics(ProcessingEnvironment env, NullnessAnnotatedTypeFactory factory)
           
 
Method Summary
Modifier and Type Method and Description
 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)