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