gov.nasa.jpf.vm

Class ClassLoaderList

java.lang.Object

gov.nasa.jpf.vm.ClassLoaderList

All Implemented Interfaces:

Restorable<ClassLoaderList>, Cloneable, Iterable<ClassLoaderInfo>

public class ClassLoaderList
extends Object
implements Cloneable, Iterable<ClassLoaderInfo>, Restorable<ClassLoaderList>

container for all ClassLoaderInfos that are in the current state. It is important to keep this as canonically (search globally) sorted list so that we can use the iterator for state matching

Constructor Summary

Constructors

Constructor and Description
ClassLoaderList()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(ClassLoaderInfo cli)
ClassLoaderInfo	get(int i)
ClassLoaderInfo	getClassLoaderInfoWithId(int id)
Memento<ClassLoaderList>	getMemento()
Memento<ClassLoaderList>	getMemento(MementoFactory factory)
Iterator<ClassLoaderInfo>	iterator()
void	markRoots(Heap heap)
int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassLoaderList

public ClassLoaderList()

Method Detail

getMemento

public Memento<ClassLoaderList> getMemento(MementoFactory factory)

Specified by:

getMemento in interface Restorable<ClassLoaderList>

getMemento

public Memento<ClassLoaderList> getMemento()

iterator

public Iterator<ClassLoaderInfo> iterator()

Specified by:

iterator in interface Iterable<ClassLoaderInfo>

add

public void add(ClassLoaderInfo cli)

get

public ClassLoaderInfo get(int i)

getClassLoaderInfoWithId

public ClassLoaderInfo getClassLoaderInfoWithId(int id)

size

public int size()

markRoots

public void markRoots(Heap heap)