com.ibm.wala.util.intset
Class TwoLevelIntVector

java.lang.Object
  com.ibm.wala.util.intset.TwoLevelIntVector

All Implemented Interfaces:

IntVector

public class TwoLevelIntVector
extends java.lang.Object
implements IntVector

an int vector implementation which delegates to pages of int vectors.

Method Summary

int	get(int x)
int	getMaxIndex()
void	performVerboseAction()
void	set(int x, int value)

Methods inherited from class java.lang.Object

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

Method Detail

get

public int get(int x)

Specified by:

get in interface IntVector

set

public void set(int x,
                int value)

Specified by:

set in interface IntVector

performVerboseAction

public void performVerboseAction()

getMaxIndex

public int getMaxIndex()

Specified by:

getMaxIndex in interface IntVector

Returns:

max i s.t set(i) was called.