コード例 #1
0
ファイル: Options.java プロジェクト: mioyoytu/OpenJML
 public String toString() { // DRC - added for debugging and to view the content in the debugger
   StringBuilder s = new StringBuilder();
   s.append("[");
   java.util.Iterator<Map.Entry<String, String>> pairs = values.entrySet().iterator();
   while (pairs.hasNext()) {
     Map.Entry<String, String> pair = pairs.next();
     s.append(pair.getKey());
     s.append("=");
     s.append(pair.getValue());
     s.append(",");
   }
   s.append("]");
   return s.toString();
 }
コード例 #2
0
ファイル: Options.java プロジェクト: mioyoytu/OpenJML
 /** Check if the value for a choice option has been set to a specific value. */
 public boolean isSet(OptionName name, String value) {
   return (values.get(name.optionName + value) != null);
 }
コード例 #3
0
ファイル: Options.java プロジェクト: mioyoytu/OpenJML
 /** Check if the value for an undocumented option has been set. */
 public boolean isSet(String name) {
   return (values.get(name) != null);
 }
コード例 #4
0
ファイル: Options.java プロジェクト: mioyoytu/OpenJML
 /** Get the value for an option. */
 public String get(OptionName name) {
   return values.get(name.optionName);
 }
コード例 #5
0
ファイル: Options.java プロジェクト: mioyoytu/OpenJML
 /** Get the value for an undocumented option. */
 public String get(String name) {
   return values.get(name);
 }
コード例 #6
0
ファイル: Options.java プロジェクト: mioyoytu/OpenJML
 public int size() {
   return values.size();
 }
コード例 #7
0
ファイル: Options.java プロジェクト: mioyoytu/OpenJML
 public void remove(String name) {
   values.remove(name);
 }
コード例 #8
0
ファイル: Options.java プロジェクト: mioyoytu/OpenJML
 public Set<String> keySet() {
   return values.keySet();
 }
コード例 #9
0
ファイル: Options.java プロジェクト: mioyoytu/OpenJML
 public void putAll(Options options) {
   values.putAll(options.values);
 }
コード例 #10
0
ファイル: Options.java プロジェクト: mioyoytu/OpenJML
 public void put(OptionName name, String value) {
   values.put(name.optionName, value);
 }
コード例 #11
0
ファイル: Options.java プロジェクト: mioyoytu/OpenJML
 public void put(String name, String value) {
   values.put(name, value);
 }
コード例 #12
0
ファイル: Options.java プロジェクト: mioyoytu/OpenJML
 /** Check if the value for an option has not been set. */
 public boolean isUnset(OptionName name) {
   return (values.get(name.optionName) == null);
 }
コード例 #13
0
ファイル: Options.java プロジェクト: mioyoytu/OpenJML
 /** Check if the value for an undocumented option has not been set. */
 public boolean isUnset(String name) {
   return (values.get(name) == null);
 }