|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
CFG to the current .cf file, using the
method name or signature associated with the given CFG
object.
CFG to the current .map file, using the
method name or signature associated with the given CFG
object.
main method, if necessary, to prevent
unhandled exceptions from being thrown.
SemanticEventDispatcher to
generate all possible events.SemanticEventDispatcher to
generate all possible module events.if branches are selected.
if branches are selected.
switch branches are selected.
switch branches are selected.
throws branches are selected.
throws branches are selected.
SemanticEventDispatcher to dispatch
events for atomicity checking.java.lang.Object).
ProgramEventDispatcher multiple times with
different subjects and/or configurations within the same JVM.Instrumentor.Instrumentor(String[]).
Instrumentor.Instrumentor(String[]).
NodeComparer which uses the bytecode
instruction lists of two nodes to compare them for equivalence.System.out).
call branch was executed.
System.out).
EventFilter.main method.
<clinit> method).
System.out).ProgramEventDispatcher when it is executed with
another ProgramEventDispatcher as its subject.ProgramEventDispatcher using a coverage
processing strategy during dispatch of coverage events for a particular
method.ProgramEventDispatcher.Filter
class.
SequenceFilter class.
BranchFilter class.
BranchSequenceFilter class.
SemanticEventDispatcher.
ProgramUnit from an output stream.
SemanticEventDispatcher.entry branch was executed.
NEW instruction, but not yet initialized
by a constructor.EventListener methods, thus discarding the events.SemanticEventDispatcher.java.lang.Class objects.
JUnitEventDispatcher.getObjectArray(java.lang.String, int);
this method is retained for backwards compatibility with previous
instrumentation.
null).
null).
null).
null).
null).
null).
null).
null).
null).
null).
CFG for a method.
CFG for a method.
CFG for a method.
CFG for a method.
NodeComparer.setComparisonClass(sofya.apps.dejavu.ClassPair).
SConstants.INST_COMPATIBLE
SConstants.INST_OPT_NORMAL
SConstants.INST_OPT_SEQUENCE
InstructionList.
InstructionList.
java.util.List
(unmodifiable).
com.sun.jdi).
java.lang.Class for the method's return type.
java.util.List
(unmodifiable).
this" that will be
available in the called method, or null if the call
is static.
if branch was executed.
ATHROW instructions.
SocketProbe.finish unconditionally at
the exit points of the specified method.
SocketProbe.finish()
immediately prior to any return instruction in the method.
SocketProbe.start(int,int,boolean,boolean,int)
at beginning of method.
SocketProbe.start unconditionally at
the beginning of the specified method.
.prog' file.
.prog.irg') files in the Sofya database.JUnitEventDispatcher to receive probes received from a subject
instrumented for execution in a JUnit test runner and dispatch them
as events.JustIce verifier.-merge' with appropriate values.
System.out).
if branches.
switch branches.
throw branches.
Graph.getEdges(Node,int,Edge[]), specifies that
incoming edges to the node will be matched.
Graph.getEdges(Node,int,Edge[]), specifies that
outgoing edges from the node will be matched.
Method object.
MethodGen object.
InvokeInstruction
object.
compare method.