/** @param loader The SplitterLoader used to load the compiled source. Must not be null. */
public void load(SplitterLoader loader) {
Class tempClass = loader.load_Class(className, directory + className + ".class");
if (tempClass != null) {
try {
splitter = (Splitter) tempClass.newInstance();
} catch (ClassFormatError ce) {
ce.printStackTrace(System.out);
} catch (InstantiationException ie) {
ie.printStackTrace(System.out);
} catch (IllegalAccessException iae) {
iae.printStackTrace(System.out);
}
DummyInvariant dummy = new DummyInvariant(null);
dummy.setFormats(
daikonFormat,
javaFormat,
escFormat,
simplifyFormat,
ioaFormat,
jmlFormat,
dbcFormat,
dummyDesired);
splitter.makeDummyInvariant(dummy);
errorMessage = "Splitter exists " + this.toString();
exists = true;
} else {
errorMessage =
"No class data for "
+ this.toString()
+ ", to be loaded from "
+ directory
+ className
+ ".class";
exists = false;
}
}
