package acl2s.lib.certify;
	
	import java.io.File;
	import java.io.IOException;
	import java.io.PrintWriter;
	
	import org.peterd.util.io.MiscIO;
	
	import acl2s.lib.parse.ParseException;
	import acl2s.lib.parse.obj.Sym;
	import acl2s.lib.session.BatchSession;
	
	public class Certifier {
		protected final File lispFile;
		protected final File certFile;
	
		protected final String fullBase;
		protected final String base;
		
		protected final CertificationSessionConfig config; 
		
		public Certifier(CertificationSessionConfig config) throws IllegalArgumentException {
			this.config = config;
			this.lispFile = config.getTarget();
			fullBase = MiscIO.removeFileExtension(lispFile.getAbsolutePath());
			base = MiscIO.removeFileExtension(lispFile.getName());
			certFile = new File(fullBase + ".cert");
		}
	
		public boolean certFileNewer() {
			return lispFile.exists() && certFileNewerThan(lispFile.lastModified());
		}
		
		public boolean certFileNewerThan(long time) {
			return certFile.exists() && certFile.lastModified() > time;
		}
		
		public boolean certFileAsNewAs(long time) {
			return certFile.exists() && certFile.lastModified() >= time;
		}
		
		public boolean certFileExists() {
			return certFile.exists();
		}
		
		public long getCertFileModificationTime() {
			return certFile.lastModified();
		}
		
		public void attemptRemoveCertFile() {
			certFile.delete();
		}
		
		
		// Various interfaces for building the preamble
		public void buildPreambleThrow() throws IOException, ParseException {
			buildPreambleThrow(false, null);
		}
		
		public void buildPreambleThrow(boolean force, PrintWriter commentary) throws IOException, ParseException {
			MaybeExtractPreamble.go(lispFile,force,commentary);
		}
		
		public String buildPreambleMessage() { return buildPreambleMessage(false); }
		
		public String buildPreambleMessage(boolean force) {
			try {
				buildPreambleThrow(force,null);
				return null;
			} catch (IOException ioe) {
				return "While extracting preamble: " + ioe.getMessage();
			} catch (ParseException pe) {
				return "Malformed preamble: " + pe.getMessage();
			}
		}
		
		// true on success
		public boolean buildPreambleCommentary(boolean force, PrintWriter commentary) {
			try {
				buildPreambleThrow(force,commentary);
				return true;
			} catch (IOException ioe) {
				commentary.print("While extracting preamble: ");
				commentary.println(ioe.getMessage());
				return false;
			} catch (ParseException pe) {
				commentary.print("Malformed preamble: ");
				commentary.println(pe.getMessage());
				return false;
			}
		}
		
		public File getLispFile() {
			return lispFile;
		}
		
		public String getBaseName() {
			return base;
		}
		
		public BatchSession createSession() {
			return new BatchSession(config, lispFile.getParentFile());
		}
		
		
		// ======= STATIC STUFF Re: Certification =======
		
		public static final Sym certifyBookSym = Sym.bootstrapCreate("CERTIFY-BOOK");
		public static final Sym questionSym = Sym.bootstrapCreate("?");
		
		/**
		 * Returns true iff the file extension is allowed for certification.
		 */
		public static boolean legalLispFile(File f) {

			return f.getName().toLowerCase().endsWith(".lisp");
		}
	}