AnalysisField

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

All Implemented Interfaces:

OriginalFieldProvider, WrappedElement, WrappedJavaField, com.oracle.svm.util.AnnotationWrapper, AnnotatedElement

Direct Known Subclasses:

PointsToAnalysisField
```
public abstract class AnalysisField
extends AnalysisElement
implements WrappedJavaField, OriginalFieldProvider, com.oracle.svm.util.AnnotationWrapper
```

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.ElementReachableNotification, AnalysisElement.MethodOverrideReachableNotification, 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 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()`
`void`	`clearAccessInfos()`
`void`	`copyAccessInfos(AnalysisField other)`
`AnnotatedElement`	`getAnnotationRoot()`
`AnalysisType`	`getDeclaringClass()`
`int`	`getId()`
`FieldTypeFlow`	`getInitialInstanceFieldFlow()`
`ContextInsensitiveFieldTypeFlow`	`getInstanceFieldFlow()` Get the field type flow, stripped of any context.
`TypeState`	`getInstanceFieldTypeState()`
`Field`	`getJavaField()` Returns the original reflecton field.
`int`	`getModifiers()`
`String`	`getName()`
`int`	`getOffset()`
`int`	`getPosition()`
`Set<AnalysisMethod>`	`getReadBy()`
`FieldTypeFlow`	`getStaticFieldFlow()`
`JavaKind`	`getStorageKind()`
`AnalysisType`	`getType()`
`TypeState`	`getTypeState()` Returns all possible types that this field can have.
`ResolvedJavaField`	`getWrapped()`
`Set<AnalysisMethod>`	`getWrittenBy()` Returns all methods where the field is written.
`int`	`hashCode()`
`boolean`	`hasUnsafeFrozenTypeState()`
`void`	`intersectAccessInfos(AnalysisField other)`
`boolean`	`isAccessed()` Returns true if the field is reachable.
`boolean`	`isFolded()`
`boolean`	`isInternal()`
`boolean`	`isJNIAccessed()`
`boolean`	`isReachable()`
`boolean`	`isRead()`
`boolean`	`isStatic()`
`boolean`	`isSynthetic()`
`boolean`	`isUnsafeAccessed()`
`boolean`	`isUsedInComparison()`
`boolean`	`isWritten()`
`void`	`markAsUsedInComparison()`
`void`	`markFolded()`
`void`	`onReachable()`
`boolean`	`registerAsAccessed()`
`void`	`registerAsJNIAccessed()`
`boolean`	`registerAsRead(AnalysisMethod method)`
`void`	`registerAsUnsafeAccessed()`
`void`	`registerAsUnsafeAccessed(com.oracle.svm.util.UnsafePartitionKind partitionKind)`
`boolean`	`registerAsWritten(AnalysisMethod method)` 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
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.svm.util.AnnotationWrapper
getAnnotation, getAnnotations, getDeclaredAnnotation, getDeclaredAnnotations, getIgnoredAnnotations, getInjectedAnnotations, getSecondaryAnnotationRoot, isAnnotationPresent

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

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

- 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
```
- Constructor Detail
  - AnalysisField
```
public AnalysisField(AnalysisUniverse universe,
                     ResolvedJavaField wrappedField)
```
- Method Detail
  - getWrapped
```
public ResolvedJavaField getWrapped()
```
    Specified by:
    
    getWrapped in interface WrappedElement
    
    Specified by:
    
    getWrapped in interface WrappedJavaField
  - copyAccessInfos
```
public void copyAccessInfos(AnalysisField other)
```
  - intersectAccessInfos
```
public void intersectAccessInfos(AnalysisField other)
```
  - clearAccessInfos
```
public void clearAccessInfos()
```
  - 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()
```
  - registerAsRead
```
public boolean registerAsRead(AnalysisMethod method)
```
  - registerAsWritten
```
public boolean registerAsWritten(AnalysisMethod method)
```
    Registers that the field is written.
    
    Parameters:
    
    method - The method where the field is written or null if the method is not known, e.g. for an unsafe accessed field.
  - markFolded
```
public void markFolded()
```
  - registerAsUnsafeAccessed
```
public void registerAsUnsafeAccessed()
```
  - registerAsUnsafeAccessed
```
public void registerAsUnsafeAccessed(com.oracle.svm.util.UnsafePartitionKind partitionKind)
```
  - isUnsafeAccessed
```
public boolean isUnsafeAccessed()
```
  - registerAsJNIAccessed
```
public void registerAsJNIAccessed()
```
  - isJNIAccessed
```
public boolean isJNIAccessed()
```
  - setUnsafeFrozenTypeState
```
public void setUnsafeFrozenTypeState(boolean value)
```
  - hasUnsafeFrozenTypeState
```
public boolean hasUnsafeFrozenTypeState()
```
  - getReadBy
```
public Set<AnalysisMethod> getReadBy()
```
  - getWrittenBy
```
public Set<AnalysisMethod> getWrittenBy()
```
    Returns all methods where the field is written. It does not include the methods where the field is written with unsafe access.
  - 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()
```
  - isWritten
```
public boolean isWritten()
```
  - isFolded
```
public boolean isFolded()
```
  - isReachable
```
public boolean isReachable()
```
    Specified by:
    
    isReachable in class AnalysisElement
  - onReachable
```
public void onReachable()
```
    Specified by:
    
    onReachable in class AnalysisElement
  - 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()
```
  - getAnnotationRoot
```
public AnnotatedElement getAnnotationRoot()
```
    Specified by:
    
    getAnnotationRoot in interface WrappedElement
    
    Specified by:
    
    getAnnotationRoot in interface WrappedJavaField
    
    Specified by:
    
    getAnnotationRoot in interface com.oracle.svm.util.AnnotationWrapper
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - markAsUsedInComparison
```
public void markAsUsedInComparison()
```
  - isUsedInComparison
```
public boolean isUsedInComparison()
```
  - getJavaField
```
public Field getJavaField()
```
    Description copied from interface: OriginalFieldProvider
    
    Returns the original reflecton field. First the original Java class corresponding to the field's declaring class is retrieved. Then the field is accesed using Class.getDeclaredField(name). This method can return null if the field's declaring class references types missing from the classpath or the field is either missing or hidden from reflection.
    
    Specified by:
    
    getJavaField in interface OriginalFieldProvider
    
    Returns:
    
    original reflecton field, or null
  - 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.svm.util.AnnotationWrapper

Methods inherited from interface java.lang.reflect.AnnotatedElement

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

Field Detail

wrapped

instanceFieldTypeState

position

declaringClass

fieldType

Constructor Detail

AnalysisField

Method Detail

getWrapped

copyAccessInfos

intersectAccessInfos

clearAccessInfos

getId

hashCode

getStorageKind

getTypeState

getInstanceFieldTypeState

getInitialInstanceFieldFlow

getStaticFieldFlow

getInstanceFieldFlow

cleanupAfterAnalysis

registerAsAccessed

registerAsRead

registerAsWritten

markFolded

registerAsUnsafeAccessed

registerAsUnsafeAccessed

isUnsafeAccessed

registerAsJNIAccessed

isJNIAccessed

setUnsafeFrozenTypeState

hasUnsafeFrozenTypeState

getReadBy

getWrittenBy

isAccessed

isRead

isWritten

isFolded

isReachable

onReachable

setCanBeNull

canBeNull

getName

setPosition

getPosition

getType

getModifiers

getOffset

getDeclaringClass

isInternal

isSynthetic

isStatic

getAnnotationRoot

toString

markAsUsedInComparison

isUsedInComparison

getJavaField

addAnalysisFieldObserver

removeAnalysisFieldObserver