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 Xv 12 extends PageMarkOperator { 13 14 public Xv(PjNumber x2, PjNumber y2, PjNumber x3, PjNumber y3) { 15 _x2 = x2; 16 _y2 = y2; 17 _x3 = x3; 18 _y3 = y3; 19 } 20 21 public PjNumber getX2() { 22 return _x2; 23 } 24 25 public PjNumber getY2() { 26 return _y2; 27 } 28 29 public PjNumber getX3() { 30 return _x3; 31 } 32 33 public PjNumber getY3() { 34 return _y3; 35 } 36 37 public long writePdf(OutputStream os) throws IOException { 38 long z = _x2.writePdf(os); 39 z = z + write(os, ' '); 40 z = z + _y2.writePdf(os); 41 z = z + write(os, ' '); 42 z = z + _x3.writePdf(os); 43 z = z + write(os, ' '); 44 z = z + _y3.writePdf(os); 45 z = z + writeln(os, " v"); 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 Xv) { 62 return ( (_x2.equals(((Xv)obj)._x2)) && 63 (_y2.equals(((Xv)obj)._y2)) && 64 (_x3.equals(((Xv)obj)._x3)) && 65 (_y3.equals(((Xv)obj)._y3)) ); 66 } else { 67 return false; 68 } 69 } 70 71 private PjNumber _x2; 72 private PjNumber _y2; 73 private PjNumber _x3; 74 private PjNumber _y3; 75 76 } 77 | Popular Tags |