Collection Interface Reference

Inheritance diagram for Collection:[legend]Collaboration diagram for Collection:[legend]List of all members.

Public Methods
boolean	add (Object o) throws UnsupportedOperationException, ClassCastException, IllegalArgumentException
boolean	addAll (Collection c) throws UnsupportedOperationException, ClassCastException, IllegalArgumentException
void	clear () throws UnsupportedOperationException
boolean	contains (Object o)
boolean	containsAll (Collection c)
boolean	equals (Object o)
int	hashCode ()
boolean	isEmpty ()
Iterator	iterator ()
boolean	remove (Object o) throws UnsupportedOperationException
boolean	removeAll (Collection c) throws UnsupportedOperationException
boolean	retainAll (Collection c) throws UnsupportedOperationException
int	size ()
Object[]	toArray ()
void	toArray (Object[] a)
	Collection (Type baseType, ConstExpr size)
void	apply (TypeSwitch sw, Object o)
Expr	defaultVal ()
Type	getBaseType ()
int	getExtent ()
ConstExpr	getSize ()
boolean	isKind (int kind)
String	toString ()
Private Attributes
Type	baseType
ConstExpr	size

Detailed Description

An collection type.

A collection represents a bounded heap that can contain up to a fixed number of entities of a given type (the base type).

Collections are top-level types---a state variable can be a collection, but not an array slot or record field (nor can collections be nested).

boolean Collection::equals ( Object o )

Returns:
boolean
Parameters:

otherType java.lang.Object

Reimplemented from Type.
Referenced by SootClass::declaresMethod(), SootClass::getMethod(), and BuildPDG::getRefsWithCommonField().

ConstExpr Collection::getSize ( ) [inline]

Returns:
stack size of this type (2 for long and double, 0 for void, 1 otherwise)

Reimplemented from Type.
Definition at line 72 of file edu/ksu/cis/bandera/bir/Collection.java.
Referenced by SmvTypeDecl::caseCollection().

String Collection::toString ( ) [inline]

Returns:
Type string, e.g. `int[]'

Reimplemented from Type.
Definition at line 77 of file edu/ksu/cis/bandera/bir/Collection.java.

The documentation for this interface was generated from the following files:

Generated at Thu Feb 7 07:06:59 2002 for Bandera by