Search Results
OK to copy?
Examples 1 through 7 of
7 (0.0010 seconds)
238 */
239 public boolean isOperationDIME(String operationName){
240 return (dimeOps.indexOf(operationName)>=0);
241 }
242
227 */
228 public void setOperationDIME(String operationName) {
229 if(dimeOps.indexOf(operationName)==-1){
230 dimeOps.add(operationName);
231 }
070 {
071 List tempList;
072 int index = header.indexOf(oldHeader);
073 header.set(index, newHeader);
074 tempList = (List) data.remove(oldHeader);
0451 // Remove all occurrences in case it has been added multiple times.
0452 int i;
0453 while ((i = children.indexOf(child)) != -1) {
0454 children.remove(i);
0455 }
0495 return value;
0496 }
0497 int idx = iccColors.indexOf(this);
0498 if (idx == -1) {
0499 return value;
0971 sb.append(map.getPrefix());
0972 }
0973 if ((vecQNames==null) || (vecQNames.indexOf(sb.toString())==-1)) {
0974 writer.write(' ');
0975 sb.append("=\"");
Result Page:
1