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

java.lang.Object
  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