Пример #1
0
 public boolean equals(Object other) {
   if (!(other instanceof Text)) {
     return false;
   }
   Text that = (Text) other;
   if (!this.getKey().equals(that.getKey())) {
     return false; // key does not match
   } else if (!this.getDefault(false).equals(that.getDefault(false))) {
     return true; // default text does not match
   } else if (this.hasPackage() != that.hasPackage()) {
     return false; // package does not match
   } else if (this.hasPackage() && !this.getPackage().equals(that.getPackage())) {
     return false; // package does not match
   } else {
     return true;
   }
 }
Пример #2
0
 public Coord sz() {
   return (t.sz());
 }
Пример #3
0
 public Coord sz() {
   if (r == null) return (text().sz());
   else return (r.sz());
 }
Пример #4
0
 public Tex tex() {
   return (t.tex());
 }