gov.nasa.jpf.vm

Class ClassLoaderList

java.lang.Object

gov.nasa.jpf.vm.ClassLoaderList

All Implemented Interfaces:

Restorable<ClassLoaderList>, java.lang.Cloneable, java.lang.Iterable<ClassLoaderInfo>

public class ClassLoaderList
extends java.lang.Object
implements java.lang.Cloneable, java.lang.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

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)
java.util.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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

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 java.util.Iterator<ClassLoaderInfo> iterator()

Specified by:

iterator in interface java.lang.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)