Package pascal.taie.language.classes

Class JField

java.lang.Object

pascal.taie.language.classes.ClassMember

pascal.taie.language.classes.JField

All Implemented Interfaces:

Serializable, Annotated

public class JField
extends ClassMember

Represents fields in the program. Each instance contains various information of a field, including field name, type, declaring class, etc.

See Also:

• Serialized Form

Field Summary

Fields inherited from class pascal.taie.language.classes.ClassMember

annotationHolder, declaringClass, modifiers, name, signature

Constructor Summary

Constructors

Constructor	Description
JField(JClass declaringClass, String name, Set<Modifier> modifiers, Type type, ReferenceTypeGSignature gSignature, AnnotationHolder annotationHolder)

Method Summary

Modifier and Type	Method	Description
ReferenceTypeGSignature	getGSignature()
FieldRef	getRef()
Type	getType()
String	toString()

Methods inherited from class pascal.taie.language.classes.ClassMember

getAnnotation, getAnnotations, getDeclaringClass, getModifiers, getName, getSignature, hasAnnotation, isApplication, isPrivate, isProtected, isPublic, isStatic

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

JField

public JField(JClass declaringClass,
 String name,
 Set<Modifier> modifiers,
 Type type,
 @Nullable
 ReferenceTypeGSignature gSignature,
 AnnotationHolder annotationHolder)

Method Details

getType

public Type getType()

getGSignature

@Nullable
@Experimental
public ReferenceTypeGSignature getGSignature()

getRef

public FieldRef getRef()

Returns:

the FieldRef pointing to this field.

toString

public String toString()

Overrides:

toString in class ClassMember