randoop.output

Class MinimizerWriter

java.lang.Object

randoop.output.MinimizerWriter

All Implemented Interfaces:

CodeWriter

public class MinimizerWriter
extends java.lang.Object
implements CodeWriter

A CodeWriter that, for an error-revealing test class, writes both the original and minimized class. Minimizes the methods of the test class using Minimize.mainMinimize(Path, String, int, boolean).

Field Summary

Fields

Modifier and Type	Field and Description
private JavaFileWriter	javaFileWriter The JavaFileWriter used to write classes.

Constructor Summary

Constructors

Constructor and Description
MinimizerWriter(JavaFileWriter javaFileWriter) Creates a MinimizerWriter using the given JavaFileWriter.

Method Summary

Modifier and Type	Method and Description
java.nio.file.Path	writeClassCode(java.lang.String packageName, java.lang.String classname, java.lang.String classCode) Writes the given class using this CodeWriter.
java.nio.file.Path	writeUnmodifiedClassCode(java.lang.String packageName, java.lang.String classname, java.lang.String classCode) Writes the given class.

Methods inherited from class java.lang.Object

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

Field Detail

javaFileWriter

private final JavaFileWriter javaFileWriter

The JavaFileWriter used to write classes.

Constructor Detail

MinimizerWriter

public MinimizerWriter(JavaFileWriter javaFileWriter)

Creates a MinimizerWriter using the given JavaFileWriter.

Parameters:

javaFileWriter - the JavaFileWriter for writing the classes

Method Detail

writeClassCode

public java.nio.file.Path writeClassCode(java.lang.String packageName,
                                         java.lang.String classname,
                                         java.lang.String classCode)
                                  throws RandoopOutputException

Writes the given class using this CodeWriter. May modify the class text before writing it. May write additional files (but those are not returned).

Writes both the original class and the minimized class. Returns the original class.

Specified by:

writeClassCode in interface CodeWriter

Parameters:

packageName - the package name of the class

classname - the simple name of the class

classCode - the text of a Java class, must be compilable

Returns:

the Path object for the Java file written

Throws:

RandoopOutputException - if there is an error while writing the code

writeUnmodifiedClassCode

public java.nio.file.Path writeUnmodifiedClassCode(java.lang.String packageName,
                                                   java.lang.String classname,
                                                   java.lang.String classCode)
                                            throws RandoopOutputException

Description copied from interface: CodeWriter

Writes the given class. Does not modify the class text.

Specified by:

writeUnmodifiedClassCode in interface CodeWriter

Parameters:

packageName - the package name of the class

classname - the simple name of the class

classCode - the text of the class to be written, must be compilable

Returns:

the Path object for the Java file written

Throws:

RandoopOutputException - if there is an error while writing the code