/** @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; } }