gov.nasa.jpf.listener

Class NullTracker.NullSource

java.lang.Object

gov.nasa.jpf.listener.NullTracker.NullSource

Direct Known Subclasses:

NullTracker.FieldSource, NullTracker.LocalSource, NullTracker.MethodSource

Enclosing class:

NullTracker

public abstract static class NullTracker.NullSource
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
protected NullTracker.NullSource	cause
protected ElementInfo	ei
protected InstructionInterface	insn
protected ThreadInfo	ti

Method Summary

Modifier and Type	Method and Description
void	setCause(NullTracker.NullSource cause)

Methods inherited from class java.lang.Object

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

Field Detail

insn

protected InstructionInterface insn

ti

protected ThreadInfo ti

ei

protected ElementInfo ei

cause

protected NullTracker.NullSource cause

Method Detail

setCause

public void setCause(NullTracker.NullSource cause)