Package daikon.split

Class SplitterFactory

Object

SplitterFactory

public class SplitterFactory
extends Object

This class contains static methods parse_spinfofile(File) which creates Splitterss from a .spinfo file, and load_splitters(daikon.PptTopLevel, java.util.List<daikon.split.SpinfoFile>) which loads the splitters for a given Ppt.

Field Summary

Fields

Modifier and Type	Field	Description
static Logger	debug
static int	dkconfig_compile_timeout	Positive integer.
static String	dkconfig_compiler	String.
static boolean	dkconfig_delete_splitters_on_exit	Boolean.

Method Summary

Modifier and Type	Method	Description
static String	getTempDir()
static void	load_splitters(PptTopLevel ppt, List<SpinfoFile> spfiles)	Finds the splitters that apply to a given Ppt and loads them (that is, it populates SplitterList).
static SpinfoFile	parse_spinfofile(File infofile)	Parses the Splitter info.

Methods inherited from class Object

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

Field Detail

debug

public static final Logger debug

dkconfig_delete_splitters_on_exit

public static boolean dkconfig_delete_splitters_on_exit

Boolean. If true, the temporary Splitter files are deleted on exit. Set it to "false" if you are debugging splitters.

dkconfig_compiler

public static String dkconfig_compiler

String. Specifies which Java compiler is used to compile Splitters. This can be the full path name or whatever is used on the command line. Uses the current classpath.

dkconfig_compile_timeout

public static int dkconfig_compile_timeout

Positive integer. Specifies the Splitter compilation timeout, in seconds, after which the compilation process is terminated and retried, on the assumption that it has hung.

Method Detail

parse_spinfofile

public static SpinfoFile parse_spinfofile(File infofile)
                                   throws IOException,
                                          FileNotFoundException

Parses the Splitter info.

Parameters:

infofile - filename.spinfo

Returns:

a SpinfoFile encapsulating the parsed splitter info file

Throws:

IOException

FileNotFoundException

load_splitters

@RequiresNonNull("tempdir")
public static void load_splitters(PptTopLevel ppt,
                                  List<SpinfoFile> spfiles)

Finds the splitters that apply to a given Ppt and loads them (that is, it populates SplitterList).

Parameters:

ppt - the Ppt

spfiles - a list of SpinfoFiles

getTempDir

public static String getTempDir()