This is setFileExtension, a member of class IfcDocumentElectronicFormat.
IfcDocumentElectronicFormat Methods