1 24 package org.archive.crawler.settings; 25 26 30 public class StringList extends ListType<String > { 31 32 private static final long serialVersionUID = 3181868189684416390L; 33 34 40 public StringList(String name, String description) { 41 super(name, description); 42 } 43 44 52 public StringList(String name, String description, StringList l) { 53 super(name, description); 54 addAll(l); 55 } 56 57 65 public StringList(String name, String description, String [] l) { 66 super(name, description); 67 addAll(l); 68 } 69 70 75 public void add(int index, String element) { 76 super.add(index, element); 77 } 78 79 83 public void add(String element) { 84 super.add(element); 85 } 86 87 96 public void addAll(StringList l) { 97 super.addAll(l); 98 } 99 100 105 public void addAll(String [] l) { 106 for (int i = 0; i < l.length; i++) { 107 add(l[i]); 108 } 109 } 110 111 118 public String set(int index, String element) { 119 return (String ) super.set(index, element); 120 } 121 122 129 public String checkType(Object element) throws ClassCastException { 130 return (String )element; 131 } 132 } 133 | Popular Tags |