|
UTJML | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use TcgObserver | |
|---|---|
| edu.utep.cs.utjml.tgen | |
| Uses of TcgObserver in edu.utep.cs.utjml.tgen |
|---|
| Fields in edu.utep.cs.utjml.tgen declared as TcgObserver | |
|---|---|
static TcgObserver |
Main.observer
|
| Methods in edu.utep.cs.utjml.tgen with parameters of type TcgObserver | |
|---|---|
static boolean |
Main.compile(String[] args,
TcgObserver observer,
OutputStream os)
Generates JML/JUnit test cases with the given argument, args, and returns true if the test
cases are successfully generated. |
|
UTJML | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||