/** * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ public ExtensionPoint getExtensionLocation(String name, boolean ignoreCase) { extensionLocationLoop : for (ExtensionPoint extensionLocation : getExtensionLocations()) { if (name != null && !(ignoreCase ? name.equalsIgnoreCase(extensionLocation.getName()) : name.equals(extensionLocation.getName()))) continue extensionLocationLoop; return extensionLocation; } return null; }
/** * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ public ExtensionPoint getExtensionPoint(String name, boolean ignoreCase, boolean createOnDemand) { extensionPointLoop : for (ExtensionPoint extensionPoint : getExtensionPoints()) { if (name != null && !(ignoreCase ? name.equalsIgnoreCase(extensionPoint.getName()) : name.equals(extensionPoint.getName()))) continue extensionPointLoop; return extensionPoint; } return createOnDemand ? createExtensionPoint(name) : null; }