CheckerFactory.java Source File

00001 package edu.ksu.cis.bandera.checker;
00002 
00003 /**
00004  * Checker Factory pattern to generate Checker classes.
00005  * @author: Roby Joehanes
00006  */
00007 import java.io.*;
00008 
00009 import edu.ksu.cis.bandera.bir.*;
00010 import edu.ksu.cis.bandera.birc.*;
00011 import edu.ksu.cis.bandera.dspin.*;
00012 import edu.ksu.cis.bandera.smv.*;
00013 import edu.ksu.cis.bandera.spin.*;
00014 
00015 public class CheckerFactory {
00016     public static Checker getChecker(String name, TransSystem sys, String option, String outputDir)
00017     {
00018         if ("spin".equals(name))
00019         {
00020             return SpinTrans.translate(sys, new SpinOptions(option), outputDir);
00021         } else if ("dspin".equals(name))
00022         {
00023             return DSpinTrans.translate(sys, new DSpinOptions(option));
00024         } else if ("smv".equals(name))
00025         {
00026             return SmvTrans.translate(sys, new SmvOptions(option));
00027         }
00028         return null;
00029     }
00030 }