Lines Matching defs:info
88 * errors can be displayed in a gui viewer. For info on command line args,
437 * Utility class providing easy access to position and other info for a tree node.
624 scroll(body, getMinPos(enclPanel.info, selfPanel.info));
639 private void addHighlight(Highlighter h, Info info, Color c) {
640 int start = info.start;
641 int end = info.end;
649 h.addHighlight(info.start, info.end,
651 if (info.pos != -1) {
653 h.addHighlight(info.pos, info.pos + 1,
661 /** Get the minimum valid position in a set of info objects. */
664 for (Info info: values) {
665 if (info.start >= 0) i = Math.min(i, info.start);
666 if (info.pos >= 0) i = Math.min(i, info.pos);
667 if (info.end >= 0) i = Math.min(i, info.end);
720 void setInfo(Info info) {
721 this.info = info;
722 tagName.setText(tagNames.get(info.tag));
723 start.setText(String.valueOf(info.start));
724 pos.setText(String.valueOf(info.pos));
725 end.setText(String.valueOf(info.end));
739 Info info;