gov.nasa.jpf.listener

Class NullTracker.MethodSource

java.lang.Object

gov.nasa.jpf.listener.NullTracker.NullSource

gov.nasa.jpf.listener.NullTracker.MethodSource

Direct Known Subclasses:

NullTracker.CtorSource

Enclosing class:

NullTracker

public static class NullTracker.MethodSource
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
MethodSource(ThreadInfo ti, InstructionInterface returnInsn, InvokeInstruction call, 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

MethodSource

public MethodSource(ThreadInfo ti,
                    InstructionInterface returnInsn,
                    InvokeInstruction call,
                    ElementInfo ei)