Package com.facebook.infer.annotation

Class Summary

Class	Description
Assertions

Annotation Types Summary

Annotation Type	Description
Expensive
FalseOnNull	Annotation for a boolean function returning false when the argument is null.
Functional	Annotation for methods that always return the same value.
IgnoreAllocations
Initializer	A method annotated with @Initializer should always be be called before the object is used.
IntegritySink
IntegritySource
Mutable
NoAllocation
OkToExtend	Marks a class as one that is expected to be extended.
PerformanceCritical
Present	A class field, or method return/parameter type, of Optional type is annotated @Present to indicate that its value cannot be absent.
PrivacySink
PrivacySource
PropagatesNullable	Annotation to indicate that when the parameter is null, the result is also null.
ReturnsOwnership	Tell the thread-safety analysis that this method transfers ownership of its return value to its caller.
SuppressFieldNotInitialized
SuppressFieldNotNullable
SuppressLint
SuppressNullFieldAccess
SuppressNullMethodCall
SuppressParameterNotNullable
SuppressReturnOverAnnotated
SuppressViewNullability	View can be annotated with @SuppressViewNullability to silence warnings when a view is set to null in a destructor, and created in an initializer.
SynchronizedCollection	Tell the analysis that a collection is thread-safe when this information is not already reflected in the collection's type.
ThreadConfined	This annotation tells the thread-safety analysis to assume that mutations in the annotated class/field/method are confined to the given thread name.
ThreadSafe	Similar to the @ThreadSafe annotation from javax.concurrent.annotation, but can be applied to methods.
TrueOnNull	Annotation for a boolean function returning true when the argument is null.
Verify