Deprecated API

Contents

• Deprecated Annotation Types
• Deprecated Methods

Deprecated Annotation Types

Annotation Type and Description
org.checkerframework.checker.nullness.qual.LazyNonNull

Deprecated Methods

Method and Description
org.checkerframework.stubparser.JavaCharStream.getColumn()
org.checkerframework.stubparser.JavaCharStream.getLine()