EXPRESS Definition for IfcUtilityResource

Documentation

EXPRESS-G Diagram

SCHEMA IfcUtilityResource;


REFERENCE FROM IfcMeasureResource (
    IfcTimeStamp
   ,IfcMeasureValue );

REFERENCE FROM IfcActorResource (
    IfcOrganization
   ,IfcPersonAndOrganization );

IfcGloballyUniqueId

Documentation

TYPE IfcGloballyUniqueId = STRING(20) FIXED;
END_TYPE;

IfcModifiedFlag

Documentation

TYPE IfcModifiedFlag = BINARY(3) FIXED;
END_TYPE;

IfcApplication

Documentation

ENTITY IfcApplication;
    ApplicationIdentifier : STRING(16);
    ApplicationFullName   : STRING(255);
    Version               : STRING(255);
    ApplicationDeveloper  : IfcOrganization;
  UNIQUE
    UR1: ApplicationIdentifier;
    UR2: ApplicationFullName, Version;
END_ENTITY;

IfcAuditTrail

Documentation

ENTITY IfcAuditTrail;
    CreationDate        : IfcTimeStamp;
    DeletionDate        : OPTIONAL IfcTimeStamp;
    CreatingUser        : IfcPersonAndOrganization;
    DeletingUser        : OPTIONAL IfcPersonAndOrganization;
    CreatingApplication : IfcApplication;
    DeletingApplication : OPTIONAL IfcApplication;
    Transactions        : LIST [0:?] OF IfcTransaction;
  INVERSE
    ToOwnerHistory : IfcOwnerHistory
                     FOR AuditTrail;
END_ENTITY;

IfcOwnerHistory

Documentation

ENTITY IfcOwnerHistory;
    OwningUser        : IfcPersonAndOrganization;
    OwningApplication : IfcApplication;
    ModifiedFlag      : IfcModifiedFlag;
    ApplicationId     : OPTIONAL STRING;
    OwnerDescriptor   : OPTIONAL STRING;
    AuditTrail        : OPTIONAL IfcAuditTrail;
END_ENTITY;

IfcTable

Documentation

ENTITY IfcTable;
    GlobalId : IfcGloballyUniqueId;
    Name     : STRING;
    Rows     : LIST [1:?] OF IfcTableRow;
  DERIVE
    NumberOfCellsInRow : INTEGER
                       := HIINDEX(Rows[1].RowCells);
    NumberOfHeadings   : INTEGER
                       := SIZEOF(QUERY( Temp <* Rows | Temp.IsHeading));
    NumberOfDataRows   : INTEGER
                       := SIZEOF(QUERY( Temp <* Rows | NOT(Temp.IsHeading)));
  WHERE
    WR1: SIZEOF(QUERY( Temp <* Rows | HIINDEX(Temp.RowCells) <> HIINDEX(Rows[1].RowCells))) = 0;
    WR2: SIZEOF(QUERY( Temp <* Rows | HIINDEX(Temp.RowCells) <> HIINDEX(Rows[1].RowCells))) = 0;
    WR3: { 0 <= NumberOfHeadings <= 1 };
END_ENTITY;

IfcTableRow

Documentation

ENTITY IfcTableRow;
    RowCells  : LIST [1:?] OF IfcMeasureValue;
    IsHeading : BOOLEAN;
  INVERSE
    OfTable : IfcTable
              FOR Rows;
END_ENTITY;

IfcTransaction

Documentation

ENTITY IfcTransaction;
    TransactionDate        : IfcTimeStamp;
    TransactingUser        : IfcPersonAndOrganization;
    TransactingApplication : IfcApplication;
  INVERSE
    ToAuditTrail : IfcAuditTrail
                   FOR Transactions;
END_ENTITY;

END_SCHEMA;