gov.nasa.jpf.listener

Class NullTracker.CtorSource

java.lang.Object

gov.nasa.jpf.listener.NullTracker.NullSource

gov.nasa.jpf.listener.NullTracker.MethodSource

gov.nasa.jpf.listener.NullTracker.CtorSource

Enclosing class:

NullTracker

public static class NullTracker.CtorSource
extends NullTracker.MethodSource

Field Summary

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

cause, ei, insn, ti

Constructor Summary

Constructors

Constructor and Description
CtorSource(ThreadInfo ti, Instruction 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

CtorSource

public CtorSource(ThreadInfo ti,
                  Instruction returnInsn,
                  InvokeInstruction call,
                  ElementInfo ei)