CFAbstractAnalysis.FieldInitialValue (checker-framework 3.39.0-eisop1 API)

java.lang.Object
- org.checkerframework.framework.flow.CFAbstractAnalysis.FieldInitialValue<V>

Type Parameters:

V - type of value

Enclosing class:

CFAbstractAnalysis<V extends CFAbstractValue<V>,S extends CFAbstractStore<V,S>,T extends CFAbstractTransfer<V,S,T>>
```
public static class CFAbstractAnalysis.FieldInitialValue<V extends CFAbstractValue<V>>
extends java.lang.Object
```
A triple of field, value corresponding to the annotations on its declared type, value of its initializer. The value of the initializer is null if the field does not have one.

Field Summary

Fields
Modifier and Type	Field	Description
`V`	`declared`	The value corresponding to the annotations on the declared type of the field.
`FieldAccess`	`fieldDecl`	A field access that corresponds to the declaration of a field.
`@Nullable V`	`initializer`	The value of the initializer of the field, or null if no initializer exists.

Constructor Summary

Constructors
Constructor Description

FieldInitialValue(FieldAccess fieldDecl, V declared, @Nullable V initializer)
Creates a new FieldInitialValue.

Method Summary
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - fieldDecl
```
public final FieldAccess fieldDecl
```
    A field access that corresponds to the declaration of a field.
  - declared
```
public final V extends CFAbstractValue<V> declared
```
    The value corresponding to the annotations on the declared type of the field.
  - initializer
```
public final @Nullable V extends CFAbstractValue<V> initializer
```
    The value of the initializer of the field, or null if no initializer exists.
- Constructor Detail
  - FieldInitialValue
```
public FieldInitialValue(FieldAccess fieldDecl,
                         V declared,
                         @Nullable V initializer)
```
    Creates a new FieldInitialValue.
    
    Parameters:
    
    fieldDecl - a field access that corresponds to the declaration of a field
    
    declared - value corresponding to the annotations on the declared type of field
    
    initializer - value of the initializer of field, or null if no initializer exists