Logs.java

package edu.udel.cis.vsl.tass.log;

import edu.udel.cis.vsl.tass.config.CompareConfiguration;
import edu.udel.cis.vsl.tass.config.VerifyConfiguration;
import edu.udel.cis.vsl.tass.log.IF.ErrorLogIF;
import edu.udel.cis.vsl.tass.log.impl.ErrorLog;
import edu.udel.cis.vsl.tass.model.IF.ModelIF;

public class Logs {

	public static ErrorLogIF newErrorLog(VerifyConfiguration configuration,
			ModelIF model) {
		return new ErrorLog(configuration, model);
	}

	public static ErrorLogIF newErrorLog(CompareConfiguration configuration,
			ModelIF specModel, ModelIF implModel) {
		return new ErrorLog(configuration, specModel, implModel);
	}

}