org.checkerframework.checker.nullness

Class SystemGetPropertyHandler

java.lang.Object

org.checkerframework.checker.nullness.SystemGetPropertyHandler

public class SystemGetPropertyHandler
extends Object

Utility class for handling System.getProperty(String) invocations.

The result of the method call is is assumed to be non-null if the argument is a literal key that is guaranteed to be present in the system properties (according to the documentation of System.getProperty(String)), as in System.getProperties("line.separator").

Field Summary

Fields

Modifier and Type	Field and Description
protected ProcessingEnvironment	env
protected NullnessAnnotatedTypeFactory	factory
protected ExecutableElement	systemGetProperty

Constructor Summary

Constructors

Constructor and Description
SystemGetPropertyHandler(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

Field Detail

env

protected final ProcessingEnvironment env

factory

protected final NullnessAnnotatedTypeFactory factory

systemGetProperty

protected final ExecutableElement systemGetProperty

Constructor Detail

SystemGetPropertyHandler

public SystemGetPropertyHandler(ProcessingEnvironment env,
                                NullnessAnnotatedTypeFactory factory)

Method Detail

handle

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