gov.nasa.jpf.listener

Class NullTracker.LocalSource

java.lang.Object

gov.nasa.jpf.listener.NullTracker.NullSource

gov.nasa.jpf.listener.NullTracker.LocalSource

Enclosing class:

NullTracker

public static class NullTracker.LocalSource
extends NullTracker.NullSource

Field Summary

Fields

Modifier and Type	Field and Description
protected LocalVarInfo	local

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

cause, ei, insn, ti

Constructor Summary

Constructors

Constructor and Description
LocalSource(ThreadInfo ti, LocalVariableInstruction insn, LocalVarInfo local)

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

Field Detail

local

protected LocalVarInfo local

Constructor Detail

LocalSource

public LocalSource(ThreadInfo ti,
                   LocalVariableInstruction insn,
                   LocalVarInfo local)