|
UTJML | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use TcgOptions | |
|---|---|
| edu.utep.cs.utjml.tgen | |
| Uses of TcgOptions in edu.utep.cs.utjml.tgen |
|---|
| Fields in edu.utep.cs.utjml.tgen declared as TcgOptions | |
|---|---|
static TcgOptions |
Main.tcgOptions
Command-line options. |
| Methods in edu.utep.cs.utjml.tgen with parameters of type TcgOptions | |
|---|---|
void |
TestClassGenerator.perform(Writer writer,
JCompilationUnit cunit,
TcgOptions options)
Generates a JML/JUnit test oracle class for the given compilation unit. |
| Constructors in edu.utep.cs.utjml.tgen with parameters of type TcgOptions | |
|---|---|
TestClassGenerator(TcgOptions options)
Constructs a new test oracle generator. |
|
TestDataClassGenerator(TcgOptions options)
Constructs a new test data class generator object. |
|
|
UTJML | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||