UTJML

edu.utep.cs.utjml.canica.tool
Class TestingTools

java.lang.Object
  extended by edu.utep.cs.utjml.canica.tool.TestingTools

public class TestingTools
extends Object

The TestingTools class is responsible to provide services to execute the tools of the UTJML tools System. IT should execute the tools and display the output to the Canica output.

Author:
Angelica B Perez April 29th, 2006

Nested Class Summary
protected static interface TestingTools.Commandable
          An interface to the commands that can be run as separate threads.
 
Constructor Summary
TestingTools(OutputPaneable output, Mainable canica)
           
 
Method Summary
 void doCheckJML(File activeEditingFile)
          It calls the JML tool to check the JML syntax of the file
 void doCompileJML(File activeEditingFile)
          It compiles a Java file using JMLC2
 void doCompileJMLforTest(File activeEditingFile)
          It compiles a Java file before testing, using JMLC2
protected  boolean runCommand(File currentFile, TestingTools.Commandable cmd, String[] args, String beforeMsg, String afterMsg, boolean refresh)
          Runs the given command cmd by supplying the given arguments args.
 void runTest(Class classfile)
          It runs the Class file test provided.
 void runTest(String classpathfile)
          It runs the classpathfile test provided.
 boolean runTgen(File activeEditingFile)
          It calls the Test generation tools to generate Test generation to the active edting file.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TestingTools

public TestingTools(OutputPaneable output,
                    Mainable canica)
Method Detail

runTest

public void runTest(String classpathfile)
It runs the classpathfile test provided.

Parameters:
classpathfile - Test name

runTest

public void runTest(Class classfile)
It runs the Class file test provided.

Parameters:
Class - file Test name

doCheckJML

public void doCheckJML(File activeEditingFile)
It calls the JML tool to check the JML syntax of the file

Parameters:
activeEditingFile - File to check syntax

doCompileJML

public void doCompileJML(File activeEditingFile)
It compiles a Java file using JMLC2

Parameters:
activeEditingFile - Is the active file in the JML editor.

doCompileJMLforTest

public void doCompileJMLforTest(File activeEditingFile)
It compiles a Java file before testing, using JMLC2

Parameters:
activeEditingFile - Is the active file in the JML editor.

runTgen

public boolean runTgen(File activeEditingFile)
It calls the Test generation tools to generate Test generation to the active edting file.

Parameters:
activeEditingFile - Currently edited file.
Returns:

runCommand

protected boolean runCommand(File currentFile,
                             TestingTools.Commandable cmd,
                             String[] args,
                             String beforeMsg,
                             String afterMsg,
                             boolean refresh)
Runs the given command cmd by supplying the given arguments args.

Parameters:
beforeMsg - Message to be printed before executing the command.
afterMsg - Message to be printed after executing the command.
refresh - True if the directory browser needs to be refreshed upon the completion of the command. Yoonsik Cheon

UTJML

UTJML is Copyright (C) 2004-2006 by 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. This release depends on code from the JML project.