Searched refs:MSGNAMES (Results 1 – 1 of 1) sorted by relevance
1587 final String[] MSGNAMES = {"", "Warning: ", "Error: "}; in msg() local1588 log.print(MSGNAMES[oldLevel]); in msg()