/** @methodtype set */
 public CartesianCoordinate setZ(double z) {
   assertIsDoubleValue(z);
   assertClassInvariants();
   CartesianCoordinate result = new CartesianCoordinate(this.x, this.y, z);
   assertClassInvariants();
   return result;
 }
 /** @methodtype set */
 public CartesianCoordinate setY(double y) {
   assertIsDoubleValue(y);
   assertClassInvariants();
   CartesianCoordinate result = new CartesianCoordinate(this.x, y, this.z);
   assertClassInvariants();
   return result;
 }
 /** @methodtype set */
 public CartesianCoordinate setX(double x) {
   assertIsDoubleValue(x);
   assertClassInvariants();
   CartesianCoordinate result = new CartesianCoordinate(x, this.y, this.z);
   assertClassInvariants();
   return result;
 }
 /** @methodtype get */
 public double getZ() {
   assertClassInvariants();
   return z;
 }
 /** @methodtype get */
 public double getY() {
   assertClassInvariants();
   return y;
 }
 /** @methodtype get */
 public double getX() {
   assertClassInvariants();
   return x;
 }