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