plugins/mobius/org.polarsys.chess.mobius/src/org/polarsys/chess/mobius/templates/AltFragmentTemplate.mtl

[comment
/*********************************************************************
* Copyright (c) 2019 Intecs Solutions SpA
*
* This program and the accompanying materials are made
* available under the terms of the Eclipse Public License 2.0
* which is available at https://www.eclipse.org/legal/epl-2.0/
*
* SPDX-License-Identifier: EPL-2.0
*
* Contributors: 
*   Intecs Solutions - Initial API and implementation
*   
**********************************************************************/
/]
[comment encoding = UTF-8 /]

[module AltFragmentTemplate('http://www.eclipse.org/uml2/3.0.0/UML')/]
[import org::polarsys::chess::mobius::templates::projectFileTemplate /]

[template public AltFragmentTemplate(combFrag : CombinedFragment, index : Integer, globalvars : Set(String), startPlace : String, startX : Integer, startY : Integer)]
	[let altFragmentName : String = combFrag.name]
	[let operands : OrderedSet(InteractionOperand) = combFrag.operand]
	[let x : Integer = 50]
	[let y : Integer = 250*index]
	[comment places and activities/]
	<class id="Mobius.AtomicModels.San.PlacePanelObject">
		<int id="ClassVersion">1</int>
		<class id="Mobius.BaseClasses.BaseVertexClass">
			<int id="ClassVersion">3</int>
			<class id="Mobius.BaseClasses.BasePanelObjectClass">
				<int id="ClassVersion">5</int>
				<string id="Name">[altFragmentName/]_failed</string>
				<boolean id="ContainsLabel">true</boolean>
				<boolean id="IsLabelShown">true</boolean>
			</class>
			<point id="CenterPoint">
				<int id="x">[x+750/]</int>
				<int id="y">[y+operands->size()*75/]</int>
			</point>
		</class>
		<boolean id="ReadOnly">false</boolean>
		<boolean id="ConstantMarking">true</boolean>
		<int id="InitialState">0</int>
	</class>
	[comment this is the end place /]
	<class id="Mobius.AtomicModels.San.PlacePanelObject">
		<int id="ClassVersion">1</int>
		<class id="Mobius.BaseClasses.BaseVertexClass">
			<int id="ClassVersion">3</int>
			<class id="Mobius.BaseClasses.BasePanelObjectClass">
				<int id="ClassVersion">5</int>
				<string id="Name">End[altFragmentName/]</string>[setStartPlace('End'.concat(altFragmentName))/]
				<boolean id="ContainsLabel">true</boolean>
				<boolean id="IsLabelShown">true</boolean>
			</class>
			<point id="CenterPoint">
				<int id="x">[x+250/]</int>[setStartX(x+250)/]
				<int id="y">[y+operands->size()*75/]</int>[setStartY(y+operands->size()*75)/]
			</point>
		</class>
		<boolean id="ReadOnly">false</boolean>
		<boolean id="ConstantMarking">true</boolean>
		<int id="InitialState">0</int>
	</class>
	<class id="Mobius.AtomicModels.San.InstantaneousActivityPanelObject">
		<int id="ClassVersion">1</int>
		<class id="Mobius.AtomicModels.San.ActivityPanelObject">
			<int id="ClassVersion">1</int>
			<class id="Mobius.BaseClasses.ExtendedBaseVertexClass">
				<int id="ClassVersion">1</int>
				<class id="Mobius.BaseClasses.BaseVertexClass">
					<int id="ClassVersion">3</int>
					<class id="Mobius.BaseClasses.BasePanelObjectClass">
						<int id="ClassVersion">5</int>
						<string id="Name">[altFragmentName/]Activity</string>
						<boolean id="ContainsLabel">true</boolean>
						<boolean id="IsLabelShown">true</boolean>
					</class>
					<point id="CenterPoint">
						<int id="x">[x+150/]</int>
						<int id="y">[y/]</int>
					</point>
				</class>
			</class>
			<int id="NumberOfCases">[operands->size()/]</int>
			<vector id="CaseDistributions">
			[for (operand : InteractionOperand | operands)]
				[let predicate : String = getPredicate(operand)]
				<string id="[i-1/]">return([predicate/]);</string>[addToGlobalVars(predicate, globalvars)/]
				[/let]
			[/for]
			</vector>[resetPredicateList()/]
		</class>
	</class>
	[comment iterate over the operands/]
	[for (operand : InteractionOperand | operands)]
	[let attack : Message = getOperandAttack(operand)]
	[comment places/]
	<class id="Mobius.AtomicModels.San.PlacePanelObject">
		<int id="ClassVersion">1</int>
		<class id="Mobius.BaseClasses.BaseVertexClass">
			<int id="ClassVersion">3</int>
			<class id="Mobius.BaseClasses.BasePanelObjectClass">
				<int id="ClassVersion">5</int>
				<string id="Name">[attack.name/]</string>
				<boolean id="ContainsLabel">true</boolean>
				<boolean id="IsLabelShown">true</boolean>
			</class>
			<point id="CenterPoint">
				<int id="x">[x+250/]</int>
				<int id="y">[y+75*(i-1)/]</int>
			</point>
		</class>
		<boolean id="ReadOnly">false</boolean>
		<boolean id="ConstantMarking">true</boolean>
		<int id="InitialState">0</int>
	</class>
	<class id="Mobius.AtomicModels.San.InstantaneousActivityPanelObject">
		<int id="ClassVersion">1</int>
		<class id="Mobius.AtomicModels.San.ActivityPanelObject">
			<int id="ClassVersion">1</int>
			<class id="Mobius.BaseClasses.ExtendedBaseVertexClass">
				<int id="ClassVersion">1</int>
				<class id="Mobius.BaseClasses.BaseVertexClass">
					<int id="ClassVersion">3</int>
					<class id="Mobius.BaseClasses.BasePanelObjectClass">
						<int id="ClassVersion">5</int>
						<string id="Name">[attack.name/]_activity</string>
						<boolean id="ContainsLabel">true</boolean>
						<boolean id="IsLabelShown">true</boolean>
					</class>
					<point id="CenterPoint">
						<int id="x">[x+450/]</int>
						<int id="y">[y+75*(i-1)/]</int>
					</point>
				</class>
			</class>
			[comment TODO: is it possible to model success prob?/]
			<int id="NumberOfCases">2</int>
			<vector id="CaseDistributions">
				<string id="0">return([attack.name/]_success_prob);\t// Attack succeeds</string>
				<string id="1">return(1.0 - [attack.name/]_success_prob);\t// Attack fails</string>
			</vector>[addToGlobalVars(attack.name.concat('_success_prob'), globalvars)/]
		</class>
	</class>
	<class id="Mobius.AtomicModels.San.PlacePanelObject">
		<int id="ClassVersion">1</int>
		<class id="Mobius.BaseClasses.BaseVertexClass">
			<int id="ClassVersion">3</int>
			<class id="Mobius.BaseClasses.BasePanelObjectClass">
				<int id="ClassVersion">5</int>
				<string id="Name">[attack.name/]_success</string>
				<boolean id="ContainsLabel">true</boolean>
				<boolean id="IsLabelShown">true</boolean>
			</class>
			<point id="CenterPoint">
				<int id="x">[x+650/]</int>
				<int id="y">[y+75*(i-1)/]</int>
			</point>
		</class>
		<boolean id="ReadOnly">false</boolean>
		<boolean id="ConstantMarking">true</boolean>
		<int id="InitialState">0</int>
	</class>
	[comment edges/]
	<class id="Mobius.BaseClasses.BaseEdgeClass">
		<int id="ClassVersion">3</int>
		<int id="LineType">0</int>
		<string id="StartVertex">[altFragmentName/]Activity</string>
		<string id="FinishVertex">End[altFragmentName/]</string>
		<boolean id="Arrows">true</boolean>
		<vector id="PointList">
			<point id="0">
				<int id="x">[x+150/]</int>
				<int id="y">[y - getAltOffset(operands->size()-i, operands->size())/]</int>
			</point>
			<point id="1">
				<int id="x">[x+250/]</int>
				<int id="y">[y+operands->size()*75/]</int>
			</point>
		</vector>
	</class>
	<class id="Mobius.BaseClasses.BaseEdgeClass">
		<int id="ClassVersion">3</int>
		<int id="LineType">0</int>
		<string id="StartVertex">[altFragmentName/]Activity</string>
		<string id="FinishVertex">[attack.name/]</string>
		<boolean id="Arrows">true</boolean>
		<vector id="PointList">
			<point id="0">
				<int id="x">[x+150/]</int>
				<int id="y">[y - getAltOffset(operands->size()-i, operands->size())/]</int>
			</point>
			<point id="1">
				<int id="x">[x+250/]</int>
				<int id="y">[y+75*(i-1)/]</int>
			</point>
		</vector>
	</class>
	<class id="Mobius.BaseClasses.BaseEdgeClass">
		<int id="ClassVersion">3</int>
		<int id="LineType">0</int>
		<string id="StartVertex">[attack.name/]</string>
		<string id="FinishVertex">[attack.name/]_activity</string>
		<boolean id="Arrows">true</boolean>
		<vector id="PointList">
			<point id="0">
				<int id="x">[x+250/]</int>
				<int id="y">[y+75*(i-1)/]</int>
			</point>
			<point id="1">
				<int id="x">[x+450/]</int>
				<int id="y">[y+75*(i-1)/]</int>
			</point>
		</vector>
	</class>
	<class id="Mobius.BaseClasses.BaseEdgeClass">
		<int id="ClassVersion">3</int>
		<int id="LineType">0</int>
		<string id="StartVertex">[attack.name/]_activity</string>
		<string id="FinishVertex">[attack.name/]_success</string>
		<boolean id="Arrows">true</boolean>
		<vector id="PointList">
			<point id="0">
				<int id="x">[x+450/]</int>
				<int id="y">[y+75*(i-1)-15/]</int>
			</point>
			<point id="1">
				<int id="x">[x+650/]</int>
				<int id="y">[y+75*(i-1)/]</int>
			</point>
		</vector>
	</class>
	<class id="Mobius.BaseClasses.BaseEdgeClass">
		<int id="ClassVersion">3</int>
		<int id="LineType">0</int>
		<string id="StartVertex">[attack.name/]_activity</string>
		<string id="FinishVertex">[altFragmentName/]_failed</string>
		<boolean id="Arrows">true</boolean>
		<vector id="PointList">
			<point id="0">
				<int id="x">[x+450/]</int>
				<int id="y">[y+75*(i-1)/]</int>
			</point>
			<point id="1">
				<int id="x">[x+750/]</int>
				<int id="y">[y+operands->size()*75/]</int>
			</point>
		</vector>
	</class>
	[/let]
	[/for]
	[comment: start place is previous fragment end place/]	
	<class id="Mobius.BaseClasses.BaseEdgeClass">
		<int id="ClassVersion">3</int>
		<int id="LineType">0</int>
		<string id="StartVertex">[startPlace/]</string>
		<string id="FinishVertex">[altFragmentName/]Activity</string>
		<boolean id="Arrows">true</boolean>
		<vector id="PointList">
			<point id="0">
				<int id="x">[startX/]</int>
				<int id="y">[startY/]</int>
			</point>
			<point id="1">
				<int id="x">[x+150/]</int>
				<int id="y">[y/]</int>
			</point>
		</vector>
	</class>
	[/let]
	[/let]
	[/let]
	[/let]
[/template]

[query public getPredicate(operand : InteractionOperand) : String =
invoke('org.polarsys.chess.mobius.utils.TransformationUtil', 'getPredicate(org.eclipse.uml2.uml.InteractionOperand)', Sequence{operand})/]

[query public getOperandAttack(operand : InteractionOperand) : Message =
invoke('org.polarsys.chess.mobius.utils.TransformationUtil', 'getOperandAttack(org.eclipse.uml2.uml.InteractionOperand)', Sequence{operand})/]

[query public resetPredicateList(ctx : OclAny) : OclAny =
invoke('org.polarsys.chess.mobius.utils.TransformationUtil', 'resetPredicateList()', Sequence{})/]

[query public getAltOffset(index : Integer, size : Integer) : Integer =
invoke('org.polarsys.chess.mobius.utils.TransformationUtil', 'getAltOffset(java.lang.Integer, java.lang.Integer)', Sequence{index, size})/]