plugins/mobius/org.polarsys.chess.mobius/src/org/polarsys/chess/mobius/templates/OptFragmentTemplate.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 OptFragmentTemplate('http://www.eclipse.org/uml2/3.0.0/UML')/]
[import org::polarsys::chess::mobius::templates::projectFileTemplate /]
[import org::polarsys::chess::mobius::templates::AltFragmentTemplate /]

[template public OptFragmentTemplate(combFrag : CombinedFragment, index : Integer, globalvars : Set(String), startPlace : String, startX : Integer, startY : Integer)]
	[let optFragmentName : String = combFrag.name]
	[let operand : InteractionOperand = combFrag.operand->first()]
	[let attack : Message = getOperandAttack(operand)]
	[let x : Integer = 50]
	[let y : Integer = 250*index]
	[comment an opt fragment is very much alike an alt one, but with just a single operand/]
	[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[optFragmentName/]</string>[setStartPlace('End'.concat(optFragmentName))/]
				<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+50/]</int>[setStartY(y+50)/]
			</point>
		</class>
		<boolean id="ReadOnly">false</boolean>
		<boolean id="ConstantMarking">true</boolean>
		<int id="InitialState">0</int>
	</class>
	[comment other places and activities/]
	<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">[optFragmentName/]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">2</int>
			<vector id="CaseDistributions">
			[let predicate : String = getPredicate(operand)]
			<string id="0">return([predicate/]);</string>[addToGlobalVars(predicate, globalvars)/]
			<string id="0">return(1.0 - [predicate/]);</string>
			[/let]
			</vector>[resetPredicateList()/]
		</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/]</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/]</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/]</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+600/]</int>
				<int id="y">[y-25/]</int>
			</point>
		</class>
		<boolean id="ReadOnly">false</boolean>
		<boolean id="ConstantMarking">true</boolean>
		<int id="InitialState">0</int>
	</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/]_failed</string>
				<boolean id="ContainsLabel">true</boolean>
				<boolean id="IsLabelShown">true</boolean>
			</class>
			<point id="CenterPoint">
				<int id="x">[x+600/]</int>
				<int id="y">[y+25/]</int>
			</point>
		</class>
		<boolean id="ReadOnly">false</boolean>
		<boolean id="ConstantMarking">true</boolean>
		<int id="InitialState">0</int>
	</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-15/]</int>
			</point>
			<point id="1">
				<int id="x">[x+600/]</int>
				<int id="y">[y-25/]</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/]_failed</string>
		<boolean id="Arrows">true</boolean>
		<vector id="PointList">
			<point id="0">
				<int id="x">[x+450/]</int>
				<int id="y">[y/]</int>
			</point>
			<point id="1">
				<int id="x">[x+600/]</int>
				<int id="y">[y+25/]</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/]</int>
			</point>
			<point id="1">
				<int id="x">[x+450/]</int>
				<int id="y">[y/]</int>
			</point>
		</vector>
	</class>
	<class id="Mobius.BaseClasses.BaseEdgeClass">
		<int id="ClassVersion">3</int>
		<int id="LineType">0</int>
		<string id="StartVertex">[optFragmentName/]Activity</string>
		<string id="FinishVertex">End[optFragmentName/]</string>
		<boolean id="Arrows">true</boolean>
		<vector id="PointList">
			<point id="0">
				<int id="x">[x+150/]</int>
				<int id="y">[y/]</int>
			</point>
			<point id="1">
				<int id="x">[x+250/]</int>
				<int id="y">[y+50/]</int>>
			</point>
		</vector>
	</class>
	<class id="Mobius.BaseClasses.BaseEdgeClass">
		<int id="ClassVersion">3</int>
		<int id="LineType">0</int>
		<string id="StartVertex">[optFragmentName/]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-15/]</int>
			</point>
			<point id="1">
				<int id="x">[x+250/]</int>
				<int id="y">[y/]</int>
			</point>
		</vector>
	</class>
	[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">[optFragmentName/]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]
	[/let]
[/template]