hw4.nullness

Class NullnessExample

java.lang.Object

hw4.nullness.NullnessExample

public class NullnessExample
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 no 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 Summary

Constructors

Constructor and Description
NullnessExample()

Method Summary

Methods

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

NullnessExample

public NullnessExample()

Method Detail

example

public void example()

exampleGenerics

public String exampleGenerics()