code: @Override
  	public EEnum getModelCheckerResultType() {
  		if (modelCheckerResultTypeEEnum == null) {
  			modelCheckerResultTypeEEnum = (EEnum) EPackage.Registry.INSTANCE.getEPackage(StorePackage.eNS_URI).getEClassifiers().get(94);
  		}
  		return modelCheckerResultTypeEEnum;
  	}
docs: <!-- begin-user-doc -->
  <!-- end-user-doc -->
  @generated