Lines Matching defs:info
112 * errors can be displayed in a gui viewer. For info on command line args,
206 return (gui || !cth.info().hasFailures());
482 * Utility class providing easy access to position and other info for a tree node.
653 scroll(body, getMinPos(enclPanel.info, selfPanel.info));
668 private void addHighlight(Highlighter h, Info info, Color c) {
669 int start = info.start;
670 int end = info.end;
678 h.addHighlight(info.start, info.end,
680 if (info.pos != -1) {
682 h.addHighlight(info.pos, info.pos + 1,
690 /** Get the minimum valid position in a set of info objects. */
693 for (Info info: values) {
694 if (info.start >= 0) i = Math.min(i, info.start);
695 if (info.pos >= 0) i = Math.min(i, info.pos);
696 if (info.end >= 0) i = Math.min(i, info.end);
749 void setInfo(Info info) {
750 this.info = info;
751 tagName.setText(treeUtil.nameFromTag(info.tag));
752 start.setText(String.valueOf(info.start));
753 pos.setText(String.valueOf(info.pos));
754 end.setText(String.valueOf(info.end));
768 Info info;