|
UTJML | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
elem, and assigns it
to the i-th element of the given array, array.
elem, and assigns it
to the i-th element of the given array, array.
CallSeqMethod object.
value.
args, and returns true if the test
cases are successfully generated.
args, and returns true if the test
cases are successfully generated.
args, and returns true if the test
cases are successfully generated.
args, and returns true if the test
cases are successfully generated.
get method.
c from being resized smaller than the width
w and the height h.
-X.
-X.
oldTask, completes.
oldTask, completes.
stdout if the debug
flag Constants.DEBUG is true; otherwise, do nothing.
type.
type.
jmlOptions, to the given
arugment so that typechecking routines can access command-line
options.
construct method has returned.
cdecl.
cdecl.
cdecl.
cdecl.
mdecl.
mdecl.
construct method.
name.
MjcCommonOptions so
it can be assigned to the options variable in
mjc's Main.
MjcCommonOptions so
it can be assigned to the options variable in
mjc's Main.
RacNode that wraps the given
statement, stmt, inside a try-catch statement to
guard against undefinedness caused by runtime exceptions and
non-executable expression.
-Xc, coverage, is
specified.
-Xcs, call sequence, is
specified.
-Xlc, long coverage, is
specified.
-Xtgen, test case generation, is
specified.
true if the argument is a main method.
true if the argument is a main method.
JMLAutomata object.
JMLAutomata object when the location
of the call sequence is not known.
JMLCallSequenceError instance.
JMLCallSequenceError instance.
exprId, was evaluated to the given value,
val.
exprId, was evaluated to an undefined value.
rows * cols
components of parent in
a grid.
rows * cols
components of parent in
a grid.
file for editing by this
editor.
file for editing.
msg to this text area.
msg to this text area.
msg to this output
area.
clazz.
clazz.
context and pushes the
instance onto a stack for recycling.
cmd in the directory
dir by wiring all output and error messages to
the message pane of the tool utjml.
cmd by supplying the given
arguments args.
file.
file.
construct method
and then exit.
TransCallSequence object.
call_sequence clause in the
context in which it appears.
TransClass object.
UtTransInterface object.
pred.
|
UTJML | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||