public class SystemGetPropertyHandler extends Object
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").
| Modifier and Type | Field and Description |
|---|---|
protected ProcessingEnvironment |
env
The processing environment.
|
protected NullnessAnnotatedTypeFactory |
factory
The factory for constructing and looking up types.
|
protected ExecutableElement |
systemGetProperty
The System.getProperty(String) method.
|
| Constructor and Description |
|---|
SystemGetPropertyHandler(ProcessingEnvironment env,
NullnessAnnotatedTypeFactory factory) |
| Modifier and Type | Method and Description |
|---|---|
void |
handle(MethodInvocationTree tree,
AnnotatedTypeMirror.AnnotatedExecutableType method) |
protected final ProcessingEnvironment env
protected final NullnessAnnotatedTypeFactory factory
protected final ExecutableElement systemGetProperty
public SystemGetPropertyHandler(ProcessingEnvironment env, NullnessAnnotatedTypeFactory factory)
public void handle(MethodInvocationTree tree, AnnotatedTypeMirror.AnnotatedExecutableType method)