Nested and Inner Type Summary

Modifier and Type	Class and Description
public static @interface	EnsuresInitializedFields.List A wrapper annotation that makes the `EnsuresInitializedFields` annotation repeatable.

Method Summary

Modifier and Type	Method and Description
public String[]	Returns: fields that this method initializes fields() Fields that this method initializes.
public String[]	Returns: object whose fields are initialized value() The object whose fields this method initializes.

Inherited from java.lang.annotation.Annotation:: annotationType equals hashCode toString

Method Detail

fields	back to summary
public String[] fields() Fields that this method initializes. Returns:String[] fields that this method initializes Annotations @QualifierArgument:value

fields

back to summary

public String[] fields()

Fields that this method initializes.

Returns:String[]

fields that this method initializes

Annotations

@QualifierArgument:value

value	back to summary
public String[] value() The object whose fields this method initializes. Returns:String[] object whose fields are initialized

value

back to summary

public String[] value()

The object whose fields this method initializes.

Returns:String[]: object whose fields are initialized

org.checkerframework.common.initializedfields.qual back to summary

public @Interface EnsuresInitializedFields.List

Annotations

extends Annotation

@Documented
@Retention:RUNTIME
@Target:METHOD, CONSTRUCTOR
@PostconditionAnnotation
qualifier:InitializedFields
@InheritedAnnotation

A wrapper annotation that makes the EnsuresInitializedFields annotation repeatable.

Programmers generally do not need to write this. It is created by Java when a programmer writes more than one EnsuresInitializedFields annotation at the same location.

Method Summary

Modifier and Type	Method and Description
public EnsuresInitializedFields[]	Returns: the repeatable annotations value() Return the repeatable annotations.

Inherited from java.lang.annotation.Annotation:: annotationType equals hashCode toString

Method Detail

value	back to summary
public EnsuresInitializedFields[] value() Return the repeatable annotations. Returns:EnsuresInitializedFields[] the repeatable annotations

value

back to summary

public EnsuresInitializedFields[] value()

Return the repeatable annotations.

Returns:EnsuresInitializedFields[]: the repeatable annotations