1
6 import java.awt.geom.*;
7 import java.awt.Graphics2D;
8
9 public class Glyph extends Sub {
10
11 private static final long serialVersionUID = Version.getSUID();
12
13 public Symbol contents;
14
15 public Glyph(Point2D where,View view,Object arg) {
16 super(where,view,arg);
17 if (arg instanceof Symbol) this.contents = (Symbol)arg;
18 init(where,view);
19 }
20
21
22
23
24
25 public Symbol importSym(Carto dest,Carto source) {
26 contents = contents.importSym(dest,source);
27 return(this);
28 }
29
30 public void reshape() {
31 located=false;
32 box = new SavableRectangle2D(contents.getBounds(new AffineTransform()));
33 }
34
35 public boolean stripSurveys() {
36 return(contents.stripSurveys());
37 }
38
39 public void paintContents(View view) {
40 contents.paint(view);
41 }
42
43 public boolean valid() {return(contents.valid());}
44
45 public boolean recursiveDelete(Symbol old){
46 return((contents==old)||(contents.recursiveDelete(old)));
47 }
48
49 }
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65