1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
package ThePEG;
import javax.swing.*;
import java.util.*;
import java.awt.*;
import java.awt.event.*;
public class RefRef extends JLabel {
String name;
String fullname;
int index;
public RefRef(int indx, String nm, String fnm) {
setup(indx, nm, fnm);
}
public RefRef(int indx, String fnm) {
if ( fnm.equals("NULL") ) setup(indx, fnm, fnm);
else setup(indx, fnm.substring(fnm.lastIndexOf('/')+1), fnm);
}
public RefRef(String nm, String fnm) {
setup(-1, nm, fnm);
}
public RefRef(String fnm) {
setup(-1, fnm);
}
public RefRef() {
setup(-1, "");
}
public void setup(int indx, String nm, String fnm) {
index = indx;
name = nm;
fullname = fnm;
String text = name;
if ( index >= 0 && !name.equals(" - end - ") )
text = Long.toString(index) + ": " + name;
setText(text);
setToolTipText(fullname);
}
public String toString() {
return getText();
}
public void setup(int indx, String fnm) {
setup(indx, fnm.substring(fnm.lastIndexOf('/')+1), fnm);
}
public void setup(String nm, String fnm) {
setup(-1, nm, fnm);
}
public void setup(String fnm) {
setup(-1, fnm);
}
public int getIndex() {
return index;
}
public String getName() {
return name;
}
public String getFullName() {
return fullname;
}
public void set(String fnm) {
setup(index, fnm);
}
public void set(String nm, String fnm) {
setup(index, nm, fnm);
}
public static void classcheck() {}
}
|
