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

[template public SingleAttackTemplate(attack : Message, index : Integer, globalvars : Set(String), startPlace : String, startX : Integer, startY : Integer)]
	[let attackName : String = attack.name]
	[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">[attackName/]_failed</string>
				<boolean id="ContainsLabel">true</boolean>
				<boolean id="IsLabelShown">true</boolean>
			</class>
			<point id="CenterPoint">
				<int id="x">[x+300/]</int>
				<int id="y">[y+50/]</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">[attackName/]_success</string>
				<boolean id="ContainsLabel">true</boolean>
				<boolean id="IsLabelShown">true</boolean>
			</class>
			<point id="CenterPoint">
				<int id="x">[x+300/]</int>
				<int id="y">[y-50/]</int>
			</point>
		</class>
		<boolean id="ReadOnly">false</boolean>
		<boolean id="ConstantMarking">true</boolean>
		<int id="InitialState">0</int>
	</class>
	[comment 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[attackName/]</string>[setStartPlace('End'.concat(attackName))/]
				<boolean id="ContainsLabel">true</boolean>
				<boolean id="IsLabelShown">true</boolean>
			</class>
			<point id="CenterPoint">
				<int id="x">[x+300/]</int>[setStartX(x+300)/]
				<int id="y">[y+100/]</int>[setStartY(y+100)/]
			</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">[attackName/]_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>
			[comment TODO: is it possible to model success prob?/]
			<int id="NumberOfCases">2</int>
			<vector id="CaseDistributions">
				<string id="0">return([attackName/]_success_prob);\t// Attack succeeds</string>
				<string id="1">return(1.0 - [attackName/]_success_prob);\t// Attack fails</string>
			</vector>[addToGlobalVars(attackName.concat('_success_prob'), globalvars)/]
		</class>
	</class>
	[comment edges /]
	<class id="Mobius.BaseClasses.BaseEdgeClass">
		<int id="ClassVersion">3</int>
		<int id="LineType">0</int>
		<string id="StartVertex">[attackName/]_activity</string>
		<string id="FinishVertex">[attackName/]_failed</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+300/]</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">[attackName/]_activity</string>
		<string id="FinishVertex">[attackName/]_success</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+300/]</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">[attackName/]_activity</string>
		<string id="FinishVertex">End[attackName/]</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+300/]</int>
				<int id="y">[y+100/]</int>
			</point>
		</vector>
	</class>
	<class id="Mobius.BaseClasses.BaseEdgeClass">
		<int id="ClassVersion">3</int>
		<int id="LineType">0</int>
		<string id="StartVertex">[attackName/]_activity</string>
		<string id="FinishVertex">End[attackName/]</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+300/]</int>
				<int id="y">[y+100/]</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">[attackName/]_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]
[/template]