Lines Matching refs:theOptions
49 theOptions = new ArrayList();
63 theOptions.add(new Option(token.charAt(1)));
68 // add them to theOptions list
70 theOptions.add(new Option(token.charAt(j)));
76 if(theOptions.size() == 0){
85 indexoflast = theOptions.size()-1;
86 Option op = (Option)theOptions.get(indexoflast);
105 theOptionsIterator = theOptions.listIterator();
119 for(ListIterator it=theOptions.listIterator(); it.hasNext();){
206 private List theOptions = null;