Home

Contribute

Source code


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

MappingModel MappingModel1 {
	
	import trafficlight.example.* from "trafficlight.example.room"
	import PhysicalModel1.* from "trafficlight.example.etphys"
	
	Mapping cGenRef.LS -> cGenRef.Sys {
		SubSystemMapping sys1 -> node1 {
			ThreadMapping dflt_thread -> PhysicalThread1
			ThreadMapping other_thread -> PhysicalThread1
			//ThreadMapping other_thread -> PhysicalThread2
		}
//		SubSystemMapping sys2 -> node2 {
//			ThreadMapping dflt_thread -> PhysicalThread1
//			ThreadMapping other_thread -> PhysicalThread2
//		}
	}
}