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 java.lang.Object
implements Processor<ElementInfo>

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ElementInfoMarker()

Method Summary

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

ElementInfoMarker

protected ElementInfoMarker()

Method Detail

process

public void process(ElementInfo ei)

Specified by:

process in interface Processor<ElementInfo>