Lines Matching defs:info
91 * errors can be displayed in a gui viewer. For info on command line args,
427 * Utility class providing easy access to position and other info for a tree node.
636 scroll(body, getMinPos(enclPanel.info, selfPanel.info));
651 private void addHighlight(Highlighter h, Info info, Color c) {
652 int start = info.start;
653 int end = info.end;
661 h.addHighlight(info.start, info.end,
663 if (info.pos != -1) {
665 h.addHighlight(info.pos, info.pos + 1,
673 /** Get the minimum valid position in a set of info objects. */
676 for (Info info: values) {
677 if (info.start >= 0) i = Math.min(i, info.start);
678 if (info.pos >= 0) i = Math.min(i, info.pos);
679 if (info.end >= 0) i = Math.min(i, info.end);
732 void setInfo(Info info) {
733 this.info = info;
734 tagName.setText(treeUtil.nameFromTag(info.tag));
735 start.setText(String.valueOf(info.start));
736 pos.setText(String.valueOf(info.pos));
737 end.setText(String.valueOf(info.end));
751 Info info;