Web selector for annotating components

bundles/dev.abunai.impact.analysis/META-INF/MANIFEST.MF

@@ -5,6 +5,7 @@ Bundle-SymbolicName: dev.abunai.impact.analysis
 Bundle-Version: 1.0.0.qualifier
 Export-Package: dev.abunai.impact.analysis,
  dev.abunai.impact.analysis.interactive,
+ dev.abunai.impact.analysis.webview,
  dev.abunai.impact.analysis.model,
  dev.abunai.impact.analysis.model.impact,
  dev.abunai.impact.analysis.util
@@ -15,7 +16,8 @@ Require-Bundle: org.eclipse.core.runtime,
  com.fasterxml.jackson.core.jackson-core,
  org.dataflowanalysis.pcm.extension.nodecharacteristics,
  com.fasterxml.jackson.core.jackson-annotations,
- dev.abunai.impact.analysis.testmodels;bundle-version="1.0.0"
+ dev.abunai.impact.analysis.testmodels;bundle-version="1.0.0",
+ org.palladiosimulator.pcm
 Bundle-RequiredExecutionEnvironment: JavaSE-17
 Automatic-Module-Name: dev.abunai.impact.analysis
 Bundle-ActivationPolicy: lazy

bundles/dev.abunai.impact.analysis/src/dev/abunai/impact/analysis/webview/AbstractTransformer.java

@@ -0,0 +1,19 @@
+package dev.abunai.impact.analysis.webview;
+
+import dev.abunai.impact.analysis.webview.jsonmodel.JsonObject;
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ * Transforms a model type from PCM to the web format
+ * @param <T> Type to transform
+ */
+interface AbstractTransformer<T extends EObject> {
+
+	/**
+	 * Transforms a PCM object to the web format
+	 * @param v Object to transform
+	 * @return The web representation of the given object
+	 */
+	public JsonObject transform(T v);
+
+}

bundles/dev.abunai.impact.analysis/src/dev/abunai/impact/analysis/webview/AllocationTransformer.java

@@ -0,0 +1,38 @@
+package dev.abunai.impact.analysis.webview;
+
+import java.util.List;
+import java.util.ArrayList;
+import java.util.HashMap;
+import java.util.Map;
+
+import dev.abunai.impact.analysis.webview.jsonmodel.AllocationDiagrammJson;
+import dev.abunai.impact.analysis.webview.jsonmodel.AssemblyContextJson;
+import dev.abunai.impact.analysis.webview.jsonmodel.JsonObject;
+import dev.abunai.impact.analysis.webview.jsonmodel.ResourceContainerJson;
+import org.palladiosimulator.pcm.allocation.Allocation;
+import org.palladiosimulator.pcm.allocation.AllocationContext;
+
+
+class AllocationTransformer implements AbstractTransformer<Allocation> {
+
+	@Override
+	public JsonObject transform(Allocation allocation) {
+		Map<String, ResourceContainerJson> resourceContainer = new HashMap<>();
+		List<ResourceContainerJson> contents = new ArrayList<>();
+
+		for (var c : allocation.eContents()) {
+			if (c instanceof AllocationContext) {
+				var o = (AllocationContext) c;
+				String containerID = o.getResourceContainer_AllocationContext().getId();
+				if (!resourceContainer.containsKey(containerID)) {
+					ResourceContainerJson container = new ResourceContainerJson(o.getResourceContainer_AllocationContext().getEntityName(), containerID, new ArrayList<>());
+					contents.add(container);
+					resourceContainer.put(containerID, container);
+				}
+				resourceContainer.get(containerID).contents.add(new AssemblyContextJson(o.getEntityName(), o.getId()));
+			}
+		}
+		return new AllocationDiagrammJson(allocation.getId(), contents);
+	}
+
+}

bundles/dev.abunai.impact.analysis/src/dev/abunai/impact/analysis/webview/AnalysisHandler.java

@@ -0,0 +1,81 @@
+package dev.abunai.impact.analysis.webview;
+
+import java.util.List;
+import java.util.Optional;
+
+import org.eclipse.emf.ecore.EObject;
+import org.palladiosimulator.pcm.core.composition.AssemblyConnector;
+import org.palladiosimulator.pcm.core.composition.AssemblyContext;
+import org.palladiosimulator.pcm.core.composition.ProvidedDelegationConnector;
+import org.palladiosimulator.pcm.repository.Interface;
+import org.palladiosimulator.pcm.repository.Signature;
+import org.palladiosimulator.pcm.resourceenvironment.ResourceContainer;
+import org.palladiosimulator.pcm.seff.ExternalCallAction;
+import org.palladiosimulator.pcm.seff.SetVariableAction;
+import org.palladiosimulator.pcm.usagemodel.Branch;
+import org.palladiosimulator.pcm.usagemodel.EntryLevelSystemCall;
+import org.palladiosimulator.pcm.usagemodel.UsageScenario;
+
+import dev.abunai.impact.analysis.PCMUncertaintyImpactAnalysis;
+
+/**
+ * Handles the adding of uncertainties to the analysis
+ */
+class AnalysisHandler {
+	private final PCMUncertaintyImpactAnalysis analysis;
+
+	public AnalysisHandler(PCMUncertaintyImpactAnalysis analysis) {
+		this.analysis = analysis;
+	}
+
+	/**
+	 * Adds uncertainties to the analysis and executes it
+	 * @param selections The selections made in the viewer
+	 */
+	public void handle(List<SelectionData> selections) {
+		for (SelectionData selection : selections) {
+			Optional<EObject> component = analysis.getResourceProvider().lookupElementWithId(selection.component);
+			if (component.isPresent()) {
+				addToAnalysis(component.get(), selection.component);
+			}
+		}
+
+		analysis.propagate().printResults(true, true, true, false);
+	}
+
+	private void addToAnalysis(EObject component, String id) {
+		if (component instanceof AssemblyContext) {
+			analysis.getUncertaintySources().addComponentUncertaintyInAssemblyContext(id);
+		}
+		if (component instanceof AssemblyConnector) {
+			analysis.getUncertaintySources().addConnectorUncertaintyInConnector(id);
+		}
+		if (component instanceof ProvidedDelegationConnector) {
+			analysis.getUncertaintySources().addConnectorUncertaintyInConnector(id);
+		}
+		if (component instanceof ResourceContainer) {
+			analysis.getUncertaintySources().addActorUncertaintyInResourceContainer(id);
+		}
+		if (component instanceof UsageScenario) {
+			analysis.getUncertaintySources().addActorUncertaintyInUsageScenario(id);
+		}
+		if (component instanceof Signature) {
+			analysis.getUncertaintySources().addInterfaceUncertaintyInSignature(id);
+		}
+		if (component instanceof Interface) {
+			analysis.getUncertaintySources().addInterfaceUncertaintyInInterface(id);
+		}
+		if (component instanceof ExternalCallAction) {
+			analysis.getUncertaintySources().addBehaviorUncertaintyInExternalCallAction(id);
+		}
+		if (component instanceof EntryLevelSystemCall) {
+			analysis.getUncertaintySources().addBehaviorUncertaintyInEntryLevelSystemCall(id);
+		}
+		if (component instanceof SetVariableAction) {
+			analysis.getUncertaintySources().addBehaviorUncertaintyInSetVariableAction(id);
+		}
+		if (component instanceof Branch) {
+			analysis.getUncertaintySources().addBehaviorUncertaintyInBranch(id);
+		}
+	}
+}

bundles/dev.abunai.impact.analysis/src/dev/abunai/impact/analysis/webview/RepositoryTransformer.java

@@ -0,0 +1,109 @@
+package dev.abunai.impact.analysis.webview;
+
+import java.util.ArrayList;
+import java.util.List;
+import java.util.stream.Collectors;
+
+import dev.abunai.impact.analysis.webview.jsonmodel.*;
+import org.palladiosimulator.pcm.core.entity.NamedElement;
+import org.palladiosimulator.pcm.repository.BasicComponent;
+import org.palladiosimulator.pcm.repository.CompositeDataType;
+import org.palladiosimulator.pcm.repository.DataType;
+import org.palladiosimulator.pcm.repository.InnerDeclaration;
+import org.palladiosimulator.pcm.repository.Interface;
+import org.palladiosimulator.pcm.repository.OperationInterface;
+import org.palladiosimulator.pcm.repository.OperationProvidedRole;
+import org.palladiosimulator.pcm.repository.OperationRequiredRole;
+import org.palladiosimulator.pcm.repository.OperationSignature;
+import org.palladiosimulator.pcm.repository.PrimitiveDataType;
+import org.palladiosimulator.pcm.repository.Repository;
+import org.palladiosimulator.pcm.repository.RepositoryComponent;
+import org.palladiosimulator.pcm.seff.ResourceDemandingSEFF;
+
+class RepositoryTransformer implements AbstractTransformer<Repository> {
+
+	@Override
+	public JsonObject transform(Repository repository) {
+		SeffTransformer seffTransformer = new SeffTransformer();
+		List<JsonObject> contents = new ArrayList<>();
+
+		for (RepositoryComponent component : repository.getComponents__Repository()) {
+			List<SeffJson> seffs = new ArrayList<>();
+			List<ComponentInterfaceConnection> required = new ArrayList<>();
+			List<ComponentInterfaceConnection> provided = new ArrayList<>();
+			if (component instanceof BasicComponent) {
+				BasicComponent basicComponent = (BasicComponent)component;
+				for (var s : basicComponent.getServiceEffectSpecifications__BasicComponent()) {
+					if (s instanceof ResourceDemandingSEFF) {
+						ResourceDemandingSEFF seff = (ResourceDemandingSEFF)s;
+
+						seffs.add(new SeffJson(seff.getId(), 
+								seff.getBasicComponent_ServiceEffectSpecification().getEntityName() + "." + s.getDescribedService__SEFF().getEntityName(), 
+								seff.getSteps_Behaviour().stream().map(a -> seffTransformer.transform(a)).toList()));
+					}
+				}
+				for (var r : component.getRequiredRoles_InterfaceRequiringEntity()) {				
+					if (r instanceof OperationRequiredRole) {
+						OperationRequiredRole o = (OperationRequiredRole)r;
+						required.add(new ComponentInterfaceConnection(o.getEntityName(), o.getRequiredInterface__OperationRequiredRole().getId()));
+					}
+				}
+				for (var r : component.getProvidedRoles_InterfaceProvidingEntity()) {				
+					if (r instanceof OperationProvidedRole) {
+						OperationProvidedRole o = (OperationProvidedRole)r;
+						required.add(new ComponentInterfaceConnection(o.getEntityName(), o.getProvidedInterface__OperationProvidedRole().getId()));
+					}
+				}
+			}
+			contents.add(new BasicComponentJson(component.getId(), component.getEntityName(), seffs, required, provided));
+		}
+
+		for (Interface i : repository.getInterfaces__Repository()) {
+			List<String> signatures = new ArrayList<>();
+			if (i instanceof OperationInterface) {
+				OperationInterface operationInterface = (OperationInterface)i;
+				for (OperationSignature o : operationInterface.getSignatures__OperationInterface()) {
+					String returnType = getDataType(o.getReturnType__OperationSignature());
+					String parameter = o.getParameters__OperationSignature().stream().map(p -> getDataType(p.getDataType__Parameter()) + " " + p.getParameterName()).collect(Collectors.joining(", "));
+
+					signatures.add(
+							returnType + " " +
+							o.getEntityName() + "(" +
+							parameter + ")"
+					);
+				}
+			}
+			contents.add(new InterfaceJson(i.getId(), i.getEntityName(), signatures));
+		}
+
+		for (DataType d : repository.getDataTypes__Repository()) {
+			if (d instanceof CompositeDataType) {
+				CompositeDataType compositeDataType = (CompositeDataType)d;
+				List<String> contained = new ArrayList<String>();
+				List<String> signatures = new ArrayList<>();
+				for (InnerDeclaration inner : compositeDataType.getInnerDeclaration_CompositeDataType()) {
+					signatures.add(inner.getEntityName() + ": " + getDataType(inner.getDatatype_InnerDeclaration()));
+					if (inner.getDatatype_InnerDeclaration() instanceof CompositeDataType) {
+						contained.add(((CompositeDataType)inner.getDatatype_InnerDeclaration()).getId());
+					}
+				}
+				contents.add(new CompositeDataTypeJson(compositeDataType.getId(), compositeDataType.getEntityName(), signatures, contained));
+			}
+		}
+
+		return new RepositoryJson(repository.getId(), contents);
+	}
+
+	String getDataType(DataType dataType) {
+		if (dataType instanceof NamedElement) {
+			NamedElement compositeDataType = (NamedElement)dataType;
+			return compositeDataType.getEntityName();
+		}
+		if (dataType instanceof PrimitiveDataType) {
+			PrimitiveDataType primitiveDataType = (PrimitiveDataType)dataType;
+			return primitiveDataType.getType().getLiteral();
+		}
+		return "void";
+	}
+
+}

bundles/dev.abunai.impact.analysis/src/dev/abunai/impact/analysis/webview/ResourceEnvironmentTransformer.java

@@ -0,0 +1,32 @@
+package dev.abunai.impact.analysis.webview;
+
+import java.util.ArrayList;
+import java.util.List;
+
+import dev.abunai.impact.analysis.webview.jsonmodel.ChildlessResourceContainerJson;
+import dev.abunai.impact.analysis.webview.jsonmodel.JsonObject;
+import dev.abunai.impact.analysis.webview.jsonmodel.LinkingResourceJson;
+import dev.abunai.impact.analysis.webview.jsonmodel.ResourceEnvironmentJson;
+import org.palladiosimulator.pcm.resourceenvironment.LinkingResource;
+import org.palladiosimulator.pcm.resourceenvironment.ResourceContainer;
+import org.palladiosimulator.pcm.resourceenvironment.ResourceEnvironment;
+
+class ResourceEnvironmentTransformer implements AbstractTransformer<ResourceEnvironment> {
+
+	@Override
+	public JsonObject transform(ResourceEnvironment resourceEnvironment) {
+		List<JsonObject> contents = new ArrayList<>();
+		for (var c : resourceEnvironment.eContents()) {
+			if (c instanceof LinkingResource) {
+				LinkingResource o = (LinkingResource)c;
+				contents.add(new LinkingResourceJson(o.getEntityName(), o.getId(),
+						o.getConnectedResourceContainers_LinkingResource().stream().map(r -> r.getId()).toList()));
+			}
+			if (c instanceof ResourceContainer) {
+				ResourceContainer o = (ResourceContainer)c;
+				contents.add(new ChildlessResourceContainerJson(o.getEntityName(), o.getId()));
+			}
+		}
+		return new ResourceEnvironmentJson(resourceEnvironment.getEntityName(), contents);
+	}
+}