|
|||||||||
| 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.
Mutation.MutationGroup.TypeSignature values recording the formal argument
and return types.
NEW
instruction.
java.util.Iterator contract.
summary branch was executed.
true always, since there is no type codes argument
to this instrumentor.
System.out stream
JarOutputStream which disables the
close() method..prog.irg' file in the database directory.
prog.lst" file.
ProgramUnit to an output stream.
if branches are selected.
if branches are selected.
CFHandler.
switch branches are selected.
switch branches are selected.
throws branches are selected.
throws branches are selected.
ProgramEventDispatcher to receive probes received from a subject
communicating using a socket connection and dispatch them as events.System.out).
SocketProbe.start has
been inserted.
SocketProbe.start method reference added to
constant pool.
System.in,
provided for convenience.
switch branch was executed.
TraceHandler attached
to a ProgramEventDispatcher and uses it
to produce test history files for test subjects.TraceHandler attached
to a ProgramEventDispatcher and uses it
to produce test history files for test subjects.System.out and System.err).
System.out and System.err).
System.out and System.err).
System.out and System.err).
System.out).
throws branch was executed.
pendingTimeStamp and controls
notifications between threads.
pendingTimeStamp and controls
notifications between threads.
(nodeID, (nodeType, nodeSubType, nodeLabel),
[startOffset, endOffset]).
label: sourceNodeID -> sinkNodeID.
label: sourceNodeID -> sinkNodeID.
System.out).
CFGTransformer if it cannot
successfully apply its transformation for some reason.Type objects to their
corresponding java.lang.Class objects.
Type object to its corresponding
java.lang.Class.
System.out).
Object.wait().
.prog.irg' file in the database directory.
Node.getSuccessors(Node[]).
Graph.getEdges(Node,Node,Edge[]).
Graph.getEdges(Node,Node,Edge[]).
Node.getSuccessors(Node[]).
|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||