public void printVector(PrintableStringWriter stream) {
    { FloatVector self = this;

      if (self.arraySize == 0) {
        stream.print("|i|[]");
      }
      else {
        { int i = 0;
          int limit = 9;

          stream.print("|i|[");
          { double element = Stella.NULL_FLOAT;
            FloatVector vector000 = self;
            int index000 = 0;
            int length000 = vector000.arraySize;

            loop000 : for (;index000 < length000; index000 = index000 + 1) {
              element = ((FloatWrapper)(((FloatWrapper)((vector000.theArray)[index000])))).wrapperValue;
              stream.print(element);
              i = i + 1;
              if (i > limit) {
                break loop000;
              }
              if (i < self.arraySize) {
                stream.print(" ");
              }
            }
          }
          if ((i <= limit) ||
              (i == self.arraySize)) {
            stream.print("]");
          }
          else {
            stream.print(" ...]");
          }
        }
      }
    }
  }