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