gov.nasa.jpf.vm

Class GenericHeap.ElementInfoMarker

java.lang.Object

gov.nasa.jpf.vm.GenericHeap.ElementInfoMarker

All Implemented Interfaces:

Processor<ElementInfo>

Enclosing class:

GenericHeap

protected class GenericHeap.ElementInfoMarker
extends Object
implements Processor<ElementInfo>

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	GenericHeap.ElementInfoMarker()

Method Summary

Methods

Modifier and Type	Method and Description
void	process(ElementInfo ei)

Methods inherited from class java.lang.Object

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

Constructor Detail

GenericHeap.ElementInfoMarker

protected GenericHeap.ElementInfoMarker()

Method Detail

process

public void process(ElementInfo ei)

Specified by:

process in interface Processor<ElementInfo>