Java Coding Assignment
META-INF/MANIFEST.MF
Manifest-Version: 1.0 Created-By: 11.0.1 (Oracle Corporation) Main-Class: hw2.SpecChecker
.DS_Store
hw2/Generate.class
package hw2; public synchronized class Generate { public void Generate(); public static void main(String[]) throws ClassNotFoundException; }
hw2/SpecChecker$1.class
package hw2; synchronized class SpecChecker$1 implements Runnable { void SpecChecker$1(); public void run(); }
hw2/SpecChecker.class
package hw2; public synchronized class SpecChecker { private TennisMatch tm; public void SpecChecker(); public static void main(String[]); public void initializationError(); public void setup(); public void testInitial1(); public void testInitial3(); public void testInitial4(); public void testInitial7(); public void testInitial8(); public void testInitial9(); public void testInitial10(); public void testGame1a(); public void testGame1b(); public void testGame1c(); public void testGame1d(); public void testGame1e(); public void testGame2a(); public void testGame2b(); public void testGame2c(); public void testGame2d(); public void testGame2e(); public void testGame3a(); public void testGame3b(); public void testGame3c(); public void testGame3d(); public void testGame3e(); public void testGame4a(); public void testGame4b(); public void testGame4c(); public void testGame4d(); public void testGame4e(); public void testGame5a(); public void testGame5b(); public void testGame5c(); public void testGame5d(); public void testGame5e(); public static String getModifierDiff(int, int); private static String getTypesList(Class[]); public void testForClasses() throws Exception; public void testHw2TennisMatch() 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(); }