1
6
7 import java.awt.geom.*;
8
9
11 public class Everywhere implements java.io.Serializable,Region {
12
13 private Everywhere() {}
14
15 private static final long serialVersionUID = Version.getSUID();
16
17
20 public static Everywhere everywhere = new Everywhere();
21
22
24 public Area getIn(View view) {
25 return(new Area(view.draw.getClip()));
26 }
27
28 public String getName(){return("Everywhere");}
29
30 public String toString() {return(getName());}
31
32
35 public Object readResolve() throws java.io.ObjectStreamException {
36 return(everywhere);
37 }
38
39 }
40