---

Area Class Reference

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

Public Methods
	Area (KernelState ks, boolean s)
void	backtrackTo (ArrayOffset storing, Object backtrack)
int	count ()
ElementInfo	get (int index)
Object	getBacktrackData ()
int[]	getStoringData ()
void	hash (HashData hd)
int	hashCode ()
void	removeAll ()
Public Attributes
KernelState	ks
boolean	isStatic
BitSet	hasChanged
boolean	anyChanged
int[]	data
Protected Methods
	Area (Area a)
void	add (int index, ElementInfo e)
void	remove (int index)
Protected Attributes
ElementInfo[]	elements
Private Attributes
int	nElements
int	lastElement
Static Private Attributes
final int	delta = 2

---

Detailed Description

This class defines an area. An area can be used for objects in the DynamicArea or classes in the StaticArea.

Definition at line 10 of file Area.java.

---

Member Data Documentation

boolean Area::anyChanged

Set if any element is changed (includes has been added or removed) Definition at line 45 of file Area.java.

int [] Area::data

Contains the data from the last call to get storing data. Definition at line 50 of file Area.java.

final int Area::delta = 2 [static, private]

The number of entries per element. Definition at line 59 of file Area.java.

ElementInfo [] Area::elements [protected]

Contains the information for each element. Definition at line 14 of file Area.java.

BitSet Area::hasChanged

Set of bits used to see which elements has changed. Definition at line 40 of file Area.java.

boolean Area::isStatic

True if it's the static area. Definition at line 35 of file Area.java.

KernelState Area::ks

Reference of the kernel state this dynamic area is in. Definition at line 30 of file Area.java.

int Area::lastElement [private]

Last used element. Definition at line 25 of file Area.java.

int Area::nElements [private]

The number of elements. It can differ from the size of the elements array. Definition at line 20 of file Area.java.

---

The documentation for this class was generated from the following file:

• Area.java

---