AnalysisField

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

All Implemented Interfaces:

OriginalFieldProvider, AnnotatedElement, jdk.vm.ci.meta.JavaField, jdk.vm.ci.meta.ModifiersProvider, jdk.vm.ci.meta.ResolvedJavaField
```
public class AnalysisField
extends Object
implements jdk.vm.ci.meta.ResolvedJavaField, OriginalFieldProvider
```

Nested Class Summary

Nested Classes
Modifier and Type Class and Description

static interface AnalysisField.AnalysisFieldObserver

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

Field Summary

Fields
Modifier and Type Field and Description

protected TypeState instanceFieldTypeState

jdk.vm.ci.meta.ResolvedJavaField wrapped

Fields
Modifier and Type	Field and Description
`protected TypeState`	`instanceFieldTypeState`
`jdk.vm.ci.meta.ResolvedJavaField`	`wrapped`

Constructor Summary

Constructors
Constructor and Description

AnalysisField(AnalysisUniverse universe, jdk.vm.ci.meta.ResolvedJavaField wrappedField)

Constructors
Constructor and Description
`AnalysisField(AnalysisUniverse universe, jdk.vm.ci.meta.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)`
`<T extends Annotation> T`	`getAnnotation(Class<T> annotationClass)`
`Annotation[]`	`getAnnotations()`
`Annotation[]`	`getDeclaredAnnotations()`
`AnalysisType`	`getDeclaringClass()`
`int`	`getId()`
`FieldTypeFlow`	`getInitialInstanceFieldFlow()`
`FieldSinkTypeFlow`	`getInstanceFieldFlow()`
`TypeState`	`getInstanceFieldTypeState()`
`Field`	`getJavaField()` Returns the original reflecton field.
`int`	`getModifiers()`
`String`	`getName()`
`int`	`getOffset()`
`int`	`getPosition()`
`Set<MethodTypeFlow>`	`getReadBy()`
`FieldTypeFlow`	`getStaticFieldFlow()`
`jdk.vm.ci.meta.JavaKind`	`getStorageKind()`
`AnalysisType`	`getType()`
`TypeState`	`getTypeState()` Returns all possible types that this field can have.
`Set<MethodTypeFlow>`	`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`	`isInternal()`
`boolean`	`isJNIAccessed()`
`boolean`	`isRead()`
`boolean`	`isStatic()`
`boolean`	`isSynthetic()`
`boolean`	`isUnsafeAccessed()`
`boolean`	`isUsedInComparison()`
`boolean`	`isWritten()`
`void`	`markAsUsedInComparison()`
`boolean`	`registerAsAccessed()`
`void`	`registerAsJNIAccessed()`
`boolean`	`registerAsRead(MethodTypeFlow method)`
`void`	`registerAsUnsafeAccessed(AnalysisUniverse universe)`
`void`	`registerAsUnsafeAccessed(AnalysisUniverse universe, com.oracle.svm.util.UnsafePartitionKind partitionKind)`
`boolean`	`registerAsWritten(MethodTypeFlow 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 java.lang.Object
clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface jdk.vm.ci.meta.ResolvedJavaField
isFinal

Methods inherited from interface jdk.vm.ci.meta.JavaField
format, getJavaKind

Methods inherited from interface jdk.vm.ci.meta.ModifiersProvider
isAbstract, isConcrete, isFinalFlagSet, isInterface, isNative, isPackagePrivate, isPrivate, isProtected, isPublic, isStrict, isSynchronized, isTransient, isVolatile

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

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

- Field Detail
  - wrapped
```
public final jdk.vm.ci.meta.ResolvedJavaField wrapped
```
  - instanceFieldTypeState
```
protected TypeState instanceFieldTypeState
```
- Constructor Detail
  - AnalysisField
```
public AnalysisField(AnalysisUniverse universe,
                     jdk.vm.ci.meta.ResolvedJavaField wrappedField)
```
- Method Detail
  - 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 jdk.vm.ci.meta.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 FieldSinkTypeFlow getInstanceFieldFlow()
```
  - cleanupAfterAnalysis
```
public void cleanupAfterAnalysis()
```
  - registerAsAccessed
```
public boolean registerAsAccessed()
```
  - registerAsRead
```
public boolean registerAsRead(MethodTypeFlow method)
```
  - registerAsWritten
```
public boolean registerAsWritten(MethodTypeFlow 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.
  - registerAsUnsafeAccessed
```
public void registerAsUnsafeAccessed(AnalysisUniverse universe)
```
  - registerAsUnsafeAccessed
```
public void registerAsUnsafeAccessed(AnalysisUniverse universe,
                                     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<MethodTypeFlow> getReadBy()
```
  - getWrittenBy
```
public Set<MethodTypeFlow> 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()
```
  - setCanBeNull
```
public void setCanBeNull(boolean canBeNull)
```
  - canBeNull
```
public boolean canBeNull()
```
  - getName
```
public String getName()
```
    Specified by:
    
    getName in interface jdk.vm.ci.meta.JavaField
  - setPosition
```
public void setPosition(int newPosition)
```
  - getPosition
```
public int getPosition()
```
  - getType
```
public AnalysisType getType()
```
    Specified by:
    
    getType in interface jdk.vm.ci.meta.JavaField
  - getModifiers
```
public int getModifiers()
```
    Specified by:
    
    getModifiers in interface jdk.vm.ci.meta.ModifiersProvider
    
    Specified by:
    
    getModifiers in interface jdk.vm.ci.meta.ResolvedJavaField
  - getOffset
```
public int getOffset()
```
    Specified by:
    
    getOffset in interface jdk.vm.ci.meta.ResolvedJavaField
  - getDeclaringClass
```
public AnalysisType getDeclaringClass()
```
    Specified by:
    
    getDeclaringClass in interface jdk.vm.ci.meta.JavaField
    
    Specified by:
    
    getDeclaringClass in interface jdk.vm.ci.meta.ResolvedJavaField
  - isInternal
```
public boolean isInternal()
```
    Specified by:
    
    isInternal in interface jdk.vm.ci.meta.ResolvedJavaField
  - isSynthetic
```
public boolean isSynthetic()
```
    Specified by:
    
    isSynthetic in interface jdk.vm.ci.meta.ResolvedJavaField
  - isStatic
```
public boolean isStatic()
```
    Specified by:
    
    isStatic in interface jdk.vm.ci.meta.ModifiersProvider
  - getAnnotations
```
public Annotation[] getAnnotations()
```
    Specified by:
    
    getAnnotations in interface AnnotatedElement
  - getDeclaredAnnotations
```
public Annotation[] getDeclaredAnnotations()
```
    Specified by:
    
    getDeclaredAnnotations in interface AnnotatedElement
  - getAnnotation
```
public <T extends Annotation> T getAnnotation(Class<T> annotationClass)
```
    Specified by:
    
    getAnnotation in interface AnnotatedElement
  - 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

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Methods inherited from interface jdk.vm.ci.meta.ResolvedJavaField

Methods inherited from interface jdk.vm.ci.meta.JavaField

Methods inherited from interface jdk.vm.ci.meta.ModifiersProvider

Methods inherited from interface java.lang.reflect.AnnotatedElement

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

Field Detail

wrapped

instanceFieldTypeState

Constructor Detail

AnalysisField

Method Detail

copyAccessInfos

intersectAccessInfos

clearAccessInfos

getId

hashCode

getStorageKind

getTypeState

getInstanceFieldTypeState

getInitialInstanceFieldFlow

getStaticFieldFlow

getInstanceFieldFlow

cleanupAfterAnalysis

registerAsAccessed

registerAsRead

registerAsWritten

registerAsUnsafeAccessed

registerAsUnsafeAccessed

isUnsafeAccessed

registerAsJNIAccessed

isJNIAccessed

setUnsafeFrozenTypeState

hasUnsafeFrozenTypeState

getReadBy

getWrittenBy

isAccessed

isRead

isWritten

setCanBeNull

canBeNull

getName

setPosition

getPosition

getType

getModifiers

getOffset

getDeclaringClass

isInternal

isSynthetic

isStatic

getAnnotations

getDeclaredAnnotations

getAnnotation

toString

markAsUsedInComparison

isUsedInComparison

getJavaField

addAnalysisFieldObserver

removeAnalysisFieldObserver