Lines Matching defs:warnings
70 // anyone can add warnings
71 Vector<String> warnings;
112 warnings = new Vector<String>();
193 warnings = new Vector<String>();
233 warnings.addElement(form.format(source));
251 warnings.addElement(form.format(source));
267 warnings.addElement(form.format(source));
273 warnings.addElement(form.format(source));
288 warnings.addElement(form.format(source));
1042 tool.warnings.addElement(fnfe.toString());
1226 for (int i = 0; i < tool.warnings.size(); i++) {
1227 ta.append(tool.warnings.elementAt(i));
2095 tool.warnings.addElement(
2191 tool.warnings.addElement(form.format(source));
2467 // inform user of warnings
2851 tool.warnings.addElement(form.format(source));
3015 tool.warnings.addElement(form.format(source));
3076 tool.warnings.addElement(form.format(source));