1 package com.etymon.pj.object.pagemark; 2 3 import java.io.*; 4 import java.util.*; 5 import com.etymon.pj.object.*; 6 7 11 public class Xre 12 extends PageMarkOperator { 13 14 public Xre(PjNumber x, PjNumber y, PjNumber width, PjNumber height) { 15 _x = x; 16 _y = y; 17 _width = width; 18 _height = height; 19 } 20 21 public PjNumber getX() { 22 return _x; 23 } 24 25 public PjNumber getY() { 26 return _y; 27 } 28 29 public PjNumber getWidth() { 30 return _width; 31 } 32 33 public PjNumber getHeight() { 34 return _height; 35 } 36 37 public long writePdf(OutputStream os) throws IOException { 38 long z = _x.writePdf(os); 39 z = z + write(os, ' '); 40 z = z + _y.writePdf(os); 41 z = z + write(os, ' '); 42 z = z + _width.writePdf(os); 43 z = z + write(os, ' '); 44 z = z + _height.writePdf(os); 45 z = z + writeln(os, " re"); 46 return z; 47 } 48 49 53 public Object clone() { 54 return this; 55 } 56 57 public boolean equals(Object obj) { 58 if (obj == null) { 59 return false; 60 } 61 if (obj instanceof Xre) { 62 return ( (_x.equals(((Xre)obj)._x)) && 63 (_y.equals(((Xre)obj)._y)) && 64 (_width.equals(((Xre)obj)._width)) && 65 (_height.equals(((Xre)obj)._height)) ); 66 } else { 67 return false; 68 } 69 } 70 71 private PjNumber _x; 72 private PjNumber _y; 73 private PjNumber _width; 74 private PjNumber _height; 75 76 } 77 | Popular Tags |