CollectionToArrayHeuristics (checker-framework 3.39.0-eisop1 API)

java.lang.Object
- org.checkerframework.checker.nullness.CollectionToArrayHeuristics

```
public class CollectionToArrayHeuristics
extends java.lang.Object
```
Determines the nullness type of calls to Collection.toArray().

See the Checker Framework Manual:
Nullness and conversions from collections to arrays, Constant Value Checker

Constructor Summary

Constructors
Constructor	Description
`CollectionToArrayHeuristics(BaseTypeChecker checker, NullnessNoInitAnnotatedTypeFactory factory)`	Create a CollectionToArrayHeuristics.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`handle(com.sun.source.tree.MethodInvocationTree tree, AnnotatedTypeMirror.AnnotatedExecutableType method)`	If the method invocation is a call to `toArray`, then it manipulates the returned type of `method` arg to contain the appropriate nullness.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - CollectionToArrayHeuristics
```
public CollectionToArrayHeuristics(BaseTypeChecker checker,
                                   NullnessNoInitAnnotatedTypeFactory factory)
```
    Create a CollectionToArrayHeuristics.
    
    Parameters:
    
    checker - the checker, used for issuing diagnostic messages
    
    factory - the type factory
- Method Detail
  - handle
```
public void handle(com.sun.source.tree.MethodInvocationTree tree,
                   AnnotatedTypeMirror.AnnotatedExecutableType method)
```
    If the method invocation is a call to toArray, then it manipulates the returned type of method arg to contain the appropriate nullness. Otherwise, it does nothing.
    
    Parameters:
    
    tree - method invocation tree
    
    method - invoked method type