1 16 package com.google.gwt.util.tools; 17 18 21 public abstract class ArgHandlerInt extends ArgHandler { 22 23 public String [] getDefaultArgs() { 24 return null; 25 } 26 27 public abstract String getPurpose(); 28 29 public abstract String getTag(); 30 31 public abstract String [] getTagArgs(); 32 33 public int handle(String [] args, int startIndex) { 34 int value; 35 if (startIndex + 1 < args.length) { 36 try { 37 value = Integer.parseInt(args[startIndex + 1]); 38 } catch (NumberFormatException e) { 39 value = -1; 41 } 42 43 setInt(value); 44 return 1; 45 } 46 47 System.err.println(getTag() + " should be followed by an integer"); 48 return -1; 49 } 50 51 public boolean isRequired() { 52 return false; 53 } 54 55 public abstract void setInt(int value); 56 } 57 | Popular Tags |