|
|||||||||
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 |