01: package org.enhydra.jawe;
02:
03: import org.enhydra.shark.xpdl.XMLElement;
04:
05: public class SearchResult {
06:
07: protected XMLElement el;
08: protected String disp;
09:
10: public SearchResult(XMLElement el) {
11: this .el = el;
12: }
13:
14: public XMLElement getElement() {
15: return el;
16: }
17:
18: public String toString() {
19: if (disp == null) {
20: disp = Utils.getLocString(Utils.getLocation(el), el);
21: }
22: return disp;
23: }
24:
25: }
|