org.jmlspecs.jmlunit
Class Main.TestClassGenerationTask

java.lang.Object
  org.multijava.mjc.Main.Task
      org.multijava.mjc.Main.TreeProcessingTask
          org.jmlspecs.jmlunit.Main.TestClassGenerationTask

All Implemented Interfaces:

Comparable, Main.Trees

Enclosing class:

Main

public class Main.TestClassGenerationTask

extends Main.TreeProcessingTask

A task for generating JML/JUnit test oracle classes.

Field Summary

 

Fields inherited from class org.multijava.mjc.Main.TreeProcessingTask

passCompletedMessage, trees

 

Fields inherited from class org.multijava.mjc.Main.Task

 

Constructor Summary

Main.TestClassGenerationTask(CompilerPassEnterable[] trees, Object sequenceID)

 

Method Summary
private  boolean	isTestable(JCompilationUnit cunit)           Returns true if it is possible to generate test classes for the given compilation unit.
protected  void	processTree(CompilerPassEnterable tree)
private  boolean	testDataClassRequested(File file)

 

Methods inherited from class org.multijava.mjc.Main.TreeProcessingTask

execute, trees

 

Methods inherited from class org.multijava.mjc.Main.Task

compareTo, priority, sequenceID, setToMainSequenceID

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Constructor Detail

Main.TestClassGenerationTask

public Main.TestClassGenerationTask(CompilerPassEnterable[] trees,
                                    Object sequenceID)

isTestable

private boolean isTestable(JCompilationUnit cunit)

Returns true if it is possible to generate test classes for the given compilation unit. I.e., it has at least one type declaration (class or interface declaration).

processTree

protected void processTree(CompilerPassEnterable tree)

testDataClassRequested

private boolean testDataClassRequested(File file)