@@ -0,0 +1,1363 @@
+package edu.iastate.cs.design.spec.common;%0A%0Aimport java.util.List;%0A%0A/**%0A * This class will represent a specification for a specific method on a class. For now, we will represent the%0A * specifications as strings. If the specifications need to be more strongly modeled later, we change them to objects.%0A */%0Apublic class Specification %7B%0A%0A    private String fullPackageName;%0A    private String className;%0A    private String methodName;%0A    private List%3CString%3E preconditions;%0A    private List%3CString%3E postconditions;%0A%0A    public Specification(String fullPackageName,%0A                         String className,%0A                         String methodName,%0A                         List%3CString%3E preconditions,%0A                         List%3CString%3E postconditions) %7B%0A        this.fullPackageName = fullPackageName;%0A        this.className = className;%0A        this.methodName = methodName;%0A        this.preconditions = preconditions;%0A        this.postconditions = postconditions;%0A    %7D%0A%0A    public String getFullPackageName() %7B%0A        return fullPackageName;%0A    %7D%0A%0A    public String getClassName() %7B%0A        return className;%0A    %7D%0A%0A    public String getMethodName() %7B%0A        return methodName;%0A    %7D%0A%0A    public List%3CString%3E getPreconditions() %7B%0A        return preconditions;%0A    %7D%0A%0A    public List%3CString%3E getPostconditions() %7B%0A        return postconditions;%0A    %7D%0A%7D%0A

Add initial Specification class. Specs are just strings for now.