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 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.

Author:

manu

Method Summary

Methods

Modifier and Type	Method and Description
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?
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 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:

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 String toString()

Overrides:

toString in class 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 Collection<Annotation> getAnnotations()

Description copied from interface: IMember

Get the annotations on this member, if any

Specified by:

getAnnotations in interface IMember