com.ibm.wala.demandpa.util

Class ArrayContents

java.lang.Object

com.ibm.wala.demandpa.util.ArrayContents

All Implemented Interfaces:

IField, IMember, IClassHierarchyDweller

public class ArrayContents
extends java.lang.Object
implements IField

Pseudo-field modelling the contents of an array of reference type. Only for convenience; many of the methods don't actually work. Also, a singleton.

Method Summary

Modifier and Type	Method and Description
java.util.Collection<Annotation>	getAnnotations() Get the annotations on this member, if any
ClassHierarchy	getClassHierarchy()
IClass	getDeclaringClass() Return the object that represents the declaring class for this member.
TypeReference	getFieldTypeReference()
Atom	getName()
FieldReference	getReference()
boolean	isFinal() Is this field final?
boolean	isPrivate()
boolean	isProtected()
boolean	isPublic()
boolean	isStatic() Is this member static?
boolean	isVolatile() Is this member volatile?
java.lang.String	toString()
static ArrayContents	v()

Methods inherited from class java.lang.Object

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

Method Detail

v

public static final ArrayContents v()

getFieldTypeReference

public TypeReference getFieldTypeReference()
                                    throws com.ibm.wala.util.debug.UnimplementedError

Specified by:

getFieldTypeReference in interface IField

Returns:

the canonical TypeReference of the declared type of the field

Throws:

com.ibm.wala.util.debug.UnimplementedError

isFinal

public boolean isFinal()
                throws com.ibm.wala.util.debug.UnimplementedError

Description copied from interface: IField

Is this field final?

Specified by:

isFinal in interface IField

Throws:

com.ibm.wala.util.debug.UnimplementedError

isPrivate

public boolean isPrivate()
                  throws com.ibm.wala.util.debug.UnimplementedError

Specified by:

isPrivate in interface IField

Throws:

com.ibm.wala.util.debug.UnimplementedError

isProtected

public boolean isProtected()
                    throws com.ibm.wala.util.debug.UnimplementedError

Specified by:

isProtected in interface IField

Throws:

com.ibm.wala.util.debug.UnimplementedError

isPublic

public boolean isPublic()
                 throws com.ibm.wala.util.debug.UnimplementedError

Specified by:

isPublic in interface IField

Throws:

com.ibm.wala.util.debug.UnimplementedError

isStatic

public boolean isStatic()
                 throws com.ibm.wala.util.debug.UnimplementedError

Description copied from interface: IMember

Is this member static?

Specified by:

isStatic in interface IField

Specified by:

isStatic in interface IMember

Throws:

com.ibm.wala.util.debug.UnimplementedError

getDeclaringClass

public IClass getDeclaringClass()
                         throws java.lang.UnsupportedOperationException

Description copied from interface: IMember

Return the object that represents the declaring class for this member.

Specified by:

getDeclaringClass in interface IMember

Returns:

the object that represents the declaring class for this member.

Throws:

java.lang.UnsupportedOperationException

getName

public Atom getName()
             throws com.ibm.wala.util.debug.UnimplementedError

Specified by:

getName in interface IMember

Returns:

the name of this member

Throws:

com.ibm.wala.util.debug.UnimplementedError

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isVolatile

public boolean isVolatile()

Description copied from interface: IField

Is this member volatile?

Specified by:

isVolatile in interface IField

getClassHierarchy

public ClassHierarchy getClassHierarchy()
                                 throws com.ibm.wala.util.debug.UnimplementedError

Specified by:

getClassHierarchy in interface IClassHierarchyDweller

Throws:

com.ibm.wala.util.debug.UnimplementedError

getReference

public FieldReference getReference()

Specified by:

getReference in interface IField

Returns:

canonical FieldReference representing this field

getAnnotations

public java.util.Collection<Annotation> getAnnotations()

Description copied from interface: IMember

Get the annotations on this member, if any

Specified by:

getAnnotations in interface IMember