hw4.nullness

Class NullnessExampleWithWarnings

java.lang.Object

hw4.nullness.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 Summary

Constructors

Constructor and Description
NullnessExampleWithWarnings()

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

NullnessExampleWithWarnings

public NullnessExampleWithWarnings()

Method Detail

example

public void example()

exampleGenerics

public String exampleGenerics()