org.checkerframework.checker.nullness

Class SystemGetPropertyHandler

java.lang.Object

org.checkerframework.checker.nullness.SystemGetPropertyHandler

public class SystemGetPropertyHandler
extends java.lang.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 javax.annotation.processing.ProcessingEnvironment	env The processing environment.
protected NullnessAnnotatedTypeFactory	factory The factory for constructing and looking up types.
protected javax.lang.model.element.ExecutableElement	systemGetProperty The System.getProperty(String) method.

Constructor Summary

Constructors

Constructor and Description
SystemGetPropertyHandler(javax.annotation.processing.ProcessingEnvironment env, NullnessAnnotatedTypeFactory factory)

Method Summary

Modifier and Type	Method and Description
void	handle(com.sun.source.tree.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 javax.annotation.processing.ProcessingEnvironment env

The processing environment.

factory

protected final NullnessAnnotatedTypeFactory factory

The factory for constructing and looking up types.

systemGetProperty

protected final javax.lang.model.element.ExecutableElement systemGetProperty

The System.getProperty(String) method.

Constructor Detail

SystemGetPropertyHandler

public SystemGetPropertyHandler(javax.annotation.processing.ProcessingEnvironment env,
                                NullnessAnnotatedTypeFactory factory)

Method Detail

handle

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