Constraint Descriptor : GeneralHeaderConstraintsParticipantSupportTime (type: INFO, kind: )

Constraint : GeneralHeaderConstraintsParticipantSupportTime

Constraint Name
GeneralHeaderConstraintsParticipantSupportTime (type: INFO, kind: )
Constraint Class
GeneralHeaderConstraints
Package
CCDA
Description
Consol General Header Constraints MAY contain zero or more [0..*] participant (CONF:10003) supportParticipant MAY contain zero or one [0..1] time (CONF:10004)
OCL
self.participant->reject(oclIsUndefined())->reject((time.oclIsUndefined() or time.isNullFlavorUndefined()) implies (not time.oclIsUndefined()))->reject(oclIsUndefined())->size()=0