Constraint Descriptor : cons_lux_43 (type: ERROR, kind: )

Constraint : cons_lux_43

Constraint Name
cons_lux_43 (type: ERROR, kind: )
Constraint Class
RecordTargetSpec
Package
luxh
Description
The first id of recordTarget/patientRole shall not be nullFlavored and shall have root and extension attribute, root being a valid OID string
OCL 
self.patientRole.id->size()>0 and 
(self.patientRole.id->at(1).nullFlavor.oclIsUndefined()) and 
(not self.patientRole.id->at(1).root.oclIsUndefined()) and 
(not self.patientRole.id->at(1).extension.oclIsUndefined()) and
(self.patientRole.id->at(1).isOID(self.patientRole.id->at(1).root))