Package org.checkerframework.framework.flow

Class CFAbstractAnalysis.FieldInitialValue<V extends CFAbstractValue<V>>

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 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
final V	declared	The value corresponding to the annotations on the declared type of the field.
final FieldAccess	fieldDecl	A field access that corresponds to the declaration of a field.
final @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 Details

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 Details

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