1 24 package org.archive.crawler.settings; 25 26 30 public class IntegerList extends ListType<Integer > { 31 32 private static final long serialVersionUID = -637584927948877976L; 33 34 40 public IntegerList(String name, String description) { 41 super(name, description); 42 } 43 44 52 public IntegerList(String name, String description, IntegerList l) { 53 super(name, description); 54 addAll(l); 55 } 56 57 65 public IntegerList(String name, String description, Integer [] l) { 66 super(name, description); 67 addAll(l); 68 } 69 70 78 public IntegerList(String name, String description, int[] l) { 79 super(name, description); 80 addAll(l); 81 } 82 83 88 public void add(int index, Integer element) { 89 super.add(index, element); 90 } 91 92 97 public void add(int index, int element) { 98 super.add(index, new Integer (element)); 99 } 100 101 105 public void add(Integer element) { 106 super.add(element); 107 } 108 109 113 public void add(int element) { 114 super.add(new Integer (element)); 115 } 116 117 126 public void addAll(IntegerList l) { 127 super.addAll(l); 128 } 129 130 135 public void addAll(Integer [] l) { 136 for (int i = 0; i < l.length; i++) { 137 add(l[i]); 138 } 139 } 140 141 146 public void addAll(int[] l) { 147 for (int i = 0; i < l.length; i++) { 148 add(l[i]); 149 } 150 } 151 152 159 public Integer set(int index, Integer element) { 160 return (Integer ) super.set(index, element); 161 } 162 163 173 public Integer checkType(Object element) throws ClassCastException { 174 if (element instanceof Integer ) { 175 return (Integer )element; 176 } else { 177 return (Integer ) 178 SettingsHandler.StringToType( 179 (String ) element, 180 SettingsHandler.INTEGER); 181 } 182 } 183 } 184 | Popular Tags |