Specification for IfcDateTimeResource

Link to EXPRESS Definition

EXPRESS Definition

Link to EXPRESS-G Diagram

EXPRESS-G Diagram


Table of contents


Simple Types

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

D IfcDayInMonthNumber
IfcDaylightSavingNumber
H IfcHourInDay
M IfcMinuteInHour
IfcMonthInYearNumber
S IfcSecondInMinute
Y IfcYearNumber

Select Types

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

D IfcDateTimeSelect

Enumerations

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

A IfcAheadOrBehind

Class Definitions

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

C IfcCalendarDate
IfcCoordinatedUniversalTimeOffset
D IfcDateAndTime
L IfcLocalTime

Functions

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

L IfcLeapYear
V IfcValidCalendarDate
IfcValidTime


Schema Semantic Definition

The IfcDateTimeResource schema defines dates and times that may be applied. The date and times include specifying a calendar date, a local time with possible daylight saving offset compared to solar time, the local time offset to coordinated universal time, and complete specification of combined date and time.

NOTE: New schema for R2.0. This schema was formerly part of the IfcPropertyResource schema that is now superseded.

Parts of this schema are © ISO.


Type IfcDayInMonthNumber

Link to EXPRESS Definition

EXPRESS Definition

Type Semantic Definition

An integer value of the day within a month.

History

This Defined Type has changed after IFC Release 1.5.1, please see the Migration Guide for details

Type

INTEGER

Type IfcDaylightSavingNumber

Link to EXPRESS Definition

EXPRESS Definition

Type Semantic Definition

The positive integer value by which clock time is offset from solar time at the particular location.

History

This Defined Type has changed after IFC Release 1.5.1, please see the Migration Guide for details

Type

INTEGER

Formal Propositions

WR1

Daylight saving number is always positive and can take the maximum value of 2 (hours) ahead of local time. Depending on the locality and the time of year, the value may be 0, 1 or 2.

{ 0 <= SELF <= 2 }


Type IfcHourInDay

Link to EXPRESS Definition

EXPRESS Definition

Type Semantic Definition

An integer value of the hour within a day.

History

This Defined Type has changed after IFC Release 1.5.1, please see the Migration Guide for details

Type

INTEGER

Formal Propositions

WR1

Although there are 24 hours in a day, hour designations are always from 0 to 23 (since hour 24 is the same as hour 0)

{ 0 <= SELF < 24 }


Type IfcMinuteInHour

Link to EXPRESS Definition

EXPRESS Definition

Type Semantic Definition

An integer value of the minute within an hour.

History

This Defined Type has changed after IFC Release 1.5.1, please see the Migration Guide for details

Type

INTEGER

Formal Propositions

WR1

Although there are 60 minutes in an hour, minute designations are always from 0 to 59 (since minute 60 is the same as minute 0)

{0 <= SELF <= 59 }


Type IfcMonthInYearNumber

Link to EXPRESS Definition

EXPRESS Definition

Type Semantic Definition

An integer value of the month within a year.

History

This Defined Type has changed after IFC Release 1.5.1, please see the Migration Guide for details

Type

INTEGER

Formal Propositions

WR1

Months in a year are numbered from 1 to 12.

{ 1<= SELF <= 12 }


Type IfcSecondInMinute

Link to EXPRESS Definition

EXPRESS Definition

Type Semantic Definition

A real number value of the second in a minute. Thus, decimals of a second are allowed.

History

This Defined Type has changed after IFC Release 1.5.1, please see the Migration Guide for details

Type

REAL

Formal Propositions

WR1

Although there are 60 seconds in a minute, second designations are always from 0 to 59 (since second 60 is the same as second 0)

{ 0 <= SELF < 60 }


Type IfcYearNumber

Link to EXPRESS Definition

EXPRESS Definition

Type Semantic Definition

Is the year in Gregorian calendar as defined by ISO 8601.

History

This Defined Type has changed after IFC Release 1.5.1, please see the Migration Guide for details

Type

INTEGER

Select IfcDateTimeSelect

Link to EXPRESS Definition

EXPRESS Definition

Select Semantic Definition

A selection of whether to indicate date, time or date and time.

History

This Select Type has changed after IFC Release 1.5.1, please see the Migration Guide for details

Select

IfcCalendarDate

IfcLocalTime

IfcDateAndTime


Type IfcAheadOrBehind

Link to EXPRESS Definition

EXPRESS Definition

Type Semantic Definition

An enumeration type that is used to specify whether a local time is ahead or behind of the coordinated universal time. IfcAheadOrBehind can take values Ahead or Behind.

History

New Enumeration in IFC Release 2.0

Enumeration

Ahead

Behind


Class IfcCalendarDate

Link to EXPRESS Definition

EXPRESS Definition

Class Semantic Definition

The date of interest expressed by the day in a month of a year.

History

This Class has changed after IFC Release 1.5.1, please see the Migration Guide for details

Attribute and Relationship Definitions

Superclasses and Subclasses

This Class does not have any Superclasses or Subclasses

Attributes and Relationships

Attribute type (OPT, DER, INV)

Redefinition (SELF)

Attribute / Relation

Data or Rel. type

Definition

 

DayComponent

 

IfcDayInMonthNumber

The day component of the calendar date.

 

MonthComponent

 

IfcMonthInYearNumber

The month component of the calendar date.

 

YearComponent

 

IfcYearNumber

The year component of the calendar date.

Formal Propositions

WR21

Date must be a valid calendar date

IfcValidCalendarDate (SELF)


Class IfcCoordinatedUniversalTimeOffset

Link to EXPRESS Definition

EXPRESS Definition

Class Semantic Definition

The time by which local time is offset from the time basis (normally selected as Greenwich Mean Time - also referred to as Zulu).

History

This Class has changed after IFC Release 1.5.1, please see the Migration Guide for details

Attribute and Relationship Definitions

Superclasses and Subclasses

This Class does not have any Superclasses or Subclasses

Attributes and Relationships

Attribute type (OPT, DER, INV)

Redefinition (SELF)

Attribute / Relation

Data or Rel. type

Definition

 

HourOffset

 

IfcHourInDay

The number of hours by which local time is offset from basis time.

OPT

MinuteOffset

 

IfcMinuteInHour

The number of minutes by which local time is offset from basis time.

 

Sense

 

IfcAheadOrBehind

The direction of the coordinated universal time offset. Note: The data type of the value is an enumeration - Ahead means positive offset; Behind means negative offset.


Class IfcDateAndTime

Link to EXPRESS Definition

EXPRESS Definition

Class Semantic Definition

A complete specification of date and time.

History

This Class has changed after IFC Release 1.5.1, please see the Migration Guide for details

Attribute and Relationship Definitions

Superclasses and Subclasses

This Class does not have any Superclasses or Subclasses

Attributes and Relationships

Attribute type (OPT, DER, INV)

Redefinition (SELF)

Attribute / Relation

Data or Rel. type

Definition

 

DateComponent

 

IfcCalendarDate

The date component when date and time are both required.

 

TimeComponent

 

IfcLocalTime

The time component when date and time are both required.


Class IfcLocalTime

Link to EXPRESS Definition

EXPRESS Definition

Class Semantic Definition

The accepted time indicated by a normal time measuring device at the location of interest.

NOTE: Local time is indicated as clock time rather than solar time since, locally, clock time may be displaced from solar time by a daylight saving value.

History

This Class has changed after IFC Release 1.5.1, please see the Migration Guide for details

Attribute and Relationship Definitions

Superclasses and Subclasses

This Class does not have any Superclasses or Subclasses

Attributes and Relationships

Attribute type (OPT, DER, INV)

Redefinition (SELF)

Attribute / Relation

Data or Rel. type

Definition

 

HourComponent

 

IfcHourInDay

The hour component of the local time.

OPT

MinuteComponent

 

IfcMinuteInHour

The minute component of the local time.

OPT

SecondComponent

 

IfcSecondInMinute

The second component of the local time.

OPT

Zone

 

IfcCoordinatedUniversalTimeOffset

The time zone in which local time is indicated as measured by the coordinated universal time offset.

OPT

DaylightSavingOffset

 

IfcDaylightSavingNumber

The offset of daylight saving time from basis time.

Formal Propositions

WR21

Local time must be valid.

IfcValidTime (SELF)


Function IfcLeapYear

Link to EXPRESS Definition

EXPRESS Definition

Function Semantic Definition

Checks if the year is a leap year.

History

This Function has changed after IFC Release 1.5.1, please see the Migration Guide for details

Function IfcValidCalendarDate

Link to EXPRESS Definition

EXPRESS Definition

Function Semantic Definition

Checks that calendar date has a valid value.

History

This Function has changed after IFC Release 1.5.1, please see the Migration Guide for details

Function IfcValidTime

Link to EXPRESS Definition

EXPRESS Definition

Function Semantic Definition

Checks that local time has a valid value, i.e. checks that if second component is specified then also minute component is specified for the local time.

History

This Function has changed after IFC Release 1.5.1, please see the Migration Guide for details