/// <summary> /// Constructs the file format choices. /// </summary> /// <param name="fileType"></param> public IFCFileFormatAttributes(IFCFileFormat fileType) { FileType = fileType; }