|
JET | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use SourceCodeViewer | |
|---|---|
| edu.utep.cs.jet.gui | Contains the source code for a graphics user interface to the JML-based unit testing tool for Java. |
| edu.utep.cs.jet.gui.output | Contains the source code for the output console. |
| edu.utep.cs.jet.gui.tester | Contains the source code to interface with an external test case generation tool. |
| Uses of SourceCodeViewer in edu.utep.cs.jet.gui |
|---|
| Methods in edu.utep.cs.jet.gui with parameters of type SourceCodeViewer | |
|---|---|
void |
OutputTextArea.setSourceCodeViewer(SourceCodeViewer viewer)
Sets the the source code viewer to locate and highlight the source code lines corresponding to the error messages printed on this outputer. |
| Uses of SourceCodeViewer in edu.utep.cs.jet.gui.output |
|---|
| Methods in edu.utep.cs.jet.gui.output with parameters of type SourceCodeViewer | |
|---|---|
void |
Outputer.setSourceCodeViewer(SourceCodeViewer viewer)
Sets the the source code viewer to locate and highlight the source code lines corresponding to the error messages printed on this outputer. |
| Uses of SourceCodeViewer in edu.utep.cs.jet.gui.tester |
|---|
| Methods in edu.utep.cs.jet.gui.tester with parameters of type SourceCodeViewer | |
|---|---|
void |
Tester.setSourceCodeViewer(SourceCodeViewer viewer)
Sets the the source code viewer to locate and highlight the source code lines corresponding to the error messages obtained from the test case generation tool. |
void |
DefaultTester.setSourceCodeViewer(SourceCodeViewer viewer)
Sets the the source code viewer to locate and highlight the source code lines corresponding to the error messages obtained from the test case generation tool. |
|
JET | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||