JET

Uses of Interface
edu.utep.cs.jet.gui.SourceCodeViewer

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

JET is Copyright (C) 2005-2008 by The University of Texas at El Paso and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.