ST6RI-926 Extract SysML logic into standalone runtime modules

Split model-independent SysML logic out of org.omg.sysml into the new
org.omg.sysml.logic and org.omg.sysml.logic.bundle modules, move the
delegate/adapter/expression utility code there, and update bundle/build
wiring to use explicit logic dependencies.

Add standalone bootstrap support for library resolution and EMF delegate
registration without requiring Eclipse/Xtext startup, together with
plain-EMF regression coverage and supporting Javadoc updates.

Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>

Author: AxelRICHARD

org.omg.kerml.xpect.tests/.classpath

@@ -6,6 +6,8 @@
 		</attributes>
 	</classpathentry>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
+	<classpathentry combineaccessrules="false" kind="src" path="/org.omg.sysml.model"/>
+	<classpathentry combineaccessrules="false" kind="src" path="/org.omg.sysml.logic"/>
 	<classpathentry kind="src" path="src">
 		<attributes>
 			<attribute name="test" value="true"/>

org.omg.kerml.xpect.tests/META-INF/MANIFEST.MF

@@ -12,6 +12,7 @@ Require-Bundle: org.eclipse.core.runtime,
  org.eclipse.xtext.xbase;bundle-version="2.9.2",
  org.eclipse.xtext.ui.shared;bundle-version="2.14.0",
  org.omg.sysml;bundle-version="0.59.0",
+ org.omg.sysml.logic.bundle;bundle-version="0.59.0",
  org.omg.kerml.xtext;bundle-version="0.59.0",
  org.omg.kerml.xtext.ui;bundle-version="0.59.0",
  org.aopalliance;bundle-version="1.0.0"

org.omg.kerml.xtext.ui/.classpath

@@ -10,6 +10,7 @@
 	</classpathentry>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry combineaccessrules="false" kind="src" path="/org.omg.sysml.model"/>
+	<classpathentry combineaccessrules="false" kind="src" path="/org.omg.sysml.logic"/>
 	<classpathentry combineaccessrules="false" kind="src" path="/org.omg.sysml"/>
 	<classpathentry kind="output" path="target/classes"/>
 </classpath>

org.omg.kerml.xtext.ui/META-INF/MANIFEST.MF

@@ -20,6 +20,7 @@ Require-Bundle: org.omg.kerml.xtext,
  org.eclipse.xtext.xbase.lib;bundle-version="2.14.0",
  org.eclipse.xtend.lib;bundle-version="2.14.0";resolution:=optional,
  org.omg.sysml.model.bundle;bundle-version="0.59.0",
+ org.omg.sysml.logic.bundle;bundle-version="0.59.0",
  org.omg.sysml;bundle-version="0.59.0",
  org.omg.kerml.expressions.xtext;bundle-version="0.59.0",
  org.omg.kerml.expressions.xtext.ide;bundle-version="0.59.0",

org.omg.kerml.xtext/.classpath

@@ -10,6 +10,7 @@
 	</classpathentry>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry combineaccessrules="false" kind="src" path="/org.omg.sysml.model"/>
+	<classpathentry combineaccessrules="false" kind="src" path="/org.omg.sysml.logic"/>
 	<classpathentry combineaccessrules="false" kind="src" path="/org.omg.sysml"/>
 	<classpathentry kind="output" path="target/classes"/>
 </classpath>

org.omg.kerml.xtext/META-INF/MANIFEST.MF

@@ -14,6 +14,7 @@ Require-Bundle: org.eclipse.xtext,
  org.eclipse.xtend.lib;bundle-version="2.14.0",
  org.antlr.runtime;bundle-version="[3.2.0,3.2.1)",
  org.omg.sysml.model.bundle;bundle-version="0.59.0",
+ org.omg.sysml.logic.bundle;bundle-version="0.59.0",
  org.omg.sysml;bundle-version="0.59.0",
  org.eclipse.uml2.uml,
  org.eclipse.uml2.uml.resources,

org.omg.kerml.xtext/src/org/omg/kerml/xtext/KerMLRuntimeModule.xtend

@@ -10,6 +10,7 @@ import org.eclipse.xtext.naming.IQualifiedNameConverter
 import org.eclipse.xtext.naming.IQualifiedNameProvider
 import org.eclipse.xtext.resource.XtextResource
 import org.eclipse.xtext.scoping.IGlobalScopeProvider
+import org.eclipse.xtext.resource.IResourceServiceProvider
 import org.eclipse.xtext.validation.CompositeEValidator
 import org.eclipse.xtext.validation.IResourceValidator
 import org.omg.kerml.xtext.library.KerMLLibraryProvider
@@ -20,17 +21,40 @@ import org.omg.kerml.xtext.naming.KerMLQualifiedNameProvider
 import org.omg.kerml.xtext.scoping.KerMLGlobalScopeProvider
 import org.omg.kerml.xtext.scoping.KerMLLinker
 import org.omg.kerml.xtext.validation.KerMLResourceValidator
-import org.omg.sysml.lang.sysml.util.IModelLibraryProvider
+import org.omg.sysml.logic.api.IModelLibraryProvider
 import org.omg.kerml.xtext.library.ILibraryIndexProvider
 import org.omg.kerml.xtext.library.PrecalculatedLibraryIndexProvider
 import com.google.inject.Provides
 import org.eclipse.xtext.conversion.IValueConverterService
 import org.omg.kerml.xtext.conversion.KerMLValueConverterService
+import org.omg.sysml.util.SysMLLibraryUtil
 
 /**
  * Use this class to register components to be used at runtime / without the Equinox extension registry.
  */
 class KerMLRuntimeModule extends AbstractKerMLRuntimeModule {
+
+	/**
+	 * Installs the library-provider lookup used by {@link SysMLLibraryUtil} for
+	 * the KerML Xtext runtime.
+	 *
+	 * <p>The lookup resolves the {@link IModelLibraryProvider} from the
+	 * {@link IResourceServiceProvider} associated with the current resource URI so
+	 * library element resolution can use the KerML runtime's injector-backed
+	 * services from static utility code.
+	 */
+	new() {
+		SysMLLibraryUtil.setProviderLookup([
+			resource |
+				try {
+					val serviceProvider = IResourceServiceProvider.Registry.INSTANCE.getResourceServiceProvider(resource?.URI)
+					if (serviceProvider === null) null else serviceProvider.get(IModelLibraryProvider)
+				} catch (Exception e) {
+					System.out.println("[SysMLLibraryUtil] Cannot get library provider: " + e)
+					null
+				}
+		])
+	}
 
 	override Class<? extends IValueConverterService> bindIValueConverterService() {
     	return KerMLValueConverterService;

org.omg.kerml.xtext/src/org/omg/kerml/xtext/KerMLStandaloneSetup.xtend

@@ -3,11 +3,8 @@
  */
 package org.omg.kerml.xtext
 
-import org.eclipse.emf.ecore.EStructuralFeature
-import org.omg.sysml.delegate.setting.DerivedPropertySettingDelegateFactory;
-import org.omg.sysml.delegate.invocation.OperationInvocationDelegateFactory;
 import com.google.inject.Injector
-import org.eclipse.emf.ecore.EOperation
+import org.omg.sysml.logic.SysMLLogicStandaloneSetup
 
 /**
  * Initialization support for running Xtext languages without Equinox extension registry.
@@ -19,10 +16,7 @@ class KerMLStandaloneSetup extends KerMLStandaloneSetupGenerated {
 	}
 
 	override Injector createInjectorAndDoEMFRegistration() {
-		EStructuralFeature.Internal.SettingDelegate.Factory.Registry.INSTANCE.
-			put(DerivedPropertySettingDelegateFactory.SYSML_ANNOTATION, new DerivedPropertySettingDelegateFactory());	
-		EOperation.Internal.InvocationDelegate.Factory.Registry.INSTANCE.
-			put(OperationInvocationDelegateFactory.SYSML_ANNOTATION, new OperationInvocationDelegateFactory());	
+		SysMLLogicStandaloneSetup.doSetup()
 		return super.createInjectorAndDoEMFRegistration();
 	}
 }

org.omg.kerml.xtext/src/org/omg/kerml/xtext/library/KerMLLibraryProvider.xtend

@@ -30,7 +30,7 @@ import com.google.inject.Singleton
 import org.eclipse.xtext.naming.IQualifiedNameConverter
 import org.omg.sysml.lang.sysml.Element
 import org.eclipse.emf.ecore.util.EcoreUtil
-import org.omg.sysml.lang.sysml.util.IModelLibraryProvider
+import org.omg.sysml.logic.api.IModelLibraryProvider
 import org.eclipse.xtext.resource.impl.ResourceDescriptionsProvider
 import org.omg.sysml.lang.sysml.SysMLPackage
 
@@ -55,4 +55,4 @@ class KerMLLibraryProvider implements IModelLibraryProvider {
 		}
 	}
 
-}
+}

org.omg.kerml.xtext/src/org/omg/kerml/xtext/scoping/KerMLScope.xtend

@@ -51,15 +51,14 @@ import org.omg.sysml.lang.sysml.OwningMembership
 import org.omg.sysml.lang.sysml.NamespaceImport
 import org.omg.sysml.lang.sysml.MembershipImport
 import org.omg.sysml.lang.sysml.SysMLPackage
-import org.omg.sysml.lang.sysml.util.ISysMLScope
 import com.google.inject.Inject
 import org.eclipse.xtext.naming.IQualifiedNameConverter
 import org.eclipse.emf.ecore.util.EcoreUtil
 import org.omg.sysml.util.NamespaceUtil
 import org.omg.kerml.xtext.naming.QualifiedNameUtil
 import org.omg.sysml.lang.sysml.Redefinition
 
-class KerMLScope extends AbstractScope implements ISysMLScope {
+class KerMLScope extends AbstractScope {
 
 	@Inject
 	IQualifiedNameConverter qualifiedNameConverter
@@ -163,7 +162,7 @@ class KerMLScope extends AbstractScope implements ISysMLScope {
 		!resolveInScope(QualifiedName.create(input.name.firstSegment), true).isEmpty()
 	}
 
-	override getElement(String name) {
+	def getElement(String name) {
 		var obj = EcoreUtil.resolve(getSingleElement(qualifiedNameConverter.toQualifiedName(name)).EObjectOrProxy, element)
 		if (obj instanceof Element) obj else null
 	}