1 33 34 package edu.rice.cs.drjava.config; 35 36 import java.util.Iterator ; 37 public interface OptionMap { 38 39 public <T> T getOption(OptionParser<T> o); 40 41 public <T> T setOption(Option<T> o, T val); 42 43 public <T> String getString(OptionParser<T> o); 44 45 public <T> void setString(OptionParser<T> o, String s); 46 47 public <T> T removeOption(OptionParser<T> o); 48 49 public Iterator <OptionParser<?>> keys(); 50 } 51 52 53 54 | Popular Tags |