CheckerOption.java Source File

00001 package edu.ksu.cis.bandera.checker;
00002 
00003 /**
00004  * Interfaces on Parsing Options.
00005  * @author: Roby Joehanes
00006  */
00007 import java.util.*;
00008 
00009 public abstract class CheckerOption {
00010     protected Hashtable options = new Hashtable();
00011     public CheckerOption() {}
00012     public CheckerOption(String s) { if (s != null) parseOptions(s); }
00013     public Object get(String name) { return options.get(name); }
00014     public abstract void parseOptions(String s);
00015     public void put(String name, Object val) { options.put(name, val); }
00016 }