Skip to content
Snippets Groups Projects
Commit df25d1d5 authored by Nicholas Pacini's avatar Nicholas Pacini
Browse files

added javadoc. small refactoring: package 

org.polarsys.chess.codegen.ada.service is not exported at runtime
parent b897b0fe
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1504 additions and 1064 deletions
plugins/org.polarsys.chess.codegen.ada/META-INF/MANIFEST.MF
+ 3
− 1
View file @ df25d1d5
......@@ -36,6 +36,8 @@ Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ActivationPolicy: lazy
Eclipse-LazyStart: true
Export-Package: org.polarsys.chess.codegen.ada,
org.polarsys.chess.codegen.ada.handlers,
org.polarsys.chess.codegen.ada.main,
org.polarsys.chess.codegen.ada.service
org.polarsys.chess.codegen.ada.transformations,
org.polarsys.chess.codegen.ada.util
plugins/org.polarsys.chess.codegen.ada/src/org/polarsys/chess/codegen/ada/handlers/AdaGenUIHandler.java
+ 25
− 11
View file @ df25d1d5
......@@ -18,6 +18,7 @@ import java.io.PrintWriter;
import java.io.StringWriter;
import org.polarsys.chess.codegen.ada.transformations.Transformations;
import org.polarsys.chess.codegen.ada.util.AdaGenUtil;
import org.polarsys.chess.core.util.CHESSProjectSupport;
import org.polarsys.chess.core.util.uml.ResourceUtils;
import org.polarsys.chess.m2m.Activator;
......@@ -40,15 +41,20 @@ import org.eclipse.ui.IEditorPart;
import org.eclipse.ui.IFileEditorInput;
import org.eclipse.ui.handlers.HandlerUtil;
/**
* The Class AdaGenUIHandler is the handler of the Ada code generation command (org.polarsys.chess.codegen.ada.ada.id)
* registered through the org.eclipse.ui.commands extension point
*/
public class AdaGenUIHandler extends AbstractHandler {
private IProject getActiveProject(IEditorPart editor) {
IFileEditorInput input = (IFileEditorInput) editor.getEditorInput();
IFile file = input.getFile();
return file.getProject();
}
/**
* implementation of the Ada code generation command as an Eclipse Job.
* Calls the internal implementation, refreshes the active project and prints messages to the CHESS console
*
* @param event the execution event
* @return the object (always null)
* @throws ExecutionException the execution exception
*/
public Object execute(final ExecutionEvent event) throws ExecutionException {
final IEditorPart editor = HandlerUtil.getActiveEditor(event);
......@@ -62,7 +68,7 @@ public class AdaGenUIHandler extends AbstractHandler {
} catch (Exception e) {
throw e;
} finally {
getActiveProject(editor).refreshLocal(IResource.DEPTH_INFINITE, monitor);
AdaGenUtil.getActiveProject(editor).refreshLocal(IResource.DEPTH_INFINITE, monitor);
}
} catch (Exception e) {
e.printStackTrace();
......@@ -94,10 +100,18 @@ public class AdaGenUIHandler extends AbstractHandler {
return null;
}
public Object execute_(IEditorPart editor, IProgressMonitor monitor) throws Exception {
/**
* Internal implementation of the Ada code generation command.
* Loads the UML model and calls the code generation
*
* @param editor the active editor
* @param monitor the progress monitor
* @throws Exception if unable to load the UML model
*/
private void execute_(IEditorPart editor, IProgressMonitor monitor) throws Exception {
monitor.beginTask("Transforming", 4);
if (!(editor instanceof PapyrusMultiDiagramEditor))
return null;
return;
PapyrusMultiDiagramEditor cEditor = (PapyrusMultiDiagramEditor) editor;
Resource inResource = null;
try {
......@@ -111,6 +125,6 @@ public class AdaGenUIHandler extends AbstractHandler {
Transformations.performCodeGeneration((PapyrusMultiDiagramEditor)editor, inputFile, monitor);
//CHESSProjectSupport.fileReplace(newFile, inputFile);
return null;
return;
}
}
plugins/org.polarsys.chess.codegen.ada/src/org/polarsys/chess/codegen/ada/main/GenerateInfrastructure.java
+ 3
− 4
View file @ df25d1d5
......@@ -310,11 +310,10 @@ public class GenerateInfrastructure extends AbstractAcceleoGenerator {
/**
* Adds a properties file in the list of properties files.
*
* @param propertiesFile
* The properties file to add.
* @generated
*
* @param propertiesFile The properties file to add.
* @since 3.1
* @generated
*/
@Override
public void addPropertiesFile(String propertiesFile) {
......
plugins/org.polarsys.chess.codegen.ada/src/org/polarsys/chess/codegen/ada/service/UML2Service.java
+ 1431
− 992
View file @ df25d1d5
......@@ -13,7 +13,7 @@
-- v1.0 which accompanies this distribution, and is available at --
-- http://www.eclipse.org/legal/epl-v10.html --
-----------------------------------------------------------------------
*/
*/
/**
* 2015/04/03 NP: fixed problem regarding ordering of slots in instances of connectors
......@@ -63,854 +63,1104 @@ import org.polarsys.chess.chessmlprofile.Dependability.MitigationMeans.Transmiss
import org.polarsys.chess.chessmlprofile.Predictability.RTComponentModel.CHRtPortSlot;
import org.polarsys.chess.chessmlprofile.Predictability.RTComponentModel.CHRtSpecification;
public class UML2Service {
// TODO: Auto-generated Javadoc
/**
* The Class UML2Service contains utility methods that are meant to be called from the Acceleo Transformation
*/
public class UML2Service {
/** The Constant DOCSTEREO. */
private static final String DOCSTEREO = "Papyrus::Documentation::Documentation";
// private static final String REQUIREMENT_EXTENSION = "requirement";
// private static final Object LINK = "#Link_to";
/**
* Gets the provided interface from a Port (must be stereotyped as ClientServerPort)
*
* @param port the port
* @param stName the stereotype name. Must be "MARTE::MARTE_DesignModel::GCM::ClientServerPort"
* @return the provided interface
*/
public Interface getProvidedInterface(Port port, String stName) {
Stereotype clSvPortSt = port.getAppliedStereotype(stName);
ClientServerPort clSvPort = (ClientServerPort) port.getStereotypeApplication(clSvPortSt);
// Assumption : 1 PI per Port
return clSvPort.getProvInterface().get(0);
}
/**
* Gets the required interface from a Port (must be stereotyped as ClientServerPort)
*
* @param port the port
* @param stName the stereotype name. Must be "MARTE::MARTE_DesignModel::GCM::ClientServerPort"
* @return the required interface
*/
public Interface getRequiredInterface(Port port, String stName) {
Stereotype clSvPortSt = port.getAppliedStereotype(stName);
ClientServerPort clSvPort = (ClientServerPort) port.getStereotypeApplication(clSvPortSt);
// Assumption : 1 RI per Port
return clSvPort.getReqInterface().get(0);
}
/**
* Checks if a specific port is a ClientServerPort which can provide interfaces.
*
* @param pt the port
* @param stName the stereotype name. Must be "MARTE::MARTE_DesignModel::GCM::ClientServerPort"
* @return true if the port is a ClientServerPort of kind PROVIDED, false otherwise
*/
public Boolean isProvidedPort(Port pt, String stName) {
Stereotype st = pt.getAppliedStereotype(stName);
ClientServerPort csp = (ClientServerPort) pt.getStereotypeApplication(st);
if (csp != null)
return csp.getKind().equals(ClientServerKind.PROVIDED);
else
return false;
}
/**
* Checks if a specific port is a ClientServerPort which can require interfaces.
*
* @param pt the port
* @param stName the stereotype name. Must be "MARTE::MARTE_DesignModel::GCM::ClientServerPort"
* @return true if the port is a ClientServerPort of kind REQUIRED, false otherwise
*/
public Boolean isRequiredPort(Port pt, String stName) {
Stereotype st = pt.getAppliedStereotype(stName);
ClientServerPort csp = (ClientServerPort) pt.getStereotypeApplication(st);
if (csp != null)
return csp.getKind().equals(ClientServerKind.REQUIRED);
else
return false;
}
/**
* Gets the list of the provided interfaces from a list of ClientServerPorts.
*
* @param portList the list of ports.
* @param stName the stereotype name. Must be "MARTE::MARTE_DesignModel::GCM::ClientServerPort"
* @return a list containing the provided interfaces.
*/
public List<Interface> getProvidedInterfaceList(List<Port> portList, String stName) {
ArrayList<Interface> intList = new ArrayList<Interface>();
Port pt = null;
Stereotype st = null;
ClientServerPort csp = null;
for (int i=0; i <portList.size(); i++) {
pt = portList.get(i);
st = pt.getAppliedStereotype(stName);
csp = (ClientServerPort) pt.getStereotypeApplication(st);
if (csp!= null && csp.getKind().equals(ClientServerKind.PROVIDED)) {
// Assumption: only 1 providedInterface x Port
intList.add(csp.getProvInterface().get(0));
}
}
return intList;
}
/**
* Returns a String representing the names of the provided interfaces from a list of ClientServerPorts.
*
* @param portList the list of ports.
* @param stName the stereotype name. Must be "MARTE::MARTE_DesignModel::GCM::ClientServerPort"
* @return the String representing the names of the provided interfaces
*/
public String getProvidedInterfaceListAsQualifiedString(List<Port> portList, String stName) {
Port pt = null;
Stereotype st = null;
ClientServerPort csp = null;
String piNameList = new String();
String interfaceName = null;
boolean firstWritten = false;
for (int i=0; i <portList.size(); i++) {
pt = portList.get(i);
st = pt.getAppliedStereotype(stName);
csp = (ClientServerPort) pt.getStereotypeApplication(st);
if (csp != null && csp.getKind().equals(ClientServerKind.PROVIDED)) {
// Assumption: only 1 providedInterface x Port
interfaceName = csp.getProvInterface().get(0).getName();
if (! firstWritten) {
piNameList += interfaceName + "." + interfaceName;
firstWritten = true;
} else {
piNameList += " and " + interfaceName + "." + interfaceName;
}
}
}
return piNameList;
}
/**
* Checks if among the elements of a List of ClientServerPort, at least one can require ports.
*
* @param portList the list of ports.
* @param stName the stereotype name. Must be "MARTE::MARTE_DesignModel::GCM::ClientServerPort"
* @return true if a ClientServerPort of kind REQUIRED is found in the list, false otherwise.
*/
public Boolean hasRequiredInterface(List<Port> portList, String stName) {
Port pt = null;
Stereotype st = null;
ClientServerPort csp = null;
for (int i=0; i <portList.size(); i++) {
pt = portList.get(i);
st = pt.getAppliedStereotype(stName);
csp = (ClientServerPort) pt.getStereotypeApplication(st);
if (csp!= null && csp.getKind().equals(ClientServerKind.REQUIRED)) {
return true;
}
}
return false;
}
/**
* Gets the list of the required interfaces from a list of ClientServerPorts.
*
* @param portList the list of ports.
* @param stName the stereotype name. Must be "MARTE::MARTE_DesignModel::GCM::ClientServerPort"
* @return a list containing the required interfaces.
*/
public List<Interface> getRequiredInterfaceList(List<Port> portList, String stName) {
ArrayList<Interface> intList = new ArrayList<Interface>();
Port pt = null;
Stereotype st = null;
ClientServerPort csp = null;
for (int i=0; i <portList.size(); i++) {
pt = portList.get(i);
st = pt.getAppliedStereotype(stName);
csp = (ClientServerPort) pt.getStereotypeApplication(st);
if (csp != null && csp.getKind().equals(ClientServerKind.REQUIRED)) {
// Assumption: only 1 requiredInterface x Port
intList.add(csp.getReqInterface().get(0));
}
}
return intList;
}
/**
* Gets a String representing the operation signature.
*
* @param c the component containing the operation
* @param op the operation
* @return the operation signature as a String
*/
public String getOperationSignature(Component c, Operation op) {
String opName = new String(c.getName() + "." + op.getName());
//MODIFIED MP WAS ELIST
List<Parameter> lParam = op.getOwnedParameters();
if (lParam.size() > 0) {
opName += "(";
opName += lParam.get(0).getType().getName();
if (lParam.size() > 1) {
for (int i=1; i < lParam.size(); i++) {
opName += ", " + lParam.get(i).getType().getName();
}
}
opName += ")";
}
return opName;
}
/**
* This is a method very specific to the Acceleo transformation (Ada code generation)
*
* @param slotList the slot list
* @param stName the st name
* @param st2Name the st2 name
* @return the package to with spec
*/
public List<String> getPackageToWithSpec(List<Object> slotList, String stName, String st2Name) {
boolean cyclicRequired = false;
boolean sporadicRequired = false;
boolean pkgSystemAdded = false;
boolean pkgRealTimeAdded = false;
boolean pkgDataStructureAdded = false;
boolean pkgContainerProtectionAdded = false;
boolean pkgCyclicTaskAdded = false;
Slot slot = null;
CHRtPortSlot chrtPs = null;
CHRtSpecification chrtSpec = null;
List<CHRtSpecification> chRtSpecList = null;
ArrayList<String> withPackageList = new ArrayList<String>();
for (int i=0; i < slotList.size(); i++) {
slot = (Slot) slotList.get(i);
List<Stereotype> stList = slot.getAppliedStereotypes();
if (! stList.isEmpty()) {
chrtPs = (CHRtPortSlot) slot.getStereotypeApplication(stList.get(0));
chRtSpecList = chrtPs.getCH_RtSpecification();
for (int j=0; j < chRtSpecList.size(); j++) {
chrtSpec = chRtSpecList.get(j);
String occKind = chrtSpec.getOccKind();
if (occKind != null && ! occKind.equals("")) {
if (occKind.startsWith("periodic") && ! cyclicRequired) {
if (! pkgRealTimeAdded) {
withPackageList.add("with Ada.Real_Time; use Ada.Real_Time;");
pkgRealTimeAdded = true;
}
if (! pkgDataStructureAdded) {
withPackageList.add("with Data_Structure;");
pkgDataStructureAdded = true;
}
if (! pkgContainerProtectionAdded) {
withPackageList.add("with Container_Protection; use Container_Protection;");
pkgContainerProtectionAdded = true;
}
if (! pkgCyclicTaskAdded) {
withPackageList.add("with Cyclic_Task;");
pkgCyclicTaskAdded = true;
}
cyclicRequired = true;
} else if (occKind.startsWith("sporadic") && ! sporadicRequired) {
if (! pkgSystemAdded) {
withPackageList.add("with System;");
pkgSystemAdded = true;
}
if (! pkgRealTimeAdded) {
withPackageList.add("with Ada.Real_Time; use Ada.Real_Time;");
pkgRealTimeAdded = true;
}
if (! pkgDataStructureAdded) {
withPackageList.add("with Data_Structure;");
pkgDataStructureAdded = true;
}
sporadicRequired = true;
}
} else if (chrtSpec.getProtection().equals(CallConcurrencyKind.GUARDED)) {// occKind is null or ""
if (! pkgSystemAdded) {
withPackageList.add("with System;");
pkgSystemAdded = true;
}
}
}
if (cyclicRequired && sporadicRequired) {
break;
}
}
}
return withPackageList;
}
/**
* Gets the "value" substring of a given VSL string.
* For example, from the VSL String (value=45.0,unit=ms) this method returns 45.0
*
* @param inputVSL the input VSL string
* @return the "value" substring
*/
public String getValue(String inputVSL) {
int endOfValueIndex = inputVSL.indexOf(",unit");
int startOfValueIndex = inputVSL.indexOf("value=") + 6;
return inputVSL.substring(startOfValueIndex, endOfValueIndex);
}
/**
* Gets the "unit" substring of a given VSL string.
* For example, from the VSL String (value=45.0,unit=ms) this method returns ms
*
* @param inputVSL the input VSL string
* @return the "unit" substring
*/
public String getUnit(String inputVSL) {
int startOfUnitIndex = inputVSL.indexOf("unit=") + 5;
int endOfUnitIndex = inputVSL.indexOf("))");
return inputVSL.substring(startOfUnitIndex, endOfUnitIndex);
}
/**
* Gets the Priority of an operation.
* Pre-condition : op is an operation marked as "cyclic" in some CHRtSpecification
*
* @param slotList the list of Slots in the model
* @param op the Operation
* @param stName unused
* @return the priority as String, or a message error
*/
public String getPriority(List<Object> slotList, Operation op, String stName) {
Slot slot = null;
for (int i=0; i < slotList.size(); i++) {
slot = (Slot) slotList.get(i);
CHRtPortSlot chrtPs = null;
List<Stereotype> stList = slot.getAppliedStereotypes();
if (! stList.isEmpty()) {
chrtPs = (CHRtPortSlot) slot.getStereotypeApplication(stList.get(0));
List<CHRtSpecification> CHRtSpecList = chrtPs.getCH_RtSpecification();
for (int j=0; j < CHRtSpecList.size(); j++) {
if (CHRtSpecList.get(j).getContext().equals(op)) {
return CHRtSpecList.get(j).getRelativePriority();
}
}
}
}
//
return "ERROR_PRIORITY_NOT_FOUND";
}
/**
* Gets the Period or minimum interarrival time (MIAT) of an operation.
* Pre-condition : op is an operation marked as "cyclic" or "sporadic" in some CHRtSpecification
*
* @param slotList the list of Slots in the model
* @param op the Operation
* @param stName unused
* @return the period (for a "cyclic" operation) or the MIAT (for a "sporadic" operation)
*/
public String getPeriodOrMIAT(List<Object> slotList, Operation op, String stName) {
Slot slot = null;
for (int i=0; i < slotList.size(); i++) {
slot = (Slot) slotList.get(i);
CHRtPortSlot chrtPs = null;
List<Stereotype> stList = slot.getAppliedStereotypes();
if (! stList.isEmpty()) {
chrtPs = (CHRtPortSlot) slot.getStereotypeApplication(stList.get(0));
List<CHRtSpecification> CHRtSpecList = chrtPs.getCH_RtSpecification();
for (int j=0; j < CHRtSpecList.size(); j++) {
if (CHRtSpecList.get(j).getContext().equals(op)) {
String occKind = chrtPs.getCH_RtSpecification().get(0).getOccKind();
String periodOrMIAT = getValue(occKind);
if (periodOrMIAT.length() <= 5) {
return periodOrMIAT.substring(0, periodOrMIAT.length()-2);
} else {
return periodOrMIAT.substring(0, periodOrMIAT.length()-5).concat("_").
concat(periodOrMIAT.substring(periodOrMIAT.length()-5, periodOrMIAT.length()-2));
}
}
}
}
}
return "ERROR_PERIOD_OR_MIAT_NOT_FOUND";
}
/**
* Gets the Ceiling of an operation.
* Pre-condition : op is an operation marked as "cyclic", "sporadic" or "protected" in some CHRtSpecification
*
* @param slotList the list of Slots in the model
* @param op the Operation
* @param stName unused
* @return the Ceiling as String, or a message error
*/
public String getCeiling(List<Object> slotList, Operation op, String stName) {
Slot slot = null;
for (int i=0; i < slotList.size(); i++) {
slot = (Slot) slotList.get(i);
CHRtPortSlot chrtPs = null;
List<Stereotype> stList = slot.getAppliedStereotypes();
if (! stList.isEmpty()) {
chrtPs = (CHRtPortSlot) slot.getStereotypeApplication(stList.get(0));
List<CHRtSpecification> CHRtSpecList = chrtPs.getCH_RtSpecification();
for (int j=0; j < CHRtSpecList.size(); j++) {
if (CHRtSpecList.get(j).getContext().equals(op)) {
return chrtPs.getCH_RtSpecification().get(j).getCeiling();
}
}
}
}
return "ERROR_CEILING_NOT_FOUND";
}
/**
* Gets a list of cyclic operations from a list of slots.
*
* @param slotList the list of Slots in the model
* @param stName unused
* @return a list containing the cyclic operations
*/
public List<Operation> getCyclicOperationList(List<Slot> slotList, String stName) {
ArrayList<Operation> cyclicOpList = new ArrayList<Operation>();
CHRtPortSlot chrtPs = null;
Slot slot = null;
for (int i=0; i < slotList.size(); i++) {
slot = (Slot) slotList.get(i);
List<Stereotype> stList = slot.getAppliedStereotypes();
if (! stList.isEmpty()) {
chrtPs = (CHRtPortSlot) slot.getStereotypeApplication(stList.get(0));
List<CHRtSpecification> CHRtSpecList = chrtPs.getCH_RtSpecification();
for (int j=0; j < CHRtSpecList.size(); j++) {
String occKind = chrtPs.getCH_RtSpecification().get(j).getOccKind();
if (occKind != null) {
if (occKind.startsWith("periodic")) {
cyclicOpList.add((Operation) CHRtSpecList.get(j).getContext());
}
}
}
}
}
return cyclicOpList;
}
/**
* Gets a list of sporadic operations from a list of slots.
*
* @param slotList the list of Slots in the model
* @param stName unused
* @return a list containing the sporadic operations
*/
public List<Operation> getSporadicOperationList(List<Slot> slotList, String stName) {
ArrayList<Operation> sporadicOpList = new ArrayList<Operation>();
CHRtPortSlot chrtPs = null;
Slot slot = null;
for (int i=0; i < slotList.size(); i++) {
slot = (Slot) slotList.get(i);
List<Stereotype> stList = slot.getAppliedStereotypes();
if (! stList.isEmpty()) {
chrtPs = (CHRtPortSlot) slot.getStereotypeApplication(stList.get(0));
List<CHRtSpecification> CHRtSpecList = chrtPs.getCH_RtSpecification();
for (int j=0; j < CHRtSpecList.size(); j++) {
String occKind = chrtPs.getCH_RtSpecification().get(j).getOccKind();
if (occKind != null) {
if (occKind.startsWith("sporadic")) {
sporadicOpList.add((Operation) CHRtSpecList.get(j).getContext());
}
}
}
}
}
return sporadicOpList;
}
/**
* Gets a list of protected operations from a list of slots.
*
* @param slotList the list of Slots in the model
* @param stName unused
* @return a list containing the protected operations
*/
public List<Operation> getProtectedOperationList(List<Slot> slotList, String stName) {
ArrayList<Operation> protectedOpList = new ArrayList<Operation>();
CHRtPortSlot chrtPs = null;
Slot slot = null;
for (int i=0; i < slotList.size(); i++) {
slot = (Slot) slotList.get(i);
List<Stereotype> stList = slot.getAppliedStereotypes();
if (! stList.isEmpty()) {
chrtPs = (CHRtPortSlot) slot.getStereotypeApplication(stList.get(0));
List<CHRtSpecification> CHRtSpecList = chrtPs.getCH_RtSpecification();
for (int j=0; j < CHRtSpecList.size(); j++) {
String occKind = chrtPs.getCH_RtSpecification().get(j).getOccKind();
// Sporadic kind is GUARDED and occKind => sporadic(...)
if (CHRtSpecList.get(j).getProtection().equals(CallConcurrencyKind.GUARDED) &&
(occKind == null || occKind.isEmpty())) {
protectedOpList.add((Operation) CHRtSpecList.get(j).getContext());
}
}
}
}
return protectedOpList;
}
/**
* Gets the Protected Operation from the given Slot
*
* @param sl the Slot
* @param stName unused
* @return the Protected Operation
*/
public List<Operation> getSlotProtectedOperation(Slot sl, String stName) {
ArrayList<Operation> protectedOpList = new ArrayList<Operation>();
CHRtPortSlot chrtPs = null;
List<Stereotype> stList = sl.getAppliedStereotypes();
if (! stList.isEmpty()) {
chrtPs = (CHRtPortSlot) sl.getStereotypeApplication(stList.get(0));
List<CHRtSpecification> CHRtSpecList = chrtPs.getCH_RtSpecification();
for (int j=0; j < CHRtSpecList.size(); j++) {
String occKind = chrtPs.getCH_RtSpecification().get(j).getOccKind();
// Sporadic kind is GUARDED and occKind => sporadic(...)
if (CHRtSpecList.get(j).getProtection().equals(CallConcurrencyKind.GUARDED) &&
(occKind == null || occKind.isEmpty())) {
protectedOpList.add((Operation) CHRtSpecList.get(j).getContext());
}
}
}
return protectedOpList;
}
/**
* Gets a list of unprotected operations from a list of slots.
*
* @param slotList the list of Slots in the model
* @param stName unused
* @return a list containing the unprotected operations
*/
public List<Operation> getUnprotectedOperationList(List<Slot> slotList, String stName) {
ArrayList<Operation> unprotectedOpList = new ArrayList<Operation>();
CHRtPortSlot chrtPs = null;
Slot slot = null;
for (int i=0; i < slotList.size(); i++) {
slot = (Slot) slotList.get(i);
List<Stereotype> stList = slot.getAppliedStereotypes();
if (! stList.isEmpty()) {
chrtPs = (CHRtPortSlot) slot.getStereotypeApplication(stList.get(0));
List<CHRtSpecification> CHRtSpecList = chrtPs.getCH_RtSpecification();
for (int j=0; j < CHRtSpecList.size(); j++) {
String occKind = chrtPs.getCH_RtSpecification().get(j).getOccKind();
if (CHRtSpecList.get(j).getProtection().equals(CallConcurrencyKind.CONCURRENT) &&
(occKind == null || occKind.isEmpty())) {
unprotectedOpList.add((Operation) CHRtSpecList.get(j).getContext());
}
}
}
}
return unprotectedOpList;
}
/**
* Gets the list of component instances from the list of the instances with multiplicity. (i.e package "_full" in the model)
*
* @param instList the list of the instances with multiplicity
* @param stName the name of the stereotype. Must be "CHESS::ComponentModel::ComponentImplementation"
* @return the list of the component instances
*/
public List<InstanceSpecification> getComponentInstanceList(List<InstanceSpecification> instList, String stName) {
ArrayList<InstanceSpecification> componentInstanceList = new ArrayList<InstanceSpecification>();
for (int i=0; i<instList.size(); i++) {
List<Classifier> clList = instList.get(i).getClassifiers();
if (clList.size() > 0) {
Stereotype st = clList.get(0).getAppliedStereotype(stName);
if (st != null && !instList.get(i).getNearestPackage().getName().endsWith("_full")) {
componentInstanceList.add(instList.get(i));
}
}
}
return componentInstanceList;
}
/**
* Gets the list of slots that require an interface from a list of instances
*
* @param instList the list of instances
* @param stName the stereotype name. Must be "MARTE::MARTE_DesignModel::GCM::ClientServerPort"
* @return the list of slots that require an interface
*/
public List<Slot> getRequiredInterfaceSlotList(List<InstanceSpecification> instList, String stName) {
ArrayList<Slot> reqInterfaceSlotList = new ArrayList<Slot>();
for (int i=0; i<instList.size(); i++) {
List<Slot> slList = instList.get(i).getSlots();
for (int j=0; j<slList.size(); j++) {
if (slList.get(j).getDefiningFeature() instanceof Port) {
Port pt = (Port) slList.get(j).getDefiningFeature();
Stereotype st = pt.getAppliedStereotype(stName);
if (st != null) {
ClientServerPort csp = (ClientServerPort) pt.getStereotypeApplication(st);
if (csp.getKind() == ClientServerKind.REQUIRED) {
reqInterfaceSlotList.add(slList.get(j));
}
}
}
}
}
// the list of all RI
return reqInterfaceSlotList;
}
/**
* Gets the list of slots that require an interface from a single instance
*
* @param instList the InstanceSpecfication
* @param stName the stereotype name. Must be "MARTE::MARTE_DesignModel::GCM::ClientServerPort"
* @return the list of slots that require an interface
*/
public List<Slot> getInstanceRequiredInterfaceSlotList(InstanceSpecification inst, String stName) {
ArrayList<Slot> reqInterfaceSlotList = new ArrayList<Slot>();
List<Slot> slList = inst.getSlots();
for (int j=0; j<slList.size(); j++) {
if (slList.get(j).getDefiningFeature() instanceof Port) {
Port pt = (Port) slList.get(j).getDefiningFeature();
Stereotype st = pt.getAppliedStereotype(stName);
if (st != null) {
ClientServerPort csp = (ClientServerPort) pt.getStereotypeApplication(st);
if (csp.getKind() == ClientServerKind.REQUIRED) {
reqInterfaceSlotList.add(slList.get(j));
}
}
}
}
// the list of all RI slots of the instance specification
return reqInterfaceSlotList;
}
/**
* Gets the list of slots that provide an interface from a list of instances
*
* @param instList the list of instances
* @param stName the stereotype name. Must be "MARTE::MARTE_DesignModel::GCM::ClientServerPort"
* @return the list of slots that provide an interface
*/
public List<Slot> getProvidedInterfaceSlotList(List<InstanceSpecification> instList, String stName) {
ArrayList<Slot> provInterfaceSlotList = new ArrayList<Slot>();
for (int i=0; i<instList.size(); i++) {
List<Slot> slList = instList.get(i).getSlots();
for (int j=0; j<slList.size(); j++) {
if (slList.get(j).getDefiningFeature() instanceof Port) {
Port pt = (Port) slList.get(j).getDefiningFeature();
Stereotype st = pt.getAppliedStereotype(stName);
if (st != null) {
ClientServerPort csp = (ClientServerPort) pt.getStereotypeApplication(st);
if (csp.getKind() == ClientServerKind.PROVIDED) {
provInterfaceSlotList.add(slList.get(j));
}
}
}
}
}
// the list of all RI
return provInterfaceSlotList;
}
/**
* Gets the list of slots that provide an interface from a single instance
*
* @param instList the InstanceSpecfication
* @param stName the stereotype name. Must be "MARTE::MARTE_DesignModel::GCM::ClientServerPort"
* @return the list of slots that provide an interface
*/
public List<Slot> getInstanceProvidedInterfaceSlotList(InstanceSpecification inst, String stName) {
ArrayList<Slot> provInterfaceSlotList = new ArrayList<Slot>();
List<Slot> slList = inst.getSlots();
for (int j=0; j<slList.size(); j++) {
if (slList.get(j).getDefiningFeature() instanceof Port) {
Port pt = (Port) slList.get(j).getDefiningFeature();
Stereotype st = pt.getAppliedStereotype(stName);
if (st != null) {
ClientServerPort csp = (ClientServerPort) pt.getStereotypeApplication(st);
if (csp.getKind() == ClientServerKind.PROVIDED) {
provInterfaceSlotList.add(slList.get(j));
}
}
}
}
// the list of all RI slots of the instance specification
return provInterfaceSlotList;
}
/**
* Gets the connector inst list.
*
* @param instList the inst list
* @param stName the st name
* @return the connector inst list
*/
public List<InstanceSpecification> getConnectorInstList(List<InstanceSpecification> instList, String stName) {
ArrayList<InstanceSpecification> connectorInstList = new ArrayList<InstanceSpecification>();
for (int i=0; i<instList.size(); i++) {
if (instList.get(i).getClassifiers().size()==0) {
List<Slot> slList = instList.get(i).getSlots();
if (slList.size() > 0) {
Port pt = (Port) slList.get(0).getDefiningFeature();
Stereotype st = pt.getAppliedStereotype(stName);
// check if the defining feature is a <<ClientServerPort>>
if (st != null) {
connectorInstList.add(instList.get(i));
}
}
}
}
return connectorInstList;
}
/**
* Gets the component impl list.
*
* @param compList the comp list
* @param stName the st name
* @return the component impl list
*/
public List<Component> getComponentImplList(List<Component> compList, String stName) {
ArrayList<Component> compImplList = new ArrayList<Component>();
for (int i=0; i<compList.size(); i++) {
Stereotype st = compList.get(i).getAppliedStereotype(stName);
// check if it is a <<ComponentImplementation>>
if (st != null) {
compImplList.add(compList.get(i));
}
}
return compImplList;
}
/**
* Gets the provided slot bounded to the given slot
*
* @param sl the given slot
* @param connectorInstList the list of connector instances
* @return the bounded provided slot
*/
public Slot getBoundPIslot(Slot sl, List<InstanceSpecification> connectorInstList) {
// All methods based on equality between slot fail (indexOf, contains, etc..)
// Check that definingFeature and owningInstance of the slot are matching
for (int i=0; i<connectorInstList.size(); i++) {
List<Slot> slotList = connectorInstList.get(i).getSlots();
List<Slot> targetInstanceSlotList = null;
Slot targetSlot = null;
// 2 slots are included in the instance of the connecto.
Slot slot0 = slotList.get(0);
Slot slot1 = slotList.get(1);
if (slot0.getDefiningFeature().equals(sl.getDefiningFeature())) {
List<ValueSpecification> vsList = slot0.getValues();
InstanceValue iv = (InstanceValue) vsList.get(0);
if (sl.getOwningInstance().equals(iv.getInstance())) {
//slot1 is the slot in the instance of the connector
//we must return the slot in the instance of the component instance!
vsList = slot1.getValues();
iv = (InstanceValue) vsList.get(0);
InstanceSpecification targetIs = iv.getInstance();
targetInstanceSlotList = targetIs.getSlots();
for (int j = 0; j < targetInstanceSlotList.size(); j++) {
targetSlot = targetInstanceSlotList.get(j);
if (targetSlot.getDefiningFeature().equals(slot1.getDefiningFeature())) {
return targetSlot;
}
}
}
} else if (slot1.getDefiningFeature().equals(sl.getDefiningFeature())) {
List<ValueSpecification> vsList = slot1.getValues();
InstanceValue iv = (InstanceValue) vsList.get(0);
if (sl.getOwningInstance().equals(iv.getInstance())) {
//slot0 is the slot in the instance of the connector
//we must return the slot in the instance of the component instance!
vsList = slot0.getValues();
iv = (InstanceValue) vsList.get(0);
InstanceSpecification targetIs = iv.getInstance();
targetInstanceSlotList = targetIs.getSlots();
for (int j = 0; j < targetInstanceSlotList.size(); j++) {
targetSlot = targetInstanceSlotList.get(j);
if (targetSlot.getDefiningFeature().equals(slot0.getDefiningFeature())) {
return targetSlot;
}
}
}
}
}
return sl;
}
/**
* Gets the required slots bounded to the given slot
*
* @param sl the given slot
* @param connectorInstList the list of connector instances
* @return the bounded required slots list
*/
public List<Slot> getBoundRIslotList(Slot sl, List<InstanceSpecification> connectorInstList) {
List<Slot> boundRIslotList = new ArrayList<Slot>();
// Check that definingFeature and owningInstance of the slot are matching
for (int i=0; i<connectorInstList.size(); i++) {
List<Slot> slotList = connectorInstList.get(i).getSlots();
List<Slot> targetInstanceSlotList = null;
Slot targetSlot = null;
// 2 slots are included in the instance of the connector.
Slot slot0 = slotList.get(0);
Slot slot1 = slotList.get(1);
if (slot0.getDefiningFeature().equals(sl.getDefiningFeature())) {
List<ValueSpecification> vsList = slot0.getValues();
InstanceValue iv = (InstanceValue) vsList.get(0);
if (sl.getOwningInstance().equals(iv.getInstance())) {
//slot1 is the slot in the instance of the connector
//we must return the corresponding slot in the instance of the component instance!
vsList = slot1.getValues();
iv = (InstanceValue) vsList.get(0);
InstanceSpecification targetIs = iv.getInstance();
targetInstanceSlotList = targetIs.getSlots();
for (int j = 0; j < targetInstanceSlotList.size(); j++) {
targetSlot = targetInstanceSlotList.get(j);
if (targetSlot.getDefiningFeature().equals(slot1.getDefiningFeature())) {
boundRIslotList.add(targetSlot);
}
}
}
} else if (slot1.getDefiningFeature().equals(sl.getDefiningFeature())) {
List<ValueSpecification> vsList = slot1.getValues();
InstanceValue iv = (InstanceValue) vsList.get(0);
if (sl.getOwningInstance().equals(iv.getInstance())) {
//slot0 is the slot in the instance of the connector
//we must return the corresponding slot in the instance of the component instance!
vsList = slot0.getValues();
iv = (InstanceValue) vsList.get(0);
InstanceSpecification targetIs = iv.getInstance();
targetInstanceSlotList = targetIs.getSlots();
for (int j = 0; j < targetInstanceSlotList.size(); j++) {
targetSlot = targetInstanceSlotList.get(j);
if (targetSlot.getDefiningFeature().equals(slot0.getDefiningFeature())) {
boundRIslotList.add(targetSlot);
}
}
}
}
}
return boundRIslotList;
}
/**
* Checks if the given operation is cyclic
*
* @param slotList the list of slots in the model
* @param op the operation
* @param stName unused
* @return true, if the operation cyclic
*/
public boolean isCyclicOperation(List<Slot> slotList, Operation op, String stName) {
CHRtPortSlot chrtPs = null;
Slot slot = null;
for (int i=0; i < slotList.size(); i++) {
slot = (Slot) slotList.get(i);
List<Stereotype> stList = slot.getAppliedStereotypes();
if (! stList.isEmpty()) {
chrtPs = (CHRtPortSlot) slot.getStereotypeApplication(stList.get(0));
List<CHRtSpecification> CHRtSpecList = chrtPs.getCH_RtSpecification();
for (int j=0; j < CHRtSpecList.size(); j++) {
Operation myOp = (Operation) CHRtSpecList.get(j).getContext();
if (myOp.equals(op)) {
String occKind = chrtPs.getCH_RtSpecification().get(j).getOccKind();
if (occKind != null) {
if (occKind.startsWith("periodic")) {
return true;
}
}
}
}
}
}
return false;
}
private static final String DOCSTEREO = "Papyrus::Documentation::Documentation";
// private static final String REQUIREMENT_EXTENSION = "requirement";
// private static final Object LINK = "#Link_to";
/**
* Gets the list of operations called by the given operation.
*
* @param op the given operation
* @return the list of called operations
*/
public List<CallOperationAction> getCalledOperation(Operation op) {
ArrayList<CallOperationAction> coaList = new ArrayList<CallOperationAction>();
List<Behavior> bhList = op.getMethods();
public Interface getProvidedInterface(Port port, String stName) {
Stereotype clSvPortSt = port.getAppliedStereotype(stName);
ClientServerPort clSvPort = (ClientServerPort) port.getStereotypeApplication(clSvPortSt);
// Assumption : 1 PI per Port
return clSvPort.getProvInterface().get(0);
if (bhList.size() > 0) {
for (int i=0; i < bhList.size(); i++) {
if (bhList.get(i) instanceof Activity) {
List<ActivityNode> actNodeList = ((Activity) bhList.get(i)).getNodes();
for (int j=0; j < actNodeList.size(); j++) {
if (actNodeList.get(j) instanceof CallOperationAction) {
coaList.add((CallOperationAction) actNodeList.get(j));
}
}
}
}
}
return coaList;
}
public Interface getRequiredInterface(Port port, String stName) {
Stereotype clSvPortSt = port.getAppliedStereotype(stName);
ClientServerPort clSvPort = (ClientServerPort) port.getStereotypeApplication(clSvPortSt);
// Assumption : 1 RI per Port
return clSvPort.getReqInterface().get(0);
/**
* Checks if two operation are equal to each other according to the following criteria:
* name, visibility, size of parameter list
* type of parameters, name of parameters
* isAbstract is purposely not considered
*
* @param op1 the first operation
* @param op2 the second operation
* @return true, two operation are equal to each other
*/
public boolean isSameOperation(Operation op1, Operation op2) {
if (! op1.getName().equals(op2.getName())) {
return false;
}
if (! op1.getVisibility().equals(op2.getVisibility())) {
return false;
}
List<Parameter> paramList1 = op1.getOwnedParameters();
List<Parameter> paramList2 = op2.getOwnedParameters();
if (paramList1.size() != paramList2.size()) {
return false;
}
for (int i = 0; i < paramList1.size(); i++) {
Parameter par1 = paramList1.get(i);
Parameter par2 = paramList2.get(i);
//par1.getType().equals(par2.getType()) unexpectedly fails
//replacing it with a very reliable check on names
if (! par1.getType().getName().equals(par2.getType().getName())) {
return false;
}
if (! par1.getName().equals(par2.getName())) {
return false;
}
if (! par1.getDirection().equals(par2.getDirection())) {
return false;
}
}
return true;
}
/**
* Gets the interface containing the given operation searching in the list of provided interfaces
*
* @param op the given operation
* @param ptList the list of ports. Used to get the list of provided interfaces
* @param stName the stereotype name
* @return the interface containing the given operation
*/
public Interface getInterface(Operation op, List<Port> ptList, String stName) {
List<Interface> interfaceList = getProvidedInterfaceList(ptList, stName);
for (int i=0; i < interfaceList.size(); i++) {
Interface myIf = interfaceList.get(i);
List<Operation> opList = myIf.getOperations();
for (int j=0; j < opList.size(); j++) {
if ( isSameOperation(op, opList.get(j))) {
return myIf;
}
}
}
return null;
}
public Boolean isProvidedPort(Port pt, String stName) {
Stereotype st = pt.getAppliedStereotype(stName);
ClientServerPort csp = (ClientServerPort) pt.getStereotypeApplication(st);
if (csp != null)
return csp.getKind().equals(ClientServerKind.PROVIDED);
else
return false;
}
public Boolean isRequiredPort(Port pt, String stName) {
Stereotype st = pt.getAppliedStereotype(stName);
ClientServerPort csp = (ClientServerPort) pt.getStereotypeApplication(st);
if (csp != null)
return csp.getKind().equals(ClientServerKind.REQUIRED);
else
return false;
}
public List<Interface> getProvidedInterfaceList(List<Port> portList, String stName) {
ArrayList<Interface> intList = new ArrayList<Interface>();
Port pt = null;
Stereotype st = null;
ClientServerPort csp = null;
for (int i=0; i <portList.size(); i++) {
pt = portList.get(i);
st = pt.getAppliedStereotype(stName);
csp = (ClientServerPort) pt.getStereotypeApplication(st);
if (csp!= null && csp.getKind().equals(ClientServerKind.PROVIDED)) {
// Assumption: only 1 providedInterface x Port
intList.add(csp.getProvInterface().get(0));
}
}
return intList;
}
public String getProvidedInterfaceListAsQualifiedString(List<Port> portList, String stName) {
Port pt = null;
Stereotype st = null;
ClientServerPort csp = null;
String piNameList = new String();
String interfaceName = null;
boolean firstWritten = false;
for (int i=0; i <portList.size(); i++) {
pt = portList.get(i);
st = pt.getAppliedStereotype(stName);
csp = (ClientServerPort) pt.getStereotypeApplication(st);
if (csp != null && csp.getKind().equals(ClientServerKind.PROVIDED)) {
// Assumption: only 1 providedInterface x Port
interfaceName = csp.getProvInterface().get(0).getName();
if (! firstWritten) {
piNameList += interfaceName + "." + interfaceName;
firstWritten = true;
} else {
piNameList += " and " + interfaceName + "." + interfaceName;
}
}
}
return piNameList;
}
public Boolean hasRequiredInterface(List<Port> portList, String stName) {
Port pt = null;
Stereotype st = null;
ClientServerPort csp = null;
for (int i=0; i <portList.size(); i++) {
pt = portList.get(i);
st = pt.getAppliedStereotype(stName);
csp = (ClientServerPort) pt.getStereotypeApplication(st);
if (csp!= null && csp.getKind().equals(ClientServerKind.REQUIRED)) {
return true;
}
}
return false;
}
public List<Interface> getRequiredInterfaceList(List<Port> portList, String stName) {
ArrayList<Interface> intList = new ArrayList<Interface>();
Port pt = null;
Stereotype st = null;
ClientServerPort csp = null;
for (int i=0; i <portList.size(); i++) {
pt = portList.get(i);
st = pt.getAppliedStereotype(stName);
csp = (ClientServerPort) pt.getStereotypeApplication(st);
if (csp != null && csp.getKind().equals(ClientServerKind.REQUIRED)) {
// Assumption: only 1 requiredInterface x Port
intList.add(csp.getReqInterface().get(0));
}
}
return intList;
}
public String getOperationSignature(Component c, Operation op) {
String opName = new String(c.getName() + "." + op.getName());
//MODIFIED MP WAS ELIST
List<Parameter> lParam = op.getOwnedParameters();
if (lParam.size() > 0) {
opName += "(";
opName += lParam.get(0).getType().getName();
if (lParam.size() > 1) {
for (int i=1; i < lParam.size(); i++) {
opName += ", " + lParam.get(i).getType().getName();
}
}
opName += ")";
}
return opName;
}
public List<String> getPackageToWithSpec(List<Object> slotList, String stName, String st2Name) {
boolean cyclicRequired = false;
boolean sporadicRequired = false;
boolean pkgSystemAdded = false;
boolean pkgRealTimeAdded = false;
boolean pkgDataStructureAdded = false;
boolean pkgContainerProtectionAdded = false;
boolean pkgCyclicTaskAdded = false;
Slot slot = null;
CHRtPortSlot chrtPs = null;
CHRtSpecification chrtSpec = null;
List<CHRtSpecification> chRtSpecList = null;
ArrayList<String> withPackageList = new ArrayList<String>();
for (int i=0; i < slotList.size(); i++) {
slot = (Slot) slotList.get(i);
List<Stereotype> stList = slot.getAppliedStereotypes();
if (! stList.isEmpty()) {
chrtPs = (CHRtPortSlot) slot.getStereotypeApplication(stList.get(0));
chRtSpecList = chrtPs.getCH_RtSpecification();
for (int j=0; j < chRtSpecList.size(); j++) {
chrtSpec = chRtSpecList.get(j);
String occKind = chrtSpec.getOccKind();
if (occKind != null && ! occKind.equals("")) {
if (occKind.startsWith("periodic") && ! cyclicRequired) {
if (! pkgRealTimeAdded) {
withPackageList.add("with Ada.Real_Time; use Ada.Real_Time;");
pkgRealTimeAdded = true;
}
if (! pkgDataStructureAdded) {
withPackageList.add("with Data_Structure;");
pkgDataStructureAdded = true;
}
if (! pkgContainerProtectionAdded) {
withPackageList.add("with Container_Protection; use Container_Protection;");
pkgContainerProtectionAdded = true;
}
if (! pkgCyclicTaskAdded) {
withPackageList.add("with Cyclic_Task;");
pkgCyclicTaskAdded = true;
}
cyclicRequired = true;
} else if (occKind.startsWith("sporadic") && ! sporadicRequired) {
if (! pkgSystemAdded) {
withPackageList.add("with System;");
pkgSystemAdded = true;
}
if (! pkgRealTimeAdded) {
withPackageList.add("with Ada.Real_Time; use Ada.Real_Time;");
pkgRealTimeAdded = true;
}
if (! pkgDataStructureAdded) {
withPackageList.add("with Data_Structure;");
pkgDataStructureAdded = true;
}
sporadicRequired = true;
}
} else if (chrtSpec.getProtection().equals(CallConcurrencyKind.GUARDED)) {// occKind is null or ""
if (! pkgSystemAdded) {
withPackageList.add("with System;");
pkgSystemAdded = true;
}
}
}
if (cyclicRequired && sporadicRequired) {
break;
}
}
}
return withPackageList;
}
public String getValue(String inputVSL) {
int endOfValueIndex = inputVSL.indexOf(",unit");
int startOfValueIndex = inputVSL.indexOf("value=") + 6;
return inputVSL.substring(startOfValueIndex, endOfValueIndex);
/**
* Checks if is data type with required.
* Checks if the generated code requires a "with DataTypes;" clause
*
* @param aInt the Interface
* @return true, if "with DataTypes;" clause is required
*/
public boolean isDataTypeWithRequired(Interface aInt) {
List<Operation> opList = aInt.getOwnedOperations();
for (int i=0; i < opList.size(); i++) {
List<Parameter> parList = opList.get(i).getOwnedParameters();
for (int j=0; j < parList.size(); j++) {
Parameter par = parList.get(j);
if (! (par.getName().equals("Integer") || par.getName().equals("Float") ||
par.getName().equals("Natural") )) {
return true;
}
}
}
return false;
}
public String getUnit(String inputVSL) {
int startOfUnitIndex = inputVSL.indexOf("unit=") + 5;
int endOfUnitIndex = inputVSL.indexOf("))");
return inputVSL.substring(startOfUnitIndex, endOfUnitIndex);
}
public String getPriority(List<Object> slotList, Operation op, String stName) {
//Pre-condition : op is an operation marked as "cyclic" in some CHRtSpecification
Slot slot = null;
for (int i=0; i < slotList.size(); i++) {
slot = (Slot) slotList.get(i);
CHRtPortSlot chrtPs = null;
List<Stereotype> stList = slot.getAppliedStereotypes();
if (! stList.isEmpty()) {
chrtPs = (CHRtPortSlot) slot.getStereotypeApplication(stList.get(0));
List<CHRtSpecification> CHRtSpecList = chrtPs.getCH_RtSpecification();
for (int j=0; j < CHRtSpecList.size(); j++) {
if (CHRtSpecList.get(j).getContext().equals(op)) {
return CHRtSpecList.get(j).getRelativePriority();
}
}
}
}
//
return "ERROR_PRIORITY_NOT_FOUND";
}
public String getPeriodOrMIAT(List<Object> slotList, Operation op, String stName) {
//Pre-condition : op is an operation marked as "cyclic" or "sporadic" in some CHRtSpecification
Slot slot = null;
for (int i=0; i < slotList.size(); i++) {
slot = (Slot) slotList.get(i);
CHRtPortSlot chrtPs = null;
List<Stereotype> stList = slot.getAppliedStereotypes();
if (! stList.isEmpty()) {
chrtPs = (CHRtPortSlot) slot.getStereotypeApplication(stList.get(0));
List<CHRtSpecification> CHRtSpecList = chrtPs.getCH_RtSpecification();
for (int j=0; j < CHRtSpecList.size(); j++) {
if (CHRtSpecList.get(j).getContext().equals(op)) {
String occKind = chrtPs.getCH_RtSpecification().get(0).getOccKind();
String periodOrMIAT = getValue(occKind);
if (periodOrMIAT.length() <= 5) {
return periodOrMIAT.substring(0, periodOrMIAT.length()-2);
} else {
return periodOrMIAT.substring(0, periodOrMIAT.length()-5).concat("_").
concat(periodOrMIAT.substring(periodOrMIAT.length()-5, periodOrMIAT.length()-2));
}
}
}
}
}
return "ERROR_PERIOD_OR_MIAT_NOT_FOUND";
}
public String getCeiling(List<Object> slotList, Operation op, String stName) {
//Pre-condition : op is an operation marked as "cyclic", "sporadic"
// or "protected" in some CHRtSpecification
Slot slot = null;
for (int i=0; i < slotList.size(); i++) {
slot = (Slot) slotList.get(i);
CHRtPortSlot chrtPs = null;
List<Stereotype> stList = slot.getAppliedStereotypes();
if (! stList.isEmpty()) {
chrtPs = (CHRtPortSlot) slot.getStereotypeApplication(stList.get(0));
List<CHRtSpecification> CHRtSpecList = chrtPs.getCH_RtSpecification();
for (int j=0; j < CHRtSpecList.size(); j++) {
if (CHRtSpecList.get(j).getContext().equals(op)) {
return chrtPs.getCH_RtSpecification().get(j).getCeiling();
}
}
}
}
return "ERROR_CEILING_NOT_FOUND";
}
public List<Operation> getCyclicOperationList(List<Slot> slotList, String stName) {
ArrayList<Operation> cyclicOpList = new ArrayList<Operation>();
CHRtPortSlot chrtPs = null;
Slot slot = null;
for (int i=0; i < slotList.size(); i++) {
slot = (Slot) slotList.get(i);
List<Stereotype> stList = slot.getAppliedStereotypes();
if (! stList.isEmpty()) {
chrtPs = (CHRtPortSlot) slot.getStereotypeApplication(stList.get(0));
List<CHRtSpecification> CHRtSpecList = chrtPs.getCH_RtSpecification();
for (int j=0; j < CHRtSpecList.size(); j++) {
String occKind = chrtPs.getCH_RtSpecification().get(j).getOccKind();
if (occKind != null) {
if (occKind.startsWith("periodic")) {
cyclicOpList.add((Operation) CHRtSpecList.get(j).getContext());
}
}
}
}
}
return cyclicOpList;
}
public List<Operation> getSporadicOperationList(List<Slot> slotList, String stName) {
ArrayList<Operation> sporadicOpList = new ArrayList<Operation>();
CHRtPortSlot chrtPs = null;
Slot slot = null;
for (int i=0; i < slotList.size(); i++) {
slot = (Slot) slotList.get(i);
List<Stereotype> stList = slot.getAppliedStereotypes();
if (! stList.isEmpty()) {
chrtPs = (CHRtPortSlot) slot.getStereotypeApplication(stList.get(0));
List<CHRtSpecification> CHRtSpecList = chrtPs.getCH_RtSpecification();
for (int j=0; j < CHRtSpecList.size(); j++) {
String occKind = chrtPs.getCH_RtSpecification().get(j).getOccKind();
if (occKind != null) {
if (occKind.startsWith("sporadic")) {
sporadicOpList.add((Operation) CHRtSpecList.get(j).getContext());
}
}
}
}
}
return sporadicOpList;
}
public List<Operation> getProtectedOperationList(List<Slot> slotList, String stName) {
ArrayList<Operation> protectedOpList = new ArrayList<Operation>();
CHRtPortSlot chrtPs = null;
Slot slot = null;
for (int i=0; i < slotList.size(); i++) {
slot = (Slot) slotList.get(i);
List<Stereotype> stList = slot.getAppliedStereotypes();
if (! stList.isEmpty()) {
chrtPs = (CHRtPortSlot) slot.getStereotypeApplication(stList.get(0));
List<CHRtSpecification> CHRtSpecList = chrtPs.getCH_RtSpecification();
for (int j=0; j < CHRtSpecList.size(); j++) {
String occKind = chrtPs.getCH_RtSpecification().get(j).getOccKind();
// Sporadic kind is GUARDED and occKind => sporadic(...)
if (CHRtSpecList.get(j).getProtection().equals(CallConcurrencyKind.GUARDED) &&
(occKind == null || occKind.isEmpty())) {
protectedOpList.add((Operation) CHRtSpecList.get(j).getContext());
}
}
}
}
return protectedOpList;
}
public List<Operation> getSlotProtectedOperation(Slot sl, String stName) {
ArrayList<Operation> protectedOpList = new ArrayList<Operation>();
CHRtPortSlot chrtPs = null;
List<Stereotype> stList = sl.getAppliedStereotypes();
if (! stList.isEmpty()) {
chrtPs = (CHRtPortSlot) sl.getStereotypeApplication(stList.get(0));
List<CHRtSpecification> CHRtSpecList = chrtPs.getCH_RtSpecification();
for (int j=0; j < CHRtSpecList.size(); j++) {
String occKind = chrtPs.getCH_RtSpecification().get(j).getOccKind();
// Sporadic kind is GUARDED and occKind => sporadic(...)
if (CHRtSpecList.get(j).getProtection().equals(CallConcurrencyKind.GUARDED) &&
(occKind == null || occKind.isEmpty())) {
protectedOpList.add((Operation) CHRtSpecList.get(j).getContext());
}
}
}
return protectedOpList;
}
public List<Operation> getUnprotectedOperationList(List<Slot> slotList, String stName) {
ArrayList<Operation> unprotectedOpList = new ArrayList<Operation>();
CHRtPortSlot chrtPs = null;
Slot slot = null;
for (int i=0; i < slotList.size(); i++) {
slot = (Slot) slotList.get(i);
List<Stereotype> stList = slot.getAppliedStereotypes();
if (! stList.isEmpty()) {
chrtPs = (CHRtPortSlot) slot.getStereotypeApplication(stList.get(0));
List<CHRtSpecification> CHRtSpecList = chrtPs.getCH_RtSpecification();
for (int j=0; j < CHRtSpecList.size(); j++) {
String occKind = chrtPs.getCH_RtSpecification().get(j).getOccKind();
if (CHRtSpecList.get(j).getProtection().equals(CallConcurrencyKind.CONCURRENT) &&
(occKind == null || occKind.isEmpty())) {
unprotectedOpList.add((Operation) CHRtSpecList.get(j).getContext());
}
}
}
}
return unprotectedOpList;
}
public List<InstanceSpecification> getComponentInstanceList(List<InstanceSpecification> instList, String stName) {
ArrayList<InstanceSpecification> componentInstanceList = new ArrayList<InstanceSpecification>();
for (int i=0; i<instList.size(); i++) {
List<Classifier> clList = instList.get(i).getClassifiers();
if (clList.size() > 0) {
Stereotype st = clList.get(0).getAppliedStereotype(stName);
if (st != null && !instList.get(i).getNearestPackage().getName().endsWith("_full")) {
componentInstanceList.add(instList.get(i));
}
}
}
return componentInstanceList;
}
public List<Slot> getRequiredInterfaceSlotList(List<InstanceSpecification> instList, String stName) {
ArrayList<Slot> reqInterfaceSlotList = new ArrayList<Slot>();
for (int i=0; i<instList.size(); i++) {
List<Slot> slList = instList.get(i).getSlots();
for (int j=0; j<slList.size(); j++) {
if (slList.get(j).getDefiningFeature() instanceof Port) {
Port pt = (Port) slList.get(j).getDefiningFeature();
Stereotype st = pt.getAppliedStereotype(stName);
if (st != null) {
ClientServerPort csp = (ClientServerPort) pt.getStereotypeApplication(st);
if (csp.getKind() == ClientServerKind.REQUIRED) {
reqInterfaceSlotList.add(slList.get(j));
}
}
}
}
}
// the list of all RI
return reqInterfaceSlotList;
}
public List<Slot> getInstanceRequiredInterfaceSlotList(InstanceSpecification inst, String stName) {
ArrayList<Slot> reqInterfaceSlotList = new ArrayList<Slot>();
List<Slot> slList = inst.getSlots();
for (int j=0; j<slList.size(); j++) {
if (slList.get(j).getDefiningFeature() instanceof Port) {
Port pt = (Port) slList.get(j).getDefiningFeature();
Stereotype st = pt.getAppliedStereotype(stName);
if (st != null) {
ClientServerPort csp = (ClientServerPort) pt.getStereotypeApplication(st);
if (csp.getKind() == ClientServerKind.REQUIRED) {
reqInterfaceSlotList.add(slList.get(j));
}
}
}
}
// the list of all RI slots of the instance specification
return reqInterfaceSlotList;
}
public List<Slot> getProvidedInterfaceSlotList(List<InstanceSpecification> instList, String stName) {
ArrayList<Slot> provInterfaceSlotList = new ArrayList<Slot>();
for (int i=0; i<instList.size(); i++) {
List<Slot> slList = instList.get(i).getSlots();
for (int j=0; j<slList.size(); j++) {
if (slList.get(j).getDefiningFeature() instanceof Port) {
Port pt = (Port) slList.get(j).getDefiningFeature();
Stereotype st = pt.getAppliedStereotype(stName);
if (st != null) {
ClientServerPort csp = (ClientServerPort) pt.getStereotypeApplication(st);
if (csp.getKind() == ClientServerKind.PROVIDED) {
provInterfaceSlotList.add(slList.get(j));
}
}
}
}
}
// the list of all RI
return provInterfaceSlotList;
}
public List<Slot> getInstanceProvidedInterfaceSlotList(InstanceSpecification inst, String stName) {
ArrayList<Slot> provInterfaceSlotList = new ArrayList<Slot>();
List<Slot> slList = inst.getSlots();
for (int j=0; j<slList.size(); j++) {
if (slList.get(j).getDefiningFeature() instanceof Port) {
Port pt = (Port) slList.get(j).getDefiningFeature();
Stereotype st = pt.getAppliedStereotype(stName);
if (st != null) {
ClientServerPort csp = (ClientServerPort) pt.getStereotypeApplication(st);
if (csp.getKind() == ClientServerKind.PROVIDED) {
provInterfaceSlotList.add(slList.get(j));
}
}
}
}
// the list of all RI slots of the instance specification
return provInterfaceSlotList;
}
public List<InstanceSpecification> getConnectorInstList(List<InstanceSpecification> instList, String stName) {
ArrayList<InstanceSpecification> connectorInstList = new ArrayList<InstanceSpecification>();
for (int i=0; i<instList.size(); i++) {
if (instList.get(i).getClassifiers().size()==0) {
List<Slot> slList = instList.get(i).getSlots();
if (slList.size() > 0) {
Port pt = (Port) slList.get(0).getDefiningFeature();
Stereotype st = pt.getAppliedStereotype(stName);
// check if the defining feature is a <<ClientServerPort>>
if (st != null) {
connectorInstList.add(instList.get(i));
}
}
}
}
return connectorInstList;
}
public List<Component> getComponentImplList(List<Component> compList, String stName) {
ArrayList<Component> compImplList = new ArrayList<Component>();
for (int i=0; i<compList.size(); i++) {
Stereotype st = compList.get(i).getAppliedStereotype(stName);
// check if it is a <<ComponentImplementation>>
if (st != null) {
compImplList.add(compList.get(i));
}
}
return compImplList;
}
public Slot getBoundPIslot(Slot sl, List<InstanceSpecification> connectorInstList) {
// All methods based on equality between slot fail (indexOf, contains, etc..)
// Check that definingFeature and owningInstance of the slot are matching
for (int i=0; i<connectorInstList.size(); i++) {
List<Slot> slotList = connectorInstList.get(i).getSlots();
List<Slot> targetInstanceSlotList = null;
Slot targetSlot = null;
// 2 slots are included in the instance of the connecto.
Slot slot0 = slotList.get(0);
Slot slot1 = slotList.get(1);
if (slot0.getDefiningFeature().equals(sl.getDefiningFeature())) {
List<ValueSpecification> vsList = slot0.getValues();
InstanceValue iv = (InstanceValue) vsList.get(0);
if (sl.getOwningInstance().equals(iv.getInstance())) {
//slot1 is the slot in the instance of the connector
//we must return the slot in the instance of the component instance!
vsList = slot1.getValues();
iv = (InstanceValue) vsList.get(0);
InstanceSpecification targetIs = iv.getInstance();
targetInstanceSlotList = targetIs.getSlots();
for (int j = 0; j < targetInstanceSlotList.size(); j++) {
targetSlot = targetInstanceSlotList.get(j);
if (targetSlot.getDefiningFeature().equals(slot1.getDefiningFeature())) {
return targetSlot;
}
}
}
} else if (slot1.getDefiningFeature().equals(sl.getDefiningFeature())) {
List<ValueSpecification> vsList = slot1.getValues();
InstanceValue iv = (InstanceValue) vsList.get(0);
if (sl.getOwningInstance().equals(iv.getInstance())) {
//slot0 is the slot in the instance of the connector
//we must return the slot in the instance of the component instance!
vsList = slot0.getValues();
iv = (InstanceValue) vsList.get(0);
InstanceSpecification targetIs = iv.getInstance();
targetInstanceSlotList = targetIs.getSlots();
for (int j = 0; j < targetInstanceSlotList.size(); j++) {
targetSlot = targetInstanceSlotList.get(j);
if (targetSlot.getDefiningFeature().equals(slot0.getDefiningFeature())) {
return targetSlot;
}
}
}
}
}
return sl;
}
public List<Slot> getBoundRIslotList(Slot sl, List<InstanceSpecification> connectorInstList) {
List<Slot> boundRIslotList = new ArrayList<Slot>();
// Check that definingFeature and owningInstance of the slot are matching
for (int i=0; i<connectorInstList.size(); i++) {
List<Slot> slotList = connectorInstList.get(i).getSlots();
List<Slot> targetInstanceSlotList = null;
Slot targetSlot = null;
// 2 slots are included in the instance of the connector.
Slot slot0 = slotList.get(0);
Slot slot1 = slotList.get(1);
if (slot0.getDefiningFeature().equals(sl.getDefiningFeature())) {
List<ValueSpecification> vsList = slot0.getValues();
InstanceValue iv = (InstanceValue) vsList.get(0);
if (sl.getOwningInstance().equals(iv.getInstance())) {
//slot1 is the slot in the instance of the connector
//we must return the corresponding slot in the instance of the component instance!
vsList = slot1.getValues();
iv = (InstanceValue) vsList.get(0);
InstanceSpecification targetIs = iv.getInstance();
targetInstanceSlotList = targetIs.getSlots();
for (int j = 0; j < targetInstanceSlotList.size(); j++) {
targetSlot = targetInstanceSlotList.get(j);
if (targetSlot.getDefiningFeature().equals(slot1.getDefiningFeature())) {
boundRIslotList.add(targetSlot);
}
}
}
} else if (slot1.getDefiningFeature().equals(sl.getDefiningFeature())) {
List<ValueSpecification> vsList = slot1.getValues();
InstanceValue iv = (InstanceValue) vsList.get(0);
if (sl.getOwningInstance().equals(iv.getInstance())) {
//slot0 is the slot in the instance of the connector
//we must return the corresponding slot in the instance of the component instance!
vsList = slot0.getValues();
iv = (InstanceValue) vsList.get(0);
InstanceSpecification targetIs = iv.getInstance();
targetInstanceSlotList = targetIs.getSlots();
for (int j = 0; j < targetInstanceSlotList.size(); j++) {
targetSlot = targetInstanceSlotList.get(j);
if (targetSlot.getDefiningFeature().equals(slot0.getDefiningFeature())) {
boundRIslotList.add(targetSlot);
}
}
}
}
}
return boundRIslotList;
}
public boolean isCyclicOperation(List<Slot> slotList, Operation op, String stName) {
CHRtPortSlot chrtPs = null;
Slot slot = null;
for (int i=0; i < slotList.size(); i++) {
slot = (Slot) slotList.get(i);
List<Stereotype> stList = slot.getAppliedStereotypes();
if (! stList.isEmpty()) {
chrtPs = (CHRtPortSlot) slot.getStereotypeApplication(stList.get(0));
List<CHRtSpecification> CHRtSpecList = chrtPs.getCH_RtSpecification();
for (int j=0; j < CHRtSpecList.size(); j++) {
Operation myOp = (Operation) CHRtSpecList.get(j).getContext();
if (myOp.equals(op)) {
String occKind = chrtPs.getCH_RtSpecification().get(j).getOccKind();
if (occKind != null) {
if (occKind.startsWith("periodic")) {
return true;
}
}
}
}
}
}
return false;
}
public List<CallOperationAction> getCalledOperation(Operation op) {
ArrayList<CallOperationAction> coaList = new ArrayList<CallOperationAction>();
List<Behavior> bhList = op.getMethods();
if (bhList.size() > 0) {
for (int i=0; i < bhList.size(); i++) {
if (bhList.get(i) instanceof Activity) {
List<ActivityNode> actNodeList = ((Activity) bhList.get(i)).getNodes();
for (int j=0; j < actNodeList.size(); j++) {
if (actNodeList.get(j) instanceof CallOperationAction) {
coaList.add((CallOperationAction) actNodeList.get(j));
}
}
}
}
}
return coaList;
}
/* Equality criteria between operation:
* - name, visibility, size of parameter list
* type of parameters, name of parameters
*
* isAbstract is purposedly not considered
*/
public boolean isSameOperation(Operation op1, Operation op2) {
if (! op1.getName().equals(op2.getName())) {
return false;
}
if (! op1.getVisibility().equals(op2.getVisibility())) {
return false;
}
List<Parameter> paramList1 = op1.getOwnedParameters();
List<Parameter> paramList2 = op2.getOwnedParameters();
if (paramList1.size() != paramList2.size()) {
return false;
}
for (int i = 0; i < paramList1.size(); i++) {
Parameter par1 = paramList1.get(i);
Parameter par2 = paramList2.get(i);
//par1.getType().equals(par2.getType()) unexpectedly fails
//replacing it with a very reliable check on names
if (! par1.getType().getName().equals(par2.getType().getName())) {
return false;
}
if (! par1.getName().equals(par2.getName())) {
return false;
}
if (! par1.getDirection().equals(par2.getDirection())) {
return false;
}
}
return true;
}
public Interface getInterface(Operation op, List<Port> ptList, String stName) {
List<Interface> interfaceList = getProvidedInterfaceList(ptList, stName);
for (int i=0; i < interfaceList.size(); i++) {
Interface myIf = interfaceList.get(i);
List<Operation> opList = myIf.getOperations();
for (int j=0; j < opList.size(); j++) {
if ( isSameOperation(op, opList.get(j))) {
return myIf;
}
}
}
return null;
}
public boolean isDataTypeWithRequired(Interface aInt) {
List<Operation> opList = aInt.getOwnedOperations();
for (int i=0; i < opList.size(); i++) {
List<Parameter> parList = opList.get(i).getOwnedParameters();
for (int j=0; j < parList.size(); j++) {
Parameter par = parList.get(j);
if (! (par.getName().equals("Integer") || par.getName().equals("Float") ||
par.getName().equals("Natural") )) {
return true;
}
}
}
return false;
}
public String getImplementationLanguage(Component c, String stName) {
/**
* Gets the implementation language from a given ComponentImplementation.
*
* @param c the given ComponentImplementation
* @param stName the stereotype name
* @return the implementation language String
*/
public String getImplementationLanguage(Component c, String stName) {
Stereotype cImplSt = c.getAppliedStereotype(stName);
ComponentImplementation cImpl = (ComponentImplementation) c.getStereotypeApplication(cImplSt);
......@@ -920,23 +1170,36 @@ public List<Operation> getUnprotectedOperationList(List<Slot> slotList, String s
} else {
return lang;
}
}
public String adaTypeToCtype(Type type) {
if (type instanceof PrimitiveType && type.getName().equals("Integer")) {
return "int";
} else if (type instanceof PrimitiveType && type.getName().equals("Float")) {
return "float";
} else if (type instanceof PrimitiveType && type.getName().equals("Boolean")) {
return "bool";
} //else if (type instanceof Enumeration) {
}
/**
* Converts, if possible, an Ada data type to a C data type.
*
* @param type the Ada type
* @return the C type as String
*/
public String adaTypeToCtype(Type type) {
if (type instanceof PrimitiveType && type.getName().equals("Integer")) {
return "int";
} else if (type instanceof PrimitiveType && type.getName().equals("Float")) {
return "float";
} else if (type instanceof PrimitiveType && type.getName().equals("Boolean")) {
return "bool";
} //else if (type instanceof Enumeration) {
// return "int";
//}
//}
// assumes that the datatype have been defined in the datatype package
return type.getName();
}
// assumes that the datatype have been defined in the datatype package
return type.getName();
}
/**
* Checks if there is at least one ComponentImplementation with language equals to C or C++
*
* @param lComp the list of ComponentImplementation
* @param stName the stereotype name
* @return true if there is at least one ComponentImplementation with language equals to C or C++
*/
public Boolean hasCimplementation(List<Component> lComp, String stName) {
for (int i=0; i < lComp.size(); i++) {
Stereotype compImplSt = lComp.get(i).getAppliedStereotype(stName);
......@@ -950,7 +1213,13 @@ public List<Operation> getUnprotectedOperationList(List<Slot> slotList, String s
// all component implementations are realized in Ada
return false;
}
/**
* Gets the list of called operation (CalledOperationAction) from the given Activity.
*
* @param act the Activity
* @return the list of called operations
*/
public List<CallOperationAction> getCalledOperationList(Activity act) {
ArrayList<CallOperationAction> coaList = new ArrayList<CallOperationAction>();
......@@ -958,7 +1227,7 @@ public List<Operation> getUnprotectedOperationList(List<Slot> slotList, String s
ActivityNode actNode = null;
ControlFlow cf = null;
boolean finalNodeFound = false;
for (int j=0; j < actNodeList.size(); j++) {
if (actNodeList.get(j) instanceof InitialNode) {
actNode = (InitialNode) actNodeList.get(j);
......@@ -977,10 +1246,16 @@ public List<Operation> getUnprotectedOperationList(List<Slot> slotList, String s
return null;
}
}
return coaList;
}
/**
* Gets the the Intra-Component Binding (ICB) Activity of the given Operation
*
* @param op the operation
* @return the ICB Activity
*/
public Activity getICB(Operation op) {
List<Behavior> bhList = op.getMethods();
for (int i=0; i<bhList.size(); i++) {
......@@ -988,33 +1263,46 @@ public List<Operation> getUnprotectedOperationList(List<Slot> slotList, String s
return (Activity) bhList.get(i);
}
}
return null;
}
/**
* Gets the component instance list.
*
* @param cImpl the c impl
* @param allIsList the all is list
* @return the component instance list
*/
public List<InstanceSpecification> getComponentInstanceList(Component cImpl, List<InstanceSpecification> allIsList) {
ArrayList<InstanceSpecification> isList = new ArrayList<InstanceSpecification>();
for (int i=0; i<allIsList.size(); i++) {
if (allIsList.get(i).getClassifiers().get(0).equals(cImpl)) {
isList.add(allIsList.get(i));
}
}
return isList;
}
// Deployment related services
// Added on Apr 5th with a lot of rush
/**
* Checks if the system is single node.
*
* @param allIsList the list of all the instances
* @param stName the stereotype name
* @return true if the system is single node, false if it is multi node (distributed)
*/
public Boolean isSingleNodeSystem(List<InstanceSpecification> allIsList, String stName) {
InstanceSpecification processingNode = null;
Stereotype st = null;
for (int i=0; i < allIsList.size(); i++) {
st = allIsList.get(i).getAppliedStereotype(stName);
st = allIsList.get(i).getAppliedStereotype(stName);
if (st != null) {
if (processingNode == null) {
processingNode = allIsList.get(i);
......@@ -1025,38 +1313,53 @@ public List<Operation> getUnprotectedOperationList(List<Slot> slotList, String s
}
}
}
return true;
}
/**
* Gets the list of processing nodes.
*
* @param allIsList the list of all the instances
* @param stName the the stereotype name
* @return the list of processing nodes.
*/
public List<InstanceSpecification> getProcessingNodeList(List<InstanceSpecification> allIsList, String stName) {
ArrayList<InstanceSpecification> pnList = new ArrayList<InstanceSpecification>();
Stereotype st = null;
for (int i=0; i < allIsList.size(); i++) {
st = allIsList.get(i).getAppliedStereotype(stName);
st = allIsList.get(i).getAppliedStereotype(stName);
if (st != null) {
pnList.add(allIsList.get(i));
}
}
return pnList;
}
/**
* Gets the instance specification deployed to the given instance specification hw node.
*
* @param node the given hw node
* @param commList the list of comments (assigns)
* @param stName the stereotype name
* @return list of instance specification deployed
*/
public List<InstanceSpecification> getNodeInstanceSpecification(InstanceSpecification node, List<Comment> commList, String stName) {
ArrayList<InstanceSpecification> isList = new ArrayList<InstanceSpecification>();
Stereotype st = null;
Assign ass = null;
for (int i=0; i < commList.size(); i++) {
st = commList.get(i).getAppliedStereotype(stName);
if (st != null) {
ass = (Assign) commList.get(i).getStereotypeApplication(st);
if (ass.getTo().get(0).equals(node)) {
InstanceSpecification fromInst = (InstanceSpecification) ass.getFrom().get(0);
if(!isList.contains(fromInst)){
......@@ -1065,30 +1368,45 @@ public List<Operation> getUnprotectedOperationList(List<Slot> slotList, String s
}
}
}
return isList;
}
/**
* Gets the list of component implementations from the given list of instance specifications.
* (it should be the list of deployed instances @see UML2Service.getNodeInstanceSpecification)
*
* @param isList the the list of instance specifications
* @param stName the stereotype name
* @return the list of component implementations
*/
public List<Component> getNodeComponentImplementationList(List<InstanceSpecification> isList, String stName) {
ArrayList<Component> cImplList = new ArrayList<Component>();
Component cImpl = null;
for (int i=0; i < isList.size(); i++) {
if (isList.get(i).getClassifiers().get(0) instanceof Component) {
cImpl = (Component) isList.get(i).getClassifiers().get(0);
if (cImpl.getAppliedStereotype(stName) != null) {
cImplList.add(cImpl);
}
}
}
return cImplList;
}
/**
* Gets the list of component types from the given list of component implementations
*
* @param cImplList the list of component implementations
* @param stName the stereotype name
* @return the list of component types
*/
public List<Component> getNodeComponentTypeList(List<Component> cImplList, String stName) {
ArrayList<Component> cTypeList = new ArrayList<Component>();
......@@ -1106,7 +1424,14 @@ public List<Operation> getUnprotectedOperationList(List<Slot> slotList, String s
return cTypeList;
}
/**
* Gets the list of component types from the given list of component implementations
*
* @param cImplList the list of component implementations
* @param stName the stereotype name
* @return the list of component types
*/
public List<Component> getAllComponentTypeList(List<Component> allComponentList, String stName) {
ArrayList<Component> cTypeList = new ArrayList<Component>();
......@@ -1120,7 +1445,14 @@ public List<Operation> getUnprotectedOperationList(List<Slot> slotList, String s
return cTypeList;
}
/**
* Gets the list of interfaces from the given list of component types
*
* @param cImplList the list of component types
* @param stName the stereotype name
* @return the list of interfaces
*/
public List<Interface> getNodeInterfaceList(List<Component> cTypeList, String stName) {
ArrayList<Interface> ifList = new ArrayList<Interface>();
......@@ -1129,7 +1461,7 @@ public List<Operation> getUnprotectedOperationList(List<Slot> slotList, String s
for (int i=0; i < cTypeList.size(); i++) {
List<Property> pList = cTypeList.get(i).getOwnedAttributes();
ClientServerPort csp = null;
if (pList != null) {
for (int j=0; j < pList.size(); j++) {
......@@ -1156,24 +1488,32 @@ public List<Operation> getUnprotectedOperationList(List<Slot> slotList, String s
return ifList;
}
/**
* Gets the deployment processing node.
*
* @param sl the given slot
* @param commList the list of comments (Assigns)
* @param stName the stereotype name
* @return the deployment processing node
*/
public InstanceSpecification getDeploymentProcessingNode(Slot sl, List<Comment> commList, String stName) {
Stereotype st = null;
Assign ass = null;
Assign assign = null;
for (int i=0; i < commList.size(); i++) {
st = commList.get(i).getAppliedStereotype(stName);
if (st != null) {
ass = (Assign) commList.get(i).getStereotypeApplication(st);
assign = (Assign) commList.get(i).getStereotypeApplication(st);
if (ass.getFrom() != null && ass.getTo() != null) {
if (assign.getFrom() != null && assign.getTo() != null) {
if (ass.getTo().get(0) instanceof InstanceSpecification &&
ass.getFrom().get(0) instanceof InstanceSpecification) {
if (ass.getFrom().get(0).equals(sl.getOwningInstance())) {
return (InstanceSpecification) ass.getTo().get(0);
if (assign.getTo().get(0) instanceof InstanceSpecification &&
assign.getFrom().get(0) instanceof InstanceSpecification) {
if (assign.getFrom().get(0).equals(sl.getOwningInstance())) {
return (InstanceSpecification) assign.getTo().get(0);
}
}
}
......@@ -1181,28 +1521,44 @@ public List<Operation> getUnprotectedOperationList(List<Slot> slotList, String s
}
return null;
}
/**
* Checks if the remote communication is necessary.
*
* @param slList the list of slots
* @param procNode the processing node (@see UML2Service.getDeploymentProcessingNode)
* @param commList the list of comments
* @param stName the stereotype name
* @return true if remote communication is necessary, false otherwise
*/
public Boolean isRemoteCommNecessary (List<Slot> slList, InstanceSpecification procNode,
List<Comment> commList, String stName) {
for (int i=0; i < slList.size(); i++) {
if (! this.getDeploymentProcessingNode(slList.get(i), commList, stName).equals(procNode)){
return true;
}
}
return false;
}
/**
* Gets the provided operation list.
*
* @param cTypeList the list of component types
* @param stName the stereotype name
* @return the list of provided operations
*/
public List<Operation> getProvidedOperationList (List<Component> cTypeList, String stName) {
ArrayList<Operation> opList = new ArrayList<Operation>();
Stereotype st = null;
Port pt = null;
Interface myIf = null;
for (int i=0; i < cTypeList.size(); i++) {
List<Property> pList = cTypeList.get(i).getOwnedAttributes();
for (int j=0; j < pList.size(); j++) {
if (pList.get(j) instanceof Port) {
pt = (Port) pList.get(j);
......@@ -1220,33 +1576,53 @@ public List<Operation> getUnprotectedOperationList(List<Slot> slotList, String s
}
}
}
return opList;
}
/**
* Gets the remote required slot list.
*
* @param riSlotList the required slot list
* @param procNode the processing node
* @param connectorInstList the connector instance list
* @param commList the list of comments
* @param assignStName the assign stereotype name
* @return the remote required slot list
*/
public List<Slot> getRemoteRIslotList(List<Slot> riSlotList, InstanceSpecification procNode,
List<InstanceSpecification> connectorInstList, List<Comment> commList,
String assignStName) {
ArrayList<Slot> remoteRIslotList = new ArrayList<Slot>();
Slot boundSlot = null;
for (int i=0; i<riSlotList.size(); i++) {
boundSlot = getBoundPIslot(riSlotList.get(i), connectorInstList);
if (! getDeploymentProcessingNode(boundSlot, commList, assignStName).equals(procNode)) {
if (! remoteRIslotList.contains(boundSlot)) {
remoteRIslotList.add(boundSlot);
}
}
}
return remoteRIslotList;
}
/**
* Checks if remote msg client is necessary.
*
* @param riSlotList the required slot list
* @param procNode the processing node
* @param connectorInstList the connector instance list
* @param commList the list of comments
* @param assignStName the assign stereotype name
* @return true if remote msg client is necessary, false otherwise
*/
public Boolean isRemoteMsgClientNecessary(List<Slot> riSlotList, InstanceSpecification procNode,
List<InstanceSpecification> connectorInstList, List<Comment> commList, String assignStName) {
Slot boundSlot = null;
for (int i = 0; i < riSlotList.size(); i++) {
boundSlot = getBoundPIslot(riSlotList.get(i), connectorInstList);
......@@ -1255,87 +1631,124 @@ public List<Operation> getUnprotectedOperationList(List<Slot> slotList, String s
}
}
// all RI slots are connected to PI of instances deployed on the same processor node
return false;
}
/**
* Checks if remote msg server is necessary.
*
* @param slList the slot list
* @param procNode the processing node
* @param connectorInstList the connector instance list
* @param commList the list of comments
* @param stName the stereotype name
* @return true if remote msg server is necessary, false otherwise
*/
public Boolean isRemoteMsgServerNecessary (List<Slot> slList, InstanceSpecification procNode,
List<InstanceSpecification> connectorInstList, List<Comment> commList, String stName) {
List<Slot> boundSlotList = null;
for (int i=0; i < slList.size(); i++) {
boundSlotList = getBoundRIslotList(slList.get(i), connectorInstList);
for (int j=0; j < boundSlotList.size(); j++) {
if (! this.getDeploymentProcessingNode(boundSlotList.get(j), commList, stName).equals(procNode)){
return true;
}
}
}
return false;
}
/**
* Check whether to use sequence id.
*
* @param sl the slot
* @param connectorInstList the list of connector instances
* @param connectorList the list of connectors
* @param stName the stereotype name
* @return true if sequence id is used, false otherwise
*/
public Boolean useSequenceID(Slot sl, List<InstanceSpecification> connectorInstList,
List<Connector> connectorList, String stName) {
// Check that definingFeature and owningInstance of the slot are matching
for (int i=0; i<connectorInstList.size(); i++) {
List<Slot> slotList = connectorInstList.get(i).getSlots();
// 2 slots are included in the instance of the connector.
Slot slot0 = slotList.get(0);
Slot slot1 = slotList.get(1);
if (slot0.getDefiningFeature().equals(sl.getDefiningFeature())) {
List<ValueSpecification> vsList = slot0.getValues();
InstanceValue iv = (InstanceValue) vsList.get(0);
if (sl.getOwningInstance().equals(iv.getInstance())) {
return isTransmissionWithSequenceID(slot0, slot1, connectorList, stName);
}
} else if (slot1.getDefiningFeature().equals(sl.getDefiningFeature())) {
List<ValueSpecification> vsList = slot1.getValues();
InstanceValue iv = (InstanceValue) vsList.get(0);
if (sl.getOwningInstance().equals(iv.getInstance())) {
return isTransmissionWithSequenceID(slot0, slot1, connectorList, stName);
}
}
}
return false;
List<Connector> connectorList, String stName) {
// Check that definingFeature and owningInstance of the slot are matching
for (int i=0; i<connectorInstList.size(); i++) {
List<Slot> slotList = connectorInstList.get(i).getSlots();
// 2 slots are included in the instance of the connector.
Slot slot0 = slotList.get(0);
Slot slot1 = slotList.get(1);
if (slot0.getDefiningFeature().equals(sl.getDefiningFeature())) {
List<ValueSpecification> vsList = slot0.getValues();
InstanceValue iv = (InstanceValue) vsList.get(0);
if (sl.getOwningInstance().equals(iv.getInstance())) {
return isTransmissionWithSequenceID(slot0, slot1, connectorList, stName);
}
} else if (slot1.getDefiningFeature().equals(sl.getDefiningFeature())) {
List<ValueSpecification> vsList = slot1.getValues();
InstanceValue iv = (InstanceValue) vsList.get(0);
if (sl.getOwningInstance().equals(iv.getInstance())) {
return isTransmissionWithSequenceID(slot0, slot1, connectorList, stName);
}
}
}
return false;
}
/**
* Checks if the connector has transmission with sequence id.
*
* @param slot0 the first slot
* @param slot1 the second slot
* @param connectorList the list of connectors
* @param stName the stereotype name
* @return true if the connector has transmission with sequence id, false otherwise
*/
public Boolean isTransmissionWithSequenceID(Slot slot0, Slot slot1, List<Connector> connectorList, String stName) {
// assessing whether the connector has a "TransmissionWithProtocol" stereotype on it
List<ConnectorEnd> ctEndList = null;
for (int i=0; i < connectorList.size(); i++) {
ctEndList = connectorList.get(i).getEnds();
ConnectorEnd ce0 = ctEndList.get(0);
ConnectorEnd ce1 = ctEndList.get(1);
if ((ce0.getRole().equals(slot0.getDefiningFeature()) || ce1.getRole().equals(slot0.getDefiningFeature()))
&&
(ce0.getRole().equals(slot1.getDefiningFeature()) || ce1.getRole().equals(slot1.getDefiningFeature()))) {
&&
(ce0.getRole().equals(slot1.getDefiningFeature()) || ce1.getRole().equals(slot1.getDefiningFeature()))) {
Stereotype st = connectorList.get(i).getAppliedStereotype(stName);
if (st == null) {
return false;
} else {
TransmissionWithProtocol twp = (TransmissionWithProtocol) connectorList.get(i).getStereotypeApplication(st);
return twp.isUseSeqID();
}
if (st == null) {
return false;
} else {
TransmissionWithProtocol twp = (TransmissionWithProtocol) connectorList.get(i).getStereotypeApplication(st);
return twp.isUseSeqID();
}
}
}
return false;
}
/**
* Gets the CRC library.
*
* @param sl the slot
* @param connectorInstList the list of connector instances
* @param connectorList the list of connectors
* @param stName the stereotype name
* @return the CRC library
*/
public String getCRClib(Slot sl, List<InstanceSpecification> connectorInstList,
List<Connector> connectorList, String stName) {
......@@ -1366,32 +1779,47 @@ public List<Operation> getUnprotectedOperationList(List<Slot> slotList, String s
return "";
}
/**
* Gets the transmission with CRC.
*
* @param slot0 the first slot
* @param slot1 the second slot
* @param connectorList the list of connectors
* @param stName the stereotype name
* @return the transmission with CRC
*/
public String getTransmissionWithCRC(Slot slot0, Slot slot1, List<Connector> connectorList, String stName) {
// assessing whether the connector has a "TransmissionWithProtocol" stereotype on it
List<ConnectorEnd> ctEndList = null;
for (int i=0; i < connectorList.size(); i++) {
ctEndList = connectorList.get(i).getEnds();
ConnectorEnd ce0 = ctEndList.get(0);
ConnectorEnd ce1 = ctEndList.get(1);
if ((ce0.getRole().equals(slot0.getDefiningFeature()) || ce1.getRole().equals(slot0.getDefiningFeature()))
&&
(ce0.getRole().equals(slot1.getDefiningFeature()) || ce1.getRole().equals(slot1.getDefiningFeature()))) {
&&
(ce0.getRole().equals(slot1.getDefiningFeature()) || ce1.getRole().equals(slot1.getDefiningFeature()))) {
Stereotype st = connectorList.get(i).getAppliedStereotype(stName);
if (st == null) {
return "";
} else {
TransmissionWithProtocol twp = (TransmissionWithProtocol) connectorList.get(i).getStereotypeApplication(st);
return twp.getCRC();
}
if (st == null) {
return "";
} else {
TransmissionWithProtocol twp = (TransmissionWithProtocol) connectorList.get(i).getStereotypeApplication(st);
return twp.getCRC();
}
}
}
return "";
}
/**
* Gets the Papyrus documentation of an element
*
* @param elem the Element
* @return the documentation as a String
*/
public String getDocumentation(NamedElement elem){
String docString = "";
EList<Comment> comments = elem.getOwnedComments();
......@@ -1410,16 +1838,25 @@ public List<Operation> getUnprotectedOperationList(List<Slot> slotList, String s
scanner.close();
return commented;
}
/**
* Gets the tuple attributes of a MARTE's TupleType stereotype.
*
* @param dt the data type
* @param stereo the stereotype (TupleType)
* @return the list of proerties that are the tuple attributes
*/
public List<Property> getTupleAttributes(DataType dt, Stereotype stereo){
TupleType tuple = (TupleType) dt.getStereotypeApplication(stereo);
return tuple.getTupleAttrib() ;
}
/**
* checks if the op will generate a function in Ada.
* @param op
* @return true if there's one and only one parameter with direction "return"
* checks if the operation generates a function in Ada.
* it's a function if there's one and only one parameter with direction "return"
*
* @param op the operation
* @return true if it's a function, false otherwise (it is a procedure)
*/
public Boolean isFunction(Operation op){
Boolean res = false;
......@@ -1434,11 +1871,13 @@ public List<Operation> getUnprotectedOperationList(List<Slot> slotList, String s
}
return res;
}
/**
* op must be a function (see previous method)
* @param op
* @return the return parameter
* Gets the return parameter of a given operation.
* The given operation must be a function (@see UML2Service.isFunction).
*
* @param op the given Operation
* @return the return parameter of the operation
*/
public Parameter getReturnParam(Operation op){
Parameter param = null;
......
plugins/org.polarsys.chess.codegen.ada/src/org/polarsys/chess/codegen/ada/transformations/AcceleoCodeGen.java
+ 18
− 17
View file @ df25d1d5
......@@ -55,16 +55,11 @@ public class AcceleoCodeGen {
/**
* Constructor.
*
* @param modelURI
* is the URI of the model.
* @param targetFolder
* is the output folder
* @param arguments
* are the other arguments
* @throws IOException
* Thrown when the output cannot be saved.
* @generated
*
* @param modelURI is the URI of the model.
* @param targetFolder is the output folder
* @param arguments are the other arguments
* @generated
*/
public AcceleoCodeGen(URI modelURI, IContainer targetFolder, List<? extends Object> arguments) {
this.modelURI = modelURI;
......@@ -96,14 +91,12 @@ public class AcceleoCodeGen {
/**
* Finds the template in the plug-in. Returns the template plug-in URI.
*
* @param bundleID
* is the plug-in ID
* @param relativePath
* is the relative path of the template in the plug-in
*
* @param bundleID is the plug-in ID
* @param relativePath is the relative path of the template in the plug-in
* @return the template URI
* @throws IOException
* @generated
* @throws IOException Signals that an I/O exception has occurred.
* @generated
*/
@SuppressWarnings("unused")
private URI getTemplateURI(final String bundleID, final IPath relativePath) throws IOException {
......@@ -143,6 +136,14 @@ public class AcceleoCodeGen {
return result;
}
/**
* Run codegen.
*
* @param model the model
* @param target the target folder
* @param monitor the monitor used to display progress information to the user
* @throws Exception the exception
*/
public static void runCodegen(IFile model, IContainer target, IProgressMonitor monitor) throws Exception {
URI modelURI = URI.createPlatformResourceURI(model.getFullPath().toString(), true);
AcceleoCodeGen generator = new AcceleoCodeGen(modelURI, target, new ArrayList<String>());
......
plugins/org.polarsys.chess.codegen.ada/src/org/polarsys/chess/codegen/ada/transformations/Transformations.java
+ 16
− 31
View file @ df25d1d5
......@@ -14,60 +14,45 @@
package org.polarsys.chess.codegen.ada.transformations;
import org.polarsys.chess.codegen.ada.Activator;
import org.polarsys.chess.core.util.CHESSProjectSupport;
import org.polarsys.chess.m2m.TransUtil;
import org.eclipse.core.resources.IFile;
import org.eclipse.core.resources.IFolder;
import org.eclipse.core.runtime.IProgressMonitor;
import org.eclipse.m2m.internal.qvt.oml.emf.util.ModelContent;
import org.eclipse.papyrus.editor.PapyrusMultiDiagramEditor;
import org.eclipse.uml2.uml.Model;
import org.polarsys.chess.core.util.CHESSProjectSupport;
import org.polarsys.chess.m2m.TransUtil;
/**
* The Class Transformations.
*/
@SuppressWarnings("restriction")
public class Transformations {
/**
* Load the model, sets up the environment and performs the Ada code generation.
*
* @param editor the editor
* @param model the model
* @param monitor the monitor
* @throws Exception the exception
*/
public static void performCodeGeneration(final PapyrusMultiDiagramEditor editor, IFile model, IProgressMonitor monitor) throws Exception {
ModelContent mc = TransUtil.loadModel(model);
final Model mi = (Model) mc.getContent().get(0);
// TransactionalEditingDomain editingDomain = editor.getServicesRegistry().getService(ModelSet.class).getTransactionalEditingDomain();
// final InternalValidator v = new InternalValidator(mi, editingDomain);
// int res = InternalValidator.GUI.validate(editor, v, mi);
// if (res != 0)
// return;
String codeGenDir = TransUtil.CODEGEN_DIR + "_" + mi.getName();
// IFolder transDir = model.getProject().getFolder(TransUtil.PIM_PSM_DIR);
IFolder srcDir = model.getProject().getFolder(codeGenDir);
CHESSProjectSupport.bundleToProjectCopy(org.polarsys.chess.codegen.ada.Activator.PLUGIN_ID, org.polarsys.chess.codegen.ada.Activator.getDefault(), "src-lib", model.getProject(), codeGenDir, false);
// Delete the working dir if it exists
// CHESSProjectSupport.deleteFolder(transDir);
// CHESSProjectSupport.createFolder(transDir);
CHESSProjectSupport.createFolder(model.getProject().getFolder(codeGenDir + "/obj"));
// Work on a copy of the model
// IFile modelCopy = CHESSProjectSupport.copyFile(model, TransUtil.PIM_PSM_DIR, model.getName());
// Remove the content of the RtAnalysisPackage
// TransUtil.purgeModel(modelCopy);
//TODO enable the transformation when it works
// Execute the various steps of the transformations
//QVToTransformation.launchPIM2PSM(modelCopy, monitor);
// QVToTransformation.launchCeilingAssignment(modelCopy, monitor);
// Replace the input model file with the transformed model
//CHESSProjectSupport.fileReplace(modelCopy, model);
AcceleoCodeGen.runCodegen(model/*Copy*/, srcDir, monitor);
// Finally delete the working dir
// CHESSProjectSupport.deleteFolder(transDir);
}
}
\ No newline at end of file
plugins/org.polarsys.chess.codegen.ada/tasks/generateInfrastructure.xml
+ 8
− 8
View file @ df25d1d5
<?xml version="1.0" encoding="UTF-8"?>
<project default="generateInfrastructure" name="org.polarsys.chess.codegen.ada">
<property name="ECLIPSE_HOME" value="../../../../../Programs/CHESS_Luna/eclipse"/>
<property name="ECLIPSE_WORKSPACE" value="../.."/>
<property name="ECLIPSE_HOME" value="../../../../../../../../Programs/CHESS_Luna/eclipse"/>
<property name="ECLIPSE_WORKSPACE" value="../../../../../0.9.0_Workspace"/>
<!-- The classpath with only the dependencies used by the project -->
<path id="org.polarsys.chess.codegen.ada.libraryclasspath">
......@@ -36,13 +36,13 @@
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.engine_3.5.1.201409021433.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.codegen.ecore_2.10.2.v20150123-0452.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.codegen_2.10.0.v20150123-0452.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.marte.static.profile_1.0.2.v201502181446.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.marte.static.profile_1.0.2.v201504031223.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.commands_3.6.100.v20140528-1422.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.resources_3.9.1.v20140825-1431.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core_1.0.2.v201502181349.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.sasheditor_1.0.2.v201502181349.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.sasheditor.di_1.0.2.v201502181349.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.editor_1.0.2.v201502181349.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core_1.0.2.v201504030953.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.sasheditor_1.0.2.v201504030953.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.sasheditor.di_1.0.2.v201504030953.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.editor_1.0.2.v201504030953.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.m2m.qvt.oml.common_3.4.0.v20140306-0649.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.m2m.qvt.oml.emf.util_3.4.0.v20140306-0718.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui_3.106.1.v20141002-1150.jar"/>
......@@ -52,7 +52,7 @@
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.workbench_3.106.2.v20150204-1030.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.e4.ui.workbench3_0.12.0.v20140227-2118.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.ide_3.10.2.v20141118-1227.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.sysml_1.0.2.v201502181349.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.sysml_1.0.2.v201504030953.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.uml.profile.standard_1.0.0.v20150202-0947.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.views_3.7.0.v20140408-0703.jar"/>
</path>
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent