gov.nasa.jpf.listener

Class NullTracker.FieldSource

java.lang.Object

gov.nasa.jpf.listener.NullTracker.NullSource

gov.nasa.jpf.listener.NullTracker.FieldSource

Enclosing class:

NullTracker

public static class NullTracker.FieldSource
extends NullTracker.NullSource

Field Summary

Fields inherited from class gov.nasa.jpf.listener.NullTracker.NullSource

cause, ei, insn, ti

Constructor Summary

Constructors

Constructor and Description
FieldSource(ThreadInfo ti, FieldInstruction insn, ElementInfo ei)

Method Summary

Methods inherited from class gov.nasa.jpf.listener.NullTracker.NullSource

setCause

Methods inherited from class java.lang.Object

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

Constructor Detail

FieldSource

public FieldSource(ThreadInfo ti,
                   FieldInstruction insn,
                   ElementInfo ei)