Navigation

IfcDocumentElectronicFormat

Definition from IAI: An IfcDocumentElectronicFormat is a class capturing the type of document being referenced as an external source,and for which metadata is specified by IfcDocumentInformation.

HISTORY: New entity in IFC Release 2x. Renamed from IfcElectronicDocumentFormat.
ISSUES: See issue and change log for changes made in IFC Release 2x.

EXPRESS specification:

ENTITY IfcDocumentElectronicFormat;
FileExtension  :  OPTIONAL IfcLabel;
MimeContentType  :  OPTIONAL IfcLabel;
MimeSubtype  :  OPTIONAL IfcLabel;
WHERE
WR1  :  EXISTS(FileExtension) OR EXISTS(MimeContentType);
END_ENTITY;

Attribute definitions:

FileExtension  :  File extension of electronic document used by computer operating system.
MimeContentType  :  Main Mime type (as published by W3C or as user defined application type)
MimeSubtype  :  Mime subtype information.

Formal Propositions:

WR1  :  In order to specify a valid electronic document format either the file extension or the MIME type has to be given.

References (1):

Name Type Referred through Express-G
IfcDocumentInformation Entity
Attribute 'ElectronicFormat'
Diagram 3

Inheritance graph

ENTITY IfcDocumentElectronicFormat;
ENTITY IfcDocumentElectronicFormat;
FileExtension  :  OPTIONAL IfcLabel;
MimeContentType  :  OPTIONAL IfcLabel;
MimeSubtype  :  OPTIONAL IfcLabel;
END_ENTITY;