ps2
Class NullnessExampleWithWarnings

java.lang.Object
  ps2.NullnessExampleWithWarnings

public class NullnessExampleWithWarnings
extends Object

This class illustrates use of nullness type annotations. The class doesn't do anything -- it is merely meant to be compiled. Compilation will produce warning messages.

There are two related files that differ only slightly: NullnessExample, an example of correct use, and NullnessExampleWithWarnings, an example of incorrect use. See the Nullness checker documentation for larger examples of annotated code.

Constructor and Description

NullnessExampleWithWarnings()

Method Summary

Modifier and Type	Method and Description
void	example()
String	exampleGenerics()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NullnessExampleWithWarnings

public NullnessExampleWithWarnings()

Method Detail

example

public void example()

exampleGenerics

public String exampleGenerics()