public EEnum getIfcProtectiveDeviceTypeEnum() {
		if (ifcProtectiveDeviceTypeEnumEEnum == null) {
			ifcProtectiveDeviceTypeEnumEEnum = (EEnum) EPackage.Registry.INSTANCE.getEPackage(Ifc2x3tc1Package.eNS_URI)
					.getEClassifiers().get(878);
		}
		return ifcProtectiveDeviceTypeEnumEEnum;
	}
public EEnum getIfcProtectiveDeviceTypeEnum ( ) { if ( ifcProtectiveDeviceTypeEnumEEnum == null ) { ifcProtectiveDeviceTypeEnumEEnum = ( EEnum ) EPackage . Registry . INSTANCE . getEPackage ( Ifc2x3tc1Package . eNS_URI ) . getEClassifiers ( ) . get ( 878 ) ; } return ifcProtectiveDeviceTypeEnumEEnum ; }
<!-- begin-user-doc -->
<!-- end-user-doc -->
@generated