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

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 UnimplementedError

Specified by:

getFieldTypeReference in interface IField

Returns:

the canonical TypeReference of the declared type of the field

Throws:

UnimplementedError

isFinal

public boolean isFinal()
                throws UnimplementedError

Description copied from interface: IField

Is this field final?

Specified by:

isFinal in interface IField

Throws:

UnimplementedError

isPrivate

public boolean isPrivate()
                  throws UnimplementedError

Specified by:

isPrivate in interface IField

Throws:

UnimplementedError

isProtected

public boolean isProtected()
                    throws UnimplementedError

Specified by:

isProtected in interface IField

Throws:

UnimplementedError

isPublic

public boolean isPublic()
                 throws UnimplementedError

Specified by:

isPublic in interface IField

Throws:

UnimplementedError

isStatic

public boolean isStatic()
                 throws UnimplementedError

Description copied from interface: IMember

Is this member static?

Specified by:

isStatic in interface IField

Specified by:

isStatic in interface IMember

Throws:

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 UnimplementedError

Specified by:

getName in interface IMember

Returns:

the name of this member

Throws:

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 UnimplementedError

Specified by:

getClassHierarchy in interface IClassHierarchyDweller

Throws:

UnimplementedError

getReference

public FieldReference getReference()

Specified by:

getReference in interface IField

Returns:

canonical FieldReference representing this field