{
       XMLTypeResourceImpl.DataFrame resultDouble = double_ == null ? new XMLTypeResourceImpl.DataFrame() : double_;
       double_ = null;
       resultDouble.pushOnto(previous);
       resultDouble.handleAttributes(attributes);
       return resultDouble;
    }