code: public EEnum getIfcPermeableCoveringOperationEnum() {
  		if (ifcPermeableCoveringOperationEnumEEnum == null) {
  			ifcPermeableCoveringOperationEnumEEnum = (EEnum) EPackage.Registry.INSTANCE
  					.getEPackage(Ifc2x3tc1Package.eNS_URI).getEClassifiers().get(865);
  		}
  		return ifcPermeableCoveringOperationEnumEEnum;
  	}
docs: <!-- begin-user-doc -->
  <!-- end-user-doc -->
  @generated