Java Coding Assignment
META-INF/MANIFEST.MF
Manifest-Version: 1.0 Created-By: 11.0.1 (Oracle Corporation) Main-Class: example.SpecChecker
.DS_Store
hw1/Generate.class
package hw1; public synchronized class Generate { public void Generate(); }
hw1/SpecChecker$1.class
package hw1; synchronized class SpecChecker$1 implements Runnable { void SpecChecker$1(); public void run(); }
hw1/SpecChecker.class
package hw1; public synchronized class SpecChecker { private WirelessPrinter printer; private WirelessPrinter printer2; private static final double EPSILON = 1.0E-6; public void SpecChecker(); public static void main(String[]); public void initializationError(); public void setup(); public void testInitial1(); public void testInitial2(); public void testInitial3(); public void testInitial4(); public void testInitial5(); public void testInitial6(); public void testInitial7(); public void testInitial8(); public void testInitial9(); public void testInitial10(); public void testOn1(); public void testOn2(); public void testOn3(); public void testOn4(); public void testOn5(); public void testPrint1(); public void testPrint2(); public void testPrint3(); public void testPrint4(); public void testPrint5(); public void testPrint6(); public void testPrint7(); public void testPrint8(); public void testPrint9(); public void testPrint10(); public void testPrint11(); public void testPrint12(); public void testPrint13(); public void testPrint14(); public void testPrint15(); public void testPrint16(); public void testPrint17(); public void testOverPrint1(); public void testOverPrint2(); public void testOverPrint3(); public void testOverPrint4(); public void testOverPrint5(); public void testOverPrint6(); public void testOverPrint7(); public void testOverPrint8(); public void testLoad1(); public void testLoad2(); public void testLoad3(); public void testLoad4(); public void testLoad5(); public void testCartrige1(); public void testCartrige2(); public void testCartrige3(); public void testDisconnect1(); public void testDisconnect2(); public void testDisconnect3(); public void testDisconnect4(); public void testDisconnect5(); public static String getModifierDiff(int, int); private static String getTypesList(Class[]); public void testForClasses() throws Exception; public void testHw1WirelessPrinter() throws Exception; }
speccheck/desktop.ini
[.ShellClassInfo] InfoTip=This folder is shared online. IconFile=C:\Program Files\Google\Drive\googledrivesync.exe IconIndex=16
speccheck/LatestSpecCheckClassLoader.class
package speccheck; public synchronized class LatestSpecCheckClassLoader extends java.net.URLClassLoader { public void LatestSpecCheckClassLoader(String) throws java.net.MalformedURLException; public Class loadClass(String) throws ClassNotFoundException; }
speccheck/SpecCheck$1.class
package speccheck; synchronized class SpecCheck$1 extends SecurityManager { void SpecCheck$1(); public void checkPermission(java.security.Permission); }
speccheck/SpecCheck$2.class
package speccheck; synchronized class SpecCheck$2 implements Runnable { void SpecCheck$2(Class, String, String, String[]); public void run(); }
speccheck/SpecCheck.class
package speccheck; public synchronized class SpecCheck { public static final SecurityManager noExit; static void <clinit>(); private void SpecCheck(); public static String grade(Class); public static String test(Class); public static String test(Class, String, int); public static transient void testAndZip(Class, String, String, String[]); private static transient void testAndZipHelper(Class, String, String, String[]); public static transient void run(Class, String, String, java.io.File, String[]); private static boolean zip(String, String[], String) throws java.io.IOException; private static boolean addSourceFile(String, String, java.util.zip.ZipOutputStream, byte[]) throws java.io.IOException; public static boolean hasOccludingSpecCheckers(String); }
speccheck/SpecCheckEvaluator$1.class
package speccheck; synchronized class SpecCheckEvaluator$1 extends java.io.OutputStream { void SpecCheckEvaluator$1(); public void write(int); }
speccheck/SpecCheckEvaluator.class
package speccheck; public synchronized class SpecCheckEvaluator { public void SpecCheckEvaluator(); public static String evaluateTests(Class, String, int); }
speccheck/SpecCheckGenerator$ModifierName.class
package speccheck; final synchronized enum SpecCheckGenerator$ModifierName { public static final SpecCheckGenerator$ModifierName Public; public static final SpecCheckGenerator$ModifierName Private; public static final SpecCheckGenerator$ModifierName Protected; public static final SpecCheckGenerator$ModifierName Final; public static final SpecCheckGenerator$ModifierName Interface; public static final SpecCheckGenerator$ModifierName Abstract; public static final SpecCheckGenerator$ModifierName Static; static void <clinit>(); private void SpecCheckGenerator$ModifierName(String, int); public static SpecCheckGenerator$ModifierName[] values(); public static SpecCheckGenerator$ModifierName valueOf(String); }
speccheck/SpecCheckGenerator.class
package speccheck; public synchronized class SpecCheckGenerator { public void SpecCheckGenerator(); public transient void testClasses(String[]) throws ClassNotFoundException; public transient void genClassExistenceTest(String[]); private void genClassTest(String) throws ClassNotFoundException; private void genFieldCountTest(String) throws ClassNotFoundException; private void genClassModifiersTest(String) throws ClassNotFoundException; private void genClassSuperTest(String) throws ClassNotFoundException; private void genClassInterfacesTest(String) throws ClassNotFoundException; private void genUnspecifiedMethodsTests(String, reflect.Method[]); private void genUnspecifiedConstructorsTests(String, reflect.Constructor[]) throws ClassNotFoundException; private void genUnspecifiedFieldsTests(String, reflect.Field[]) throws ClassNotFoundException; private void genSpecifiedMethodsTests(String, reflect.Method[]); private void genSpecifiedConstructorsTests(String, reflect.Constructor[]); private void genSpecifiedFieldsTests(String, reflect.Field[]); private static void checkModifier(SpecCheckGenerator$ModifierName); private static void genModifierCompare(); private static String getReadableClassName(String); private static String getTypesList(Class[]); private static void genGetTypesList(); }
speccheck/SpecCheckRunListener.class
package speccheck; public synchronized class SpecCheckRunListener extends org.junit.runner.notification.RunListener { private java.util.HashMap testToResults; private java.util.HashMap testToMsg; private int nPointsPossible; public void SpecCheckRunListener(); public void testStarted(org.junit.runner.Description); public void testFailure(org.junit.runner.notification.Failure); public String getMsg(org.junit.runner.notification.Failure); public int getScore(); public int getScorePossible(); }
speccheck/SpecCheckTest.class
package speccheck; public abstract interface SpecCheckTest extends annotation.Annotation { public abstract int nPoints(); public abstract int order(); public abstract String msg(); }
speccheck/SpecCheckTestComparator.class
package speccheck; synchronized class SpecCheckTestComparator implements java.util.Comparator { void SpecCheckTestComparator(); public int compare(org.junit.runner.Description, org.junit.runner.Description); }
speccheck/SpecCheckUtilities.class
package speccheck; public synchronized class SpecCheckUtilities { public static final boolean PRINT_STACK_TRACES = 1; public void SpecCheckUtilities(); public static reflect.Method getMethod(org.junit.runner.Description) throws SecurityException, NoSuchMethodException, ClassNotFoundException; public static String getClassName(org.junit.runner.Description); public static String getMethodName(org.junit.runner.Description); public static java.util.regex.Matcher methodStringMatcher(org.junit.runner.Description); public static void printPartialStackTrace(Throwable, String, java.io.PrintStream); }
speccheck/Specified.class
package speccheck; public abstract interface Specified extends annotation.Annotation { public abstract boolean checkSuper(); public abstract boolean allowUnspecifiedPublicDefaultCtor(); public abstract boolean allowUnspecifiedPublicConstants(); public abstract boolean allowUnspecifiedPublicStuff(); public abstract int maxVariableCount(); public abstract Class[] mustThrow(); public abstract Class[] mustNotThrow(); public abstract Class[] mustImplement(); }