context XDSSDDocument inv: not self.component.oclIsUndefined() and (not self.component.nonXMLBody.oclIsUndefined())