blob: 9ee97a6a29ecc8e0bb3905d0bf6b99e43efa3eea (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
RoomModel JavaGenTests {
import HandlerTest.* from "HandlerTest.room"
import ChoicePointTest.* from "ChoicePointTest.room"
import EnumTest.* from "EnumTest.room"
import StoreRestore.* from "StoreRestore.room"
import ChoicePointTestExtended.* from "ChoicePointTestExtended.room"
import PingPongThreadTest.* from "PingPongThreadTest.room"
import PingPongThreadTestReplPort.* from "PingPongThreadReplPortTest.room"
import SendingDataTestJava.* from "SendingDataTestJava.room"
import TCPTest.* from "TCPTest.room"
import StaticConfigTest.* from "StaticConfigTest.room"
import DynamicConfigTest.* from "DynamicConfigTest_Java.room"
import DataDrivenTest.* from "DataDrivenTest.room"
import DynamicActorTest1.* from "DynamicActorTest1.room"
import DynamicActorTest2.* from "DynamicActorTest2.room"
import DynamicActorTest3.* from "DynamicActorTest3.room"
import DynamicActorTest4.* from "DynamicActorTest4.room"
import DynamicActorTest5.* from "DynamicActorTest5.room"
import DynamicActorTest6.* from "DynamicActorTest6.room"
import DynamicActorTest7.* from "DynamicActorTest7.room"
LogicalSystem JavaGenTests {
SubSystemRef hdTest: SubSystem_HandlerTest
SubSystemRef cpTest: SubSystem_CPTest
SubSystemRef enTest: SubSystem_EnumTest
SubSystemRef stTest: SubSystem_StoreRestore
SubSystemRef cpExtTest : SubSystem_CPTestExtended
SubSystemRef ppTest: SubSystem_PingPong
SubSystemRef prTest: SubSystem_PingPongReplPort
SubSystemRef sdTest: SubSystem_SendingData
SubSystemRef tcTest: SubSystem_TCPTest
SubSystemRef scTest: SubSystem_StaticConfigTest
SubSystemRef dcTest: SubSystem_DynamicConfigTest
SubSystemRef ddTest: SubSystem_DataDriven
SubSystemRef da1Test: SubSystem_DynamicActorTest1
SubSystemRef da2Test: SubSystem_DynamicActorTest2
SubSystemRef da3Test: SubSystem_DynamicActorTest3
SubSystemRef da4Test: SubSystem_DynamicActorTest4
SubSystemRef da5Test: SubSystem_DynamicActorTest5
SubSystemRef da6Test: SubSystem_DynamicActorTest6
SubSystemRef da7Test: SubSystem_DynamicActorTest7
}
}
|