Home | History | Annotate | Download | only in generators

Lines Matching refs:differentPlatforms

58 	public Vector differentPlatforms;
188 			for(int i=0; i<differentPlatforms.size(); i++) {
189 				getPlatformSpecsFromList(differentPlatforms.get(i).toString());
1291 		differentPlatforms = new Vector();
1294 			differentPlatforms.add(tokenizer.nextToken());