AnalysisField

java.lang.Object
- com.oracle.graal.pointsto.meta.AnalysisElement
- - com.oracle.graal.pointsto.meta.AnalysisField

All Implemented Interfaces:

OriginalFieldProvider, WrappedElement, WrappedJavaField, AnnotatedElement

Direct Known Subclasses:

PointsToAnalysisField
```
public abstract class AnalysisField
extends AnalysisElement
implements WrappedJavaField, OriginalFieldProvider
```

Nested Class Summary

Nested Classes
Modifier and Type Class and Description

static interface AnalysisField.AnalysisFieldObserver
- Nested classes/interfaces inherited from class com.oracle.graal.pointsto.meta.AnalysisElement
  AnalysisElement.ElementNotification, AnalysisElement.MethodOverrideReachableNotification, AnalysisElement.ReachabilityReason, AnalysisElement.ReachabilityTraceBuilder, AnalysisElement.SubtypeReachableNotification

Nested Classes
Modifier and Type	Class and Description
`static interface`	`AnalysisField.AnalysisFieldObserver`

Field Summary

Fields
Modifier and Type	Field and Description
`protected AnalysisType`	`declaringClass`
`protected AnalysisType`	`fieldType`
`protected FieldValueComputer`	`fieldValueComputer` Marks a field whose value is computed during image building, in general derived from other values, and it cannot be constant-folded or otherwise optimized.
`protected TypeState`	`instanceFieldTypeState`
`protected int`	`position` Field's position in the list of declaring type's fields, including inherited fields.
`ResolvedJavaField`	`wrapped`

Constructor Summary

Constructors
Constructor and Description

AnalysisField(AnalysisUniverse universe, ResolvedJavaField wrappedField)

Constructors
Constructor and Description
`AnalysisField(AnalysisUniverse universe, ResolvedJavaField wrappedField)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`addAnalysisFieldObserver(AnalysisField.AnalysisFieldObserver observer)`
`boolean`	`canBeNull()`
`void`	`cleanupAfterAnalysis()`
`boolean`	`computedValueCanBeNull()`
`Class<?>[]`	`computedValueTypes()`
`void`	`copyAccessInfos(AnalysisField other)`
`Object`	`getAccessedReason()`
`JavaConstant`	`getConstantValue()`
`AnalysisType`	`getDeclaringClass()`
`Object`	`getFoldedReason()`
`int`	`getId()`
`FieldTypeFlow`	`getInitialInstanceFieldFlow()`
`ContextInsensitiveFieldTypeFlow`	`getInstanceFieldFlow()` Get the field type flow, stripped of any context.
`TypeState`	`getInstanceFieldTypeState()`
`Field`	`getJavaField()`
`int`	`getModifiers()`
`String`	`getName()`
`int`	`getOffset()`
`int`	`getPosition()`
`Object`	`getReadBy()`
`Object`	`getReadReason()`
`FieldTypeFlow`	`getStaticFieldFlow()`
`JavaKind`	`getStorageKind()`
`AnalysisType`	`getType()`
`TypeState`	`getTypeState()` Returns all possible types that this field can have.
`protected AnalysisUniverse`	`getUniverse()`
`ResolvedJavaField`	`getWrapped()`
`Object`	`getWrittenReason()`
`int`	`hashCode()`
`boolean`	`hasUnsafeFrozenTypeState()`
`void`	`intersectAccessInfos(AnalysisField other)`
`boolean`	`isAccessed()` Returns true if the field is reachable.
`boolean`	`isComputedValue()`
`boolean`	`isFolded()`
`boolean`	`isInternal()`
`boolean`	`isJNIAccessed()`
`boolean`	`isReachable()`
`boolean`	`isRead()`
`boolean`	`isStatic()`
`boolean`	`isSynthetic()`
`boolean`	`isUnsafeAccessed()`
`boolean`	`isValueAvailable()`
`boolean`	`isWritten()`
`void`	`onReachable()`
`boolean`	`registerAsAccessed(Object reason)`
`void`	`registerAsFolded(Object reason)`
`void`	`registerAsJNIAccessed()`
`boolean`	`registerAsRead(Object reason)`
`void`	`registerAsUnsafeAccessed(Object reason)`
`boolean`	`registerAsUnsafeAccessed(com.oracle.svm.util.UnsafePartitionKind partitionKind, Object reason)`
`boolean`	`registerAsWritten(Object reason)` Registers that the field is written.
`void`	`removeAnalysisFieldObserver(AnalysisField.AnalysisFieldObserver observer)`
`void`	`setCanBeNull(boolean canBeNull)`
`void`	`setPosition(int newPosition)`
`void`	`setUnsafeFrozenTypeState(boolean value)`
`String`	`toString()`

Methods inherited from class com.oracle.graal.pointsto.meta.AnalysisElement
execute, getAnnotation, getAnnotations, getDeclaredAnnotation, getDeclaredAnnotations, isAnnotationPresent, isTriggered, notifyReachabilityCallback, notifyReachabilityCallbacks, registerReachabilityNotification

Methods inherited from class java.lang.Object
clone, equals, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.oracle.graal.pointsto.infrastructure.OriginalFieldProvider
getJavaField

Methods inherited from interface java.lang.reflect.AnnotatedElement
getAnnotationsByType, getDeclaredAnnotationsByType

- Field Detail
  - wrapped
```
public final ResolvedJavaField wrapped
```
  - instanceFieldTypeState
```
protected TypeState instanceFieldTypeState
```
  - position
```
protected int position
```
    Field's position in the list of declaring type's fields, including inherited fields.
  - declaringClass
```
protected final AnalysisType declaringClass
```
  - fieldType
```
protected final AnalysisType fieldType
```
  - fieldValueComputer
```
protected final FieldValueComputer fieldValueComputer
```
    Marks a field whose value is computed during image building, in general derived from other values, and it cannot be constant-folded or otherwise optimized.
- Constructor Detail
  - AnalysisField
```
public AnalysisField(AnalysisUniverse universe,
                     ResolvedJavaField wrappedField)
```
- Method Detail
  - getUniverse
```
protected AnalysisUniverse getUniverse()
```
    Specified by:
    
    getUniverse in class AnalysisElement
  - getWrapped
```
public ResolvedJavaField getWrapped()
```
    Specified by:
    
    getWrapped in interface WrappedElement
    
    Specified by:
    
    getWrapped in interface WrappedJavaField
    
    Specified by:
    
    getWrapped in class AnalysisElement
  - copyAccessInfos
```
public void copyAccessInfos(AnalysisField other)
```
  - intersectAccessInfos
```
public void intersectAccessInfos(AnalysisField other)
```
  - getId
```
public int getId()
```
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class Object
  - getStorageKind
```
public JavaKind getStorageKind()
```
  - getTypeState
```
public TypeState getTypeState()
```
    Returns all possible types that this field can have. The result is not context sensitive, i.e., it is a union of all types found in all contexts.
  - getInstanceFieldTypeState
```
public TypeState getInstanceFieldTypeState()
```
  - getInitialInstanceFieldFlow
```
public FieldTypeFlow getInitialInstanceFieldFlow()
```
  - getStaticFieldFlow
```
public FieldTypeFlow getStaticFieldFlow()
```
  - getInstanceFieldFlow
```
public ContextInsensitiveFieldTypeFlow getInstanceFieldFlow()
```
    Get the field type flow, stripped of any context.
  - cleanupAfterAnalysis
```
public void cleanupAfterAnalysis()
```
  - registerAsAccessed
```
public boolean registerAsAccessed(Object reason)
```
  - registerAsRead
```
public boolean registerAsRead(Object reason)
```
    Parameters:
    
    reason - the reason why this field is read, non-null
  - registerAsWritten
```
public boolean registerAsWritten(Object reason)
```
    Registers that the field is written.
    
    Parameters:
    
    reason - the reason why this field is written, non-null
  - registerAsFolded
```
public void registerAsFolded(Object reason)
```
  - registerAsUnsafeAccessed
```
public void registerAsUnsafeAccessed(Object reason)
```
  - registerAsUnsafeAccessed
```
public boolean registerAsUnsafeAccessed(com.oracle.svm.util.UnsafePartitionKind partitionKind,
                                        Object reason)
```
  - isUnsafeAccessed
```
public boolean isUnsafeAccessed()
```
  - registerAsJNIAccessed
```
public void registerAsJNIAccessed()
```
  - isJNIAccessed
```
public boolean isJNIAccessed()
```
  - setUnsafeFrozenTypeState
```
public void setUnsafeFrozenTypeState(boolean value)
```
  - hasUnsafeFrozenTypeState
```
public boolean hasUnsafeFrozenTypeState()
```
  - getReadBy
```
public Object getReadBy()
```
  - getAccessedReason
```
public Object getAccessedReason()
```
  - isAccessed
```
public boolean isAccessed()
```
    Returns true if the field is reachable. Fields that are read or manually registered as reachable are always reachable. For fields that are write-only, more cases need to be considered: If a primitive field is never read, writes to it are useless as well and we can eliminate the field. Unless the field is volatile, because the write is a memory barrier and therefore has side effects. Object fields must be preserved even when they are never read, because the reachability of an object is an observable side effect: Removing an object field could lead to a ReferenceQueue processing the no-longer-stored value object. An example is the field DirectByteBuffer.att: It is never read, but it ensures that native memory is not reclaimed when only a view to a DirectByteBuffer remains reachable.
  - isRead
```
public boolean isRead()
```
  - getReadReason
```
public Object getReadReason()
```
  - isWritten
```
public boolean isWritten()
```
  - getWrittenReason
```
public Object getWrittenReason()
```
  - isFolded
```
public boolean isFolded()
```
  - getFoldedReason
```
public Object getFoldedReason()
```
  - isReachable
```
public boolean isReachable()
```
    Specified by:
    
    isReachable in class AnalysisElement
  - onReachable
```
public void onReachable()
```
    Specified by:
    
    onReachable in class AnalysisElement
  - isValueAvailable
```
public boolean isValueAvailable()
```
  - isComputedValue
```
public boolean isComputedValue()
```
  - computedValueTypes
```
public Class<?>[] computedValueTypes()
```
  - computedValueCanBeNull
```
public boolean computedValueCanBeNull()
```
  - setCanBeNull
```
public void setCanBeNull(boolean canBeNull)
```
  - canBeNull
```
public boolean canBeNull()
```
  - getName
```
public String getName()
```
  - setPosition
```
public void setPosition(int newPosition)
```
  - getPosition
```
public int getPosition()
```
  - getType
```
public AnalysisType getType()
```
  - getModifiers
```
public int getModifiers()
```
  - getOffset
```
public int getOffset()
```
  - getDeclaringClass
```
public AnalysisType getDeclaringClass()
```
  - isInternal
```
public boolean isInternal()
```
  - isSynthetic
```
public boolean isSynthetic()
```
  - isStatic
```
public boolean isStatic()
```
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - getJavaField
```
public Field getJavaField()
```
    Specified by:
    
    getJavaField in interface OriginalFieldProvider
  - getConstantValue
```
public JavaConstant getConstantValue()
```
  - addAnalysisFieldObserver
```
public void addAnalysisFieldObserver(AnalysisField.AnalysisFieldObserver observer)
```
  - removeAnalysisFieldObserver
```
public void removeAnalysisFieldObserver(AnalysisField.AnalysisFieldObserver observer)
```

Class AnalysisField

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.graal.pointsto.meta.AnalysisElement

Field Summary

Constructor Summary

Method Summary

Methods inherited from class com.oracle.graal.pointsto.meta.AnalysisElement

Methods inherited from class java.lang.Object

Methods inherited from interface com.oracle.graal.pointsto.infrastructure.OriginalFieldProvider

Methods inherited from interface java.lang.reflect.AnnotatedElement

Field Detail

wrapped

instanceFieldTypeState

position

declaringClass

fieldType

fieldValueComputer

Constructor Detail

AnalysisField

Method Detail

getUniverse

getWrapped

copyAccessInfos

intersectAccessInfos

getId

hashCode

getStorageKind

getTypeState

getInstanceFieldTypeState

getInitialInstanceFieldFlow

getStaticFieldFlow

getInstanceFieldFlow

cleanupAfterAnalysis

registerAsAccessed

registerAsRead

registerAsWritten

registerAsFolded

registerAsUnsafeAccessed

registerAsUnsafeAccessed

isUnsafeAccessed

registerAsJNIAccessed

isJNIAccessed

setUnsafeFrozenTypeState

hasUnsafeFrozenTypeState

getReadBy

getAccessedReason

isAccessed

isRead

getReadReason

isWritten

getWrittenReason

isFolded

getFoldedReason

isReachable

onReachable

isValueAvailable

isComputedValue

computedValueTypes

computedValueCanBeNull

setCanBeNull

canBeNull

getName

setPosition

getPosition

getType

getModifiers

getOffset

getDeclaringClass

isInternal

isSynthetic

isStatic

toString

getJavaField

getConstantValue

addAnalysisFieldObserver

removeAnalysisFieldObserver