Instantiation B C * x * y R namespace 'Test Suites'::'Test Suite 1'::Assembly_P_P ; private import 'Test Suites'::Utils::* ; activity TestCase_Assembly_P_P() { helper = new AssertCompositeHelper() ; WriteLine("-- Running test case: Assembly connector between two parts --") ; // Testing instantiation of A_Empty_Pattern WriteLine("") ; WriteLine("- Testing instantiation of A_Empty_Pattern -") ; a_empty = new A_Empty_Pattern(); AssertEmptyPattern(a_empty.b, a_empty.c) ; // Testing instantiation of A_Unconnected_Pattern WriteLine("") ; WriteLine("- Testing instantiation of A_Unconnected_Pattern -") ; a_unconnected = new A_Unconnected_Pattern(); AssertUnconnectedPattern(a_unconnected.b, a_unconnected.c, 2, 3, helper) ; // Testing instantiation of A_Array_Pattern WriteLine("") ; WriteLine("- Testing instantiation of A_Array_Pattern") ; a_array = new A_Array_Pattern(); AssertArrayPattern(a_array.b, a_array.c, 4, helper) ; // Testing instantiation of A_Star_Pattern WriteLine("") ; WriteLine("- Testing instantiation of A_Star_Pattern") ; a_star = new A_Star_Pattern(); AssertStarPattern(a_star.b, a_star.c, 4, 3, helper) ; WriteLine("-- End of test case --") ; } Fork(helper)@1b4017e Call(AssertCompositeHelper).result(result) Call(AssertCompositeHelper).target true false Call(AssertCompositeHelper) Create(AssertCompositeHelper).result true false Create(AssertCompositeHelper) RightHandSide@cdfd32 ExpressionStatement@1422cfb Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("-- Running test case: Assembly connector between two parts --").result true false -- Running test case: Assembly connector between two parts -- Value("-- Running test case: Assembly connector between two parts --") Tuple@17427b3 ExpressionStatement@b81879 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@fb0478 ExpressionStatement@7094f Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("- Testing instantiation of A_Empty_Pattern -").result true false - Testing instantiation of A_Empty_Pattern - Value("- Testing instantiation of A_Empty_Pattern -") Tuple@776a00 ExpressionStatement@1e6bf05 Fork(a_empty)@c8fa50 Call(A_Empty_Pattern).result(result) Call(A_Empty_Pattern).target true false Call(A_Empty_Pattern) Create(A_Empty_Pattern).result true false Create(A_Empty_Pattern) RightHandSide@a9db37 ExpressionStatement@dea2c2 * Call(AssertEmptyPattern).argument(ends1) true false * Call(AssertEmptyPattern).argument(ends2) true false Call(AssertEmptyPattern) Read(b).result true false Read(b) Fork(Fork(a_empty)@c8fa50) Read(c).result true false Read(c) Fork(Fork(a_empty)@c8fa50) Tuple@81f290 ExpressionStatement@1f28092 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@bc1c01 ExpressionStatement@66326f Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("- Testing instantiation of A_Unconnected_Pattern -").result true false - Testing instantiation of A_Unconnected_Pattern - Value("- Testing instantiation of A_Unconnected_Pattern -") Tuple@1db9d13 ExpressionStatement@c1c60b Fork(a_unconnected)@1dcb093 Call(A_Unconnected_Pattern).result(result) Call(A_Unconnected_Pattern).target true false Call(A_Unconnected_Pattern) Create(A_Unconnected_Pattern).result true false Create(A_Unconnected_Pattern) RightHandSide@1cc933c ExpressionStatement@1b35169 * Call(AssertUnconnectedPattern).argument(ends1) * Call(AssertUnconnectedPattern).argument(ends2) Call(AssertUnconnectedPattern).argument(n1) Call(AssertUnconnectedPattern).argument(n2) Call(AssertUnconnectedPattern).argument(helper) Call(AssertUnconnectedPattern) Read(b).result true false Read(b) Fork(Fork(a_unconnected)@1dcb093) Read(c).result true false Read(c) Fork(Fork(a_unconnected)@1dcb093) Value(2).result true false 2 Value(2) Value(3).result true false 3 Value(3) Tuple@1263248 ExpressionStatement@85407c Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@5d9c6e ExpressionStatement@1d6de8c Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("- Testing instantiation of A_Array_Pattern").result true false - Testing instantiation of A_Array_Pattern Value("- Testing instantiation of A_Array_Pattern") Tuple@334245 ExpressionStatement@50b36c Fork(a_array)@19c512e Call(A_Array_Pattern).result() Call(A_Array_Pattern).target true false Call(A_Array_Pattern) Create(A_Array_Pattern).result true false Create(A_Array_Pattern) RightHandSide@195ad10 ExpressionStatement@66c0dd * Call(AssertArrayPattern).argument(ends1) * Call(AssertArrayPattern).argument(ends2) Call(AssertArrayPattern).argument(n) Call(AssertArrayPattern).argument(helper) Call(AssertArrayPattern) Read(b).result true false Read(b) Fork(Fork(a_array)@19c512e) Read(c).result true false Read(c) Fork(Fork(a_array)@19c512e) Value(4).result true false 4 Value(4) Tuple@1990bb1 ExpressionStatement@1be309b Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@167dec4 ExpressionStatement@16d2fa Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("- Testing instantiation of A_Star_Pattern").result true false - Testing instantiation of A_Star_Pattern Value("- Testing instantiation of A_Star_Pattern") Tuple@8fd5ae ExpressionStatement@104738a Fork(a_star)@1f7c19f Call(A_Star_Pattern).result() Call(A_Star_Pattern).target true false Call(A_Star_Pattern) Create(A_Star_Pattern).result true false Create(A_Star_Pattern) RightHandSide@c8d7c3 ExpressionStatement@3d6c36 * Call(AssertStarPattern).argument(ends1) * Call(AssertStarPattern).argument(ends2) Call(AssertStarPattern).argument(n1) Call(AssertStarPattern).argument(n2) Call(AssertStarPattern).argument(helper) Call(AssertStarPattern) Read(b).result true false Read(b) Fork(Fork(a_star)@1f7c19f) Read(c).result true false Read(c) Fork(Fork(a_star)@1f7c19f) Value(4).result true false 4 Value(4) Value(3).result true false 3 Value(3) Tuple@1b85207 ExpressionStatement@67bc62 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("-- End of test case --").result true false -- End of test case -- Value("-- End of test case --") Tuple@1eb4e65 ExpressionStatement@1427dd2 Body(TestCase_Assembly_P_P) TestCase_Assembly_P_P false Empty pattern: lower bound of part b and c is 0 * b public composite * c public composite * * r result return A_Empty_Pattern public A_Empty_Pattern Array pattern: lower bound of b and c are equals lower bound on ends of connector r is 1 4 * b public composite 4 * c public composite * * r return A_Array_Pattern public A_Array_Pattern Star pattern: lower bound on ends of connector r equal lower bound of connected parts 4 * b public composite 3 * c public composite 4 * 3 * r return A_Star_Pattern public A_Star_Pattern IntegerFunctions::Min('#ends1', n1) ; namespace 'Test Suites'::'Test Suite 1'::Assembly_P_P::AssertCompositeHelper ; private import Alf::Library::CollectionFunctions::includes ; activity assertConnected(in message : String, in end1 : any, in end2 : any) { AssertTrue(message, R::y((B)end1)->includes((C)end2)) ; } message end1 end2 Input(message) Fork(message) Input(end1) Fork(end1) Input(end2) Fork(end2) Call(AssertTrue).argument(label) Call(AssertTrue).argument(condition) Call(AssertTrue) * Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_P_P$C__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_P_P$C__).argument(element) Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_P_P$C__).result() Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_P_P$C__) * ReadLink(y).inputValue(x) * ReadLink(y).result ReadLink(y) Value(true) true Merge(CastExpression@7cc67.operand) ReadIsClassifiedObject(B).result true false ReadIsClassifiedObject(B) Fork(ReadIsClassifiedObject(B).object) Decision(ReadIsClassifiedObject(B).result) CastExpression@7cc67 parallel CastExpression@7cc67.inputElement CastExpression@7cc67.outputElement Tuple@1b93dfb Value(true) true Merge(CastExpression@1fcad65.operand) ReadIsClassifiedObject(C).result true false ReadIsClassifiedObject(C) Fork(ReadIsClassifiedObject(C).object) Decision(ReadIsClassifiedObject(C).result) CastExpression@1fcad65 parallel CastExpression@1fcad65.inputElement CastExpression@1fcad65.outputElement Tuple@1156dd6 Tuple@13f352d ExpressionStatement@17adcea Body(assertConnected) assertConnected false namespace 'Test Suites'::'Test Suite 1'::Assembly_P_P::AssertCompositeHelper ; private import Alf::Library::CollectionFunctions::includes ; activity assertNotConnected(in message : String, in end1 : any, in end2 : any) { AssertTrue(message, ! R::y((B)end1)->includes((C)end2)) ; } message end1 end2 Input(message) Fork(message) Input(end1) Fork(end1) Input(end2) Fork(end2) Call(AssertTrue).argument(label) Call(AssertTrue).argument(condition) Call(AssertTrue) * Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_P_P$C__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_P_P$C__).argument(element) Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_P_P$C__).result() Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_P_P$C__) * ReadLink(y).inputValue(x) * ReadLink(y).result ReadLink(y) Value(true) true Merge(CastExpression@5a7c28.operand) ReadIsClassifiedObject(B).result true false ReadIsClassifiedObject(B) Fork(ReadIsClassifiedObject(B).object) Decision(ReadIsClassifiedObject(B).result) CastExpression@5a7c28 parallel CastExpression@5a7c28.inputElement CastExpression@5a7c28.outputElement Tuple@3b000b Value(true) true Merge(CastExpression@8d5fb8.operand) ReadIsClassifiedObject(C).result true false ReadIsClassifiedObject(C) Fork(ReadIsClassifiedObject(C).object) Decision(ReadIsClassifiedObject(C).result) CastExpression@8d5fb8 parallel CastExpression@8d5fb8.inputElement CastExpression@8d5fb8.outputElement Tuple@f174df Call(Not).argument(x) Call(Not).result(result) Call(Not) Tuple@8967e6 ExpressionStatement@1f6101f Body(assertNotConnected) assertNotConnected false message end1 end2 assertConnected true message end1 end2 assertNotConnected true result return AssertCompositeHelper public AssertCompositeHelper Unconnected pattern: lower bound on ends of connector r is 0 2 * b public composite 3 * c public composite * * r result return A_Unconnected_Pattern public A_Unconnected_Pattern Assembly_P_P namespace 'Test Suites'::'Test Suite 1' ; private import 'Test Suites'::'Test Suite 1'::Assembly_P_P::* ; private import 'Test Suites'::'Test Suite 1'::Assembly_PWP_P::* ; private import 'Test Suites'::'Test Suite 1'::Assembly_PWP_PWP::* ; private import 'Test Suites'::'Test Suite 1'::'DefaultValues - BasicTypes'::* ; private import 'Test Suites'::'Test Suite 1'::'DefaultValues - Structures'::* ; private import 'Test Suites'::'Test Suite 1'::Delegation_Port_P::* ; private import 'Test Suites'::'Test Suite 1'::Delegation_Port_PWP::* ; private import 'Test Suites'::'Test Suite 1'::Hierarchy::* ; /** * Runs all test cases defined in Test Suite 1 */ activity 'Test Suite 1'() { WriteLine("---- Running Test Suite 1 ----") ; WriteLine("") ; TestCase_Assembly_P_P () ; WriteLine("") ; TestCase_Assembly_PWP_P () ; WriteLine("") ; TestCase_Assembly_PWP_PWP () ; WriteLine("") ; TestCase_Delegation_Port_P () ; WriteLine("") ; TestCase_Delegation_Port_PWP () ; WriteLine("") ; TestCase_Hierarchy() ; WriteLine("") ; 'Test Case - Default Values'() ; WriteLine("") ; 'Test Case - Default Values - Structures'() ; WriteLine("") ; WriteLine("") ; WriteLine("---- End of Test Suite 1 ----") ; } Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("---- Running Test Suite 1 ----").result true false ---- Running Test Suite 1 ---- Value("---- Running Test Suite 1 ----") Tuple@1ac361e ExpressionStatement@4112cf Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@112e798 ExpressionStatement@1847a81 Call(TestCase_Assembly_P_P) ExpressionStatement@15f4f7f Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@a325e4 ExpressionStatement@223628 Call(TestCase_Assembly_PWP_P) ExpressionStatement@129df4e Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@56625f ExpressionStatement@1421802 Call(TestCase_Assembly_PWP_PWP) ExpressionStatement@c4578a Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@10b4261 ExpressionStatement@564233 Call(TestCase_Delegation_Port_P) ExpressionStatement@340ccc Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@83dbd5 ExpressionStatement@18f7da0 Call(TestCase_Delegation_Port_PWP) ExpressionStatement@934893 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@1f308a8 ExpressionStatement@1bc0fda Call(TestCase_Hierarchy) ExpressionStatement@1bc97b9 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@1d8c4e7 ExpressionStatement@10d5fa5 Call(Test Case - Default Values) ExpressionStatement@6b60d4 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@150b545 ExpressionStatement@1fa5f49 Call(Test Case - Default Values - Structures) ExpressionStatement@483471 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@154e38d ExpressionStatement@174d8a5 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@1f29f74 ExpressionStatement@1043bd5 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("---- End of Test Suite 1 ----").result true false ---- End of Test Suite 1 ---- Value("---- End of Test Suite 1 ----") Tuple@c2b09b ExpressionStatement@1cada76 Body(Test Suite 1) Test Suite 1 false activity Construct() : B{ // Instantiates interaction points for (i in 1..2) { this.p -> add(new IImpl()) ; } return this ; } Construct false 2 * p public false composite B public B C * x * y R namespace 'Test Suites'::'Test Suite 1'::Assembly_PWP_P ; private import 'Test Suites'::Utils::* ; activity TestCase_Assembly_PWP_P() { helper = new AssertCompositeHelper() ; WriteLine("-- Running test case: Assembly connector between a part with port and a part --") ; // Testing instantiation of A_Empty_Pattern WriteLine("") ; WriteLine("- Testing instantiation of A_Empty_Pattern -") ; a_empty = new A_Empty_Pattern() ; AssertEmptyPattern(a_empty.b, a_empty.c) ; // Testing instantiation of A_Unconnected_Pattern WriteLine("") ; WriteLine("- Testing instantiation of A_Unconnected_Pattern -") ; a_unconnected = new A_Unconnected_Pattern(); AssertUnconnectedPattern(a_unconnected.b.p, a_unconnected.c, 4, 3, helper) ; // Testing instantiation of A_Array_Pattern WriteLine("") ; WriteLine("- Testing instantiation of A_Array_Pattern -") ; a_array = new A_Array_Pattern(); AssertArrayPattern(a_array.b.p, a_array.c, 4, helper) ; // Testing instantiation of A_Star_Pattern WriteLine("") ; WriteLine("- Testing instantiation of A_Star_Pattern -") ; a_star = new A_Star_Pattern(); AssertStarPattern(a_star.b.p, a_star.c, 4, 5, helper) ; } Fork(helper)@38512b Call(AssertCompositeHelper).result(result) Call(AssertCompositeHelper).target true false Call(AssertCompositeHelper) Create(AssertCompositeHelper).result true false Create(AssertCompositeHelper) RightHandSide@158f3b4 ExpressionStatement@281f8d Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("-- Running test case: Assembly connector between a part with port and a part --").result true false -- Running test case: Assembly connector between a part with port and a part -- Value("-- Running test case: Assembly connector between a part with port and a part --") Tuple@1008331 ExpressionStatement@5dcf66 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@55dae5 ExpressionStatement@17c62b7 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("- Testing instantiation of A_Empty_Pattern -").result true false - Testing instantiation of A_Empty_Pattern - Value("- Testing instantiation of A_Empty_Pattern -") Tuple@14bd09f ExpressionStatement@17fda0e Fork(a_empty)@d65378 Call(A_Empty_Pattern).result(result) Call(A_Empty_Pattern).target true false Call(A_Empty_Pattern) Create(A_Empty_Pattern).result true false Create(A_Empty_Pattern) RightHandSide@101f6fe ExpressionStatement@785b98 * Call(AssertEmptyPattern).argument(ends1) true false * Call(AssertEmptyPattern).argument(ends2) true false Call(AssertEmptyPattern) Read(b).result true false Read(b) Fork(Fork(a_empty)@d65378) Read(c).result true false Read(c) Fork(Fork(a_empty)@d65378) Tuple@1d84ac9 ExpressionStatement@18e0705 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@538e4 ExpressionStatement@17c7e02 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("- Testing instantiation of A_Unconnected_Pattern -").result true false - Testing instantiation of A_Unconnected_Pattern - Value("- Testing instantiation of A_Unconnected_Pattern -") Tuple@1912e3a ExpressionStatement@13eb5 Fork(a_unconnected)@4af2a3 Call(A_Unconnected_Pattern).result(result) Call(A_Unconnected_Pattern).target true false Call(A_Unconnected_Pattern) Create(A_Unconnected_Pattern).result true false Create(A_Unconnected_Pattern) RightHandSide@7fd37d ExpressionStatement@ed7453 * Call(AssertUnconnectedPattern).argument(ends1) * Call(AssertUnconnectedPattern).argument(ends2) Call(AssertUnconnectedPattern).argument(n1) Call(AssertUnconnectedPattern).argument(n2) Call(AssertUnconnectedPattern).argument(helper) Call(AssertUnconnectedPattern) Read(b).result true false Read(b) Fork(Fork(a_unconnected)@4af2a3) Fork(Read(b).result) Read(p).result true false Read(p) Collect(Read(p)) parallel Collect(Read(p)).inputElement Collect(Read(p)).outputElement Read(c).result true false Read(c) Fork(Fork(a_unconnected)@4af2a3) Value(4).result true false 4 Value(4) Value(3).result true false 3 Value(3) Tuple@305b42 ExpressionStatement@b10d34 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@16144ff ExpressionStatement@697b6b Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("- Testing instantiation of A_Array_Pattern -").result true false - Testing instantiation of A_Array_Pattern - Value("- Testing instantiation of A_Array_Pattern -") Tuple@a6e645 ExpressionStatement@a8c26f Fork(a_array)@49d642 Call(A_Array_Pattern).result(result) Call(A_Array_Pattern).target true false Call(A_Array_Pattern) Create(A_Array_Pattern).result true false Create(A_Array_Pattern) RightHandSide@191be98 ExpressionStatement@ddd7b9 * Call(AssertArrayPattern).argument(ends1) * Call(AssertArrayPattern).argument(ends2) Call(AssertArrayPattern).argument(n) Call(AssertArrayPattern).argument(helper) Call(AssertArrayPattern) Read(b).result true false Read(b) Fork(Fork(a_array)@49d642) Fork(Read(b).result) Read(p).result true false Read(p) Collect(Read(p)) parallel Collect(Read(p)).inputElement Collect(Read(p)).outputElement Read(c).result true false Read(c) Fork(Fork(a_array)@49d642) Value(4).result true false 4 Value(4) Tuple@bdcfc6 ExpressionStatement@1878d76 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@b05807 ExpressionStatement@1385c32 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("- Testing instantiation of A_Star_Pattern -").result true false - Testing instantiation of A_Star_Pattern - Value("- Testing instantiation of A_Star_Pattern -") Tuple@1f5f679 ExpressionStatement@13be142 Fork(a_star)@2a17a Call(A_Star_Pattern).result(result) Call(A_Star_Pattern).target true false Call(A_Star_Pattern) Create(A_Star_Pattern).result true false Create(A_Star_Pattern) RightHandSide@b76101 ExpressionStatement@9437bd * Call(AssertStarPattern).argument(ends1) * Call(AssertStarPattern).argument(ends2) Call(AssertStarPattern).argument(n1) Call(AssertStarPattern).argument(n2) Call(AssertStarPattern).argument(helper) Call(AssertStarPattern) Read(b).result true false Read(b) Fork(Fork(a_star)@2a17a) Fork(Read(b).result) Read(p).result true false Read(p) Collect(Read(p)) parallel Collect(Read(p)).inputElement Collect(Read(p)).outputElement Read(c).result true false Read(c) Fork(Fork(a_star)@2a17a) Value(4).result true false 4 Value(4) Value(5).result true false 5 Value(5) Tuple@1305458 ExpressionStatement@ad6e54 Body(TestCase_Assembly_PWP_P) TestCase_Assembly_PWP_P false Empty pattern: lower bound of part b and c is 0 * b public composite * c public composite * * r result return A_Empty_Pattern public A_Empty_Pattern Array pattern: lower bound of b and c are equals lower bound on ends of connector r is 1 2 * b public composite 4 * c public composite * * r result return A_Array_Pattern public A_Array_Pattern Star pattern: lower bound on ends of connector r equal lower bound of connected parts 2 * b public composite 5 * c public composite 4 * 5 * r result return A_Star_Pattern public A_Star_Pattern IntegerFunctions::Min('#ends1', n1) ; namespace 'Test Suites'::'Test Suite 1'::Assembly_PWP_P::AssertCompositeHelper ; private import Alf::Library::CollectionFunctions::includes ; activity assertConnected(in message : String, in end1 : any, in end2 : any) { AssertTrue(message, R::y((IImpl)end1)->includes((C)end2)) ; } message end1 end2 Input(message) Fork(message) Input(end1) Fork(end1) Input(end2) Fork(end2) Call(AssertTrue).argument(label) Call(AssertTrue).argument(condition) Call(AssertTrue) * Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_PWP_P$C__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_PWP_P$C__).argument(element) Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_PWP_P$C__).result() Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_PWP_P$C__) * ReadLink(y).inputValue(x) * ReadLink(y).result ReadLink(y) Value(true) true Merge(CastExpression@1813d4b.operand) ReadIsClassifiedObject(IImpl).result true false ReadIsClassifiedObject(IImpl) Fork(ReadIsClassifiedObject(IImpl).object) Decision(ReadIsClassifiedObject(IImpl).result) CastExpression@1813d4b parallel CastExpression@1813d4b.inputElement CastExpression@1813d4b.outputElement Tuple@7cfba Value(true) true Merge(CastExpression@1df2ead.operand) ReadIsClassifiedObject(C).result true false ReadIsClassifiedObject(C) Fork(ReadIsClassifiedObject(C).object) Decision(ReadIsClassifiedObject(C).result) CastExpression@1df2ead parallel CastExpression@1df2ead.inputElement CastExpression@1df2ead.outputElement Tuple@1458c26 Tuple@4d554a ExpressionStatement@1214136 Body(assertConnected) assertConnected false namespace 'Test Suites'::'Test Suite 1'::Assembly_PWP_P::AssertCompositeHelper ; private import Alf::Library::CollectionFunctions::includes ; activity assertNodeConnected_method(in message : String, in end1 : any, in end2 : any) { AssertTrue(message, ! R::y((IImpl)end1)->includes((C)end2)) ; } message end1 end2 Input(message) Fork(message) Input(end1) Fork(end1) Input(end2) Fork(end2) Call(AssertTrue).argument(label) Call(AssertTrue).argument(condition) Call(AssertTrue) * Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_PWP_P$C__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_PWP_P$C__).argument(element) Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_PWP_P$C__).result() Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_PWP_P$C__) * ReadLink(y).inputValue(x) * ReadLink(y).result ReadLink(y) Value(true) true Merge(CastExpression@175a5a7.operand) ReadIsClassifiedObject(IImpl).result true false ReadIsClassifiedObject(IImpl) Fork(ReadIsClassifiedObject(IImpl).object) Decision(ReadIsClassifiedObject(IImpl).result) CastExpression@175a5a7 parallel CastExpression@175a5a7.inputElement CastExpression@175a5a7.outputElement Tuple@15615d9 Value(true) true Merge(CastExpression@ce8f48.operand) ReadIsClassifiedObject(C).result true false ReadIsClassifiedObject(C) Fork(ReadIsClassifiedObject(C).object) Decision(ReadIsClassifiedObject(C).result) CastExpression@ce8f48 parallel CastExpression@ce8f48.inputElement CastExpression@ce8f48.outputElement Tuple@a4eea6 Call(Not).argument(x) Call(Not).result(result) Call(Not) Tuple@8f1d04 ExpressionStatement@12c897b Body(assertNodeConnected_method) assertNotConnected false message end1 end2 assertConnected true message end1 end2 assertNotConnected true result return AssertCompositeHelper public AssertCompositeHelper Unconnected pattern: lower bound on ends of connector r is 0 2 * b public composite 3 * c public composite * * r result return A_Unconnected_Pattern public A_Unconnected_Pattern InterfaceRealization1 IImpl I Assembly_PWP_P activity Construct() : B{ // Instantiates interaction points for (i in 1..2) { this.p -> add(new IImpl()) ; } return this ; } Construct false 2 * p public false composite B public B activity Construct() : C { // Instantiate port this.q = new IImpl() ; } Construct false * q public false composite result return C public C * x * y R namespace 'Test Suites'::'Test Suite 1'::Assembly_PWP_PWP ; private import 'Test Suites'::Utils::* ; activity TestCase_Assembly_PWP_PWP () { helper = new AssertCompositeHelper() ; WriteLine("-- Running test case: Assembly connector between a part with port and a part with port --") ; // Testing instantiation of A_Empty_Pattern WriteLine("") ; WriteLine("- Testing instantiation of A_Empty_Pattern -") ; a_empty = new A_Empty_Pattern() ; AssertEmptyPattern(a_empty.b, a_empty.c) ; // Testing instantiation of A_Unconnected_Pattern WriteLine("") ; WriteLine("- Testing instantiation of A_Unconnected_Pattern -") ; a_unconnected = new A_Unconnected_Pattern(); AssertUnconnectedPattern(a_unconnected.b.p, a_unconnected.c.q, 4, 3, helper) ; // Testing instantiation of A_Array_Pattern WriteLine("") ; WriteLine("- Testing instantiation of A_Array_Pattern -") ; a_array = new A_Array_Pattern(); AssertArrayPattern(a_array.b.p, a_array.c.q, 4, helper) ; // Testing instantiation of A_Star_Pattern WriteLine("") ; WriteLine("- Testing instantiation of A_Star_Pattern -") ; a_star = new A_Star_Pattern(); AssertStarPattern(a_star.b.p, a_star.c.q, 4, 5, helper) ; } Fork(helper)@1e03f68 Call(AssertCompositeHelper).result(result) Call(AssertCompositeHelper).target true false Call(AssertCompositeHelper) Create(AssertCompositeHelper).result true false Create(AssertCompositeHelper) RightHandSide@162ebc2 ExpressionStatement@4dc75d Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("-- Running test case: Assembly connector between a part with port and a part with port --").result true false -- Running test case: Assembly connector between a part with port and a part with port -- Value("-- Running test case: Assembly connector between a part with port and a part with port --") Tuple@f325f6 ExpressionStatement@fafe28 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@1fccc0b ExpressionStatement@27bc6f Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("- Testing instantiation of A_Empty_Pattern -").result true false - Testing instantiation of A_Empty_Pattern - Value("- Testing instantiation of A_Empty_Pattern -") Tuple@18007eb ExpressionStatement@92d2fc Fork(a_empty)@1671727 Call(A_Empty_Pattern).result(result) Call(A_Empty_Pattern).target true false Call(A_Empty_Pattern) Create(A_Empty_Pattern).result true false Create(A_Empty_Pattern) RightHandSide@12118ba ExpressionStatement@7c516c * Call(AssertEmptyPattern).argument(ends1) true false * Call(AssertEmptyPattern).argument(ends2) true false Call(AssertEmptyPattern) Read(b).result true false Read(b) Fork(Fork(a_empty)@1671727) Read(c).result true false Read(c) Fork(Fork(a_empty)@1671727) Tuple@12d3cc7 ExpressionStatement@1b8f8af Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@13d28da ExpressionStatement@ed49d1 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("- Testing instantiation of A_Unconnected_Pattern -").result true false - Testing instantiation of A_Unconnected_Pattern - Value("- Testing instantiation of A_Unconnected_Pattern -") Tuple@110ba25 ExpressionStatement@1e3f6ff Fork(a_unconnected)@33e2a0 Call(A_Unconnected_Pattern).result(result) Call(A_Unconnected_Pattern).target true false Call(A_Unconnected_Pattern) Create(A_Unconnected_Pattern).result true false Create(A_Unconnected_Pattern) RightHandSide@63a190 ExpressionStatement@152b821 * Call(AssertUnconnectedPattern).argument(ends1) * Call(AssertUnconnectedPattern).argument(ends2) Call(AssertUnconnectedPattern).argument(n1) Call(AssertUnconnectedPattern).argument(n2) Call(AssertUnconnectedPattern).argument(helper) Call(AssertUnconnectedPattern) Read(b).result true false Read(b) Fork(Fork(a_unconnected)@33e2a0) Fork(Read(b).result) Read(p).result true false Read(p) Collect(Read(p)) parallel Collect(Read(p)).inputElement Collect(Read(p)).outputElement Read(c).result true false Read(c) Fork(Fork(a_unconnected)@33e2a0) Fork(Read(c).result) Read(q).result true false Read(q) Collect(Read(q)) parallel Collect(Read(q)).inputElement Collect(Read(q)).outputElement Value(4).result true false 4 Value(4) Value(3).result true false 3 Value(3) Tuple@1240697 ExpressionStatement@920d9e Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@d73b4e ExpressionStatement@42c9aa Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("- Testing instantiation of A_Array_Pattern -").result true false - Testing instantiation of A_Array_Pattern - Value("- Testing instantiation of A_Array_Pattern -") Tuple@1dacd1f ExpressionStatement@1ee97d9 Fork(a_array)@1a5fda0 Call(A_Array_Pattern).result(result) Call(A_Array_Pattern).target true false Call(A_Array_Pattern) Create(A_Array_Pattern).result true false Create(A_Array_Pattern) RightHandSide@ae1959 ExpressionStatement@125c29 * Call(AssertArrayPattern).argument(ends1) * Call(AssertArrayPattern).argument(ends2) Call(AssertArrayPattern).argument(n) Call(AssertArrayPattern).argument(helper) Call(AssertArrayPattern) Read(b).result true false Read(b) Fork(Fork(a_array)@1a5fda0) Fork(Read(b).result) Read(p).result true false Read(p) Collect(Read(p)) parallel Collect(Read(p)).inputElement Collect(Read(p)).outputElement Read(c).result true false Read(c) Fork(Fork(a_array)@1a5fda0) Fork(Read(c).result) Read(q).result true false Read(q) Collect(Read(q)) parallel Collect(Read(q)).inputElement Collect(Read(q)).outputElement Value(4).result true false 4 Value(4) Tuple@2a3007 ExpressionStatement@169085f Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@96e20d ExpressionStatement@d0b248 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("- Testing instantiation of A_Star_Pattern -").result true false - Testing instantiation of A_Star_Pattern - Value("- Testing instantiation of A_Star_Pattern -") Tuple@1107804 ExpressionStatement@ceb5af Fork(a_star)@934ef4 Call(A_Star_Pattern).result(result) Call(A_Star_Pattern).target true false Call(A_Star_Pattern) Create(A_Star_Pattern).result true false Create(A_Star_Pattern) RightHandSide@124aee9 ExpressionStatement@1593820 * Call(AssertStarPattern).argument(ends1) * Call(AssertStarPattern).argument(ends2) Call(AssertStarPattern).argument(n1) Call(AssertStarPattern).argument(n2) Call(AssertStarPattern).argument(helper) Call(AssertStarPattern) Read(b).result true false Read(b) Fork(Fork(a_star)@934ef4) Fork(Read(b).result) Read(p).result true false Read(p) Collect(Read(p)) parallel Collect(Read(p)).inputElement Collect(Read(p)).outputElement Read(c).result true false Read(c) Fork(Fork(a_star)@934ef4) Fork(Read(c).result) Read(q).result true false Read(q) Collect(Read(q)) parallel Collect(Read(q)).inputElement Collect(Read(q)).outputElement Value(4).result true false 4 Value(4) Value(5).result true false 5 Value(5) Tuple@8a5e02 ExpressionStatement@25c0f5 Body(TestCase_Assembly_PWP_PWP) TestCase_Assembly_PWP_PWP false Empty pattern: lower bound of part b and c is 0 * b public composite * c public composite * * r result return A_Empty_Pattern public A_Empty_Pattern Array pattern: lower bound of b and c are equals lower bound on ends of connector r is 1 2 * b public composite 4 * c public composite * * r result return A_Array_Pattern public A_Array_Pattern Star pattern: lower bound on ends of connector r equal lower bound of connected parts 2 * b public composite 5 * c public composite 4 * 5 * r result return A_Star_Pattern public A_Star_Pattern IntegerFunctions::Min('#ends1', n1) ; namespace 'Test Suites'::'Test Suite 1'::Assembly_PWP_PWP::AssertCompositeHelper ; private import Alf::Library::CollectionFunctions::includes ; activity assertConnected(in message : String, in end1 : any, in end2 : any) { AssertTrue(message, R::y((IImpl)end1)->includes((IImpl)end2)) ; } message end1 end2 Input(message) Fork(message) Input(end1) Fork(end1) Input(end2) Fork(end2) Call(AssertTrue).argument(label) Call(AssertTrue).argument(condition) Call(AssertTrue) * Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_PWP_PWP$IImpl__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_PWP_PWP$IImpl__).argument(element) Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_PWP_PWP$IImpl__).result() Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_PWP_PWP$IImpl__) * ReadLink(y).inputValue(x) * ReadLink(y).result ReadLink(y) Value(true) true Merge(CastExpression@11fc3df.operand) ReadIsClassifiedObject(IImpl).result true false ReadIsClassifiedObject(IImpl) Fork(ReadIsClassifiedObject(IImpl).object) Decision(ReadIsClassifiedObject(IImpl).result) CastExpression@11fc3df parallel CastExpression@11fc3df.inputElement CastExpression@11fc3df.outputElement Tuple@13e84dd Value(true) true Merge(CastExpression@673f45.operand) ReadIsClassifiedObject(IImpl).result true false ReadIsClassifiedObject(IImpl) Fork(ReadIsClassifiedObject(IImpl).object) Decision(ReadIsClassifiedObject(IImpl).result) CastExpression@673f45 parallel CastExpression@673f45.inputElement CastExpression@673f45.outputElement Tuple@1a9f229 Tuple@182cba1 ExpressionStatement@17437a2 Body(assertConnected) assertConnected false namespace 'Test Suites'::'Test Suite 1'::Assembly_PWP_PWP::AssertCompositeHelper ; private import Alf::Library::CollectionFunctions::includes ; activity assertNodeConnected_method(in message : String, in end1 : any, in end2 : any) { AssertTrue(message, ! R::y((IImpl)end1)->includes((IImpl)end2)) ; } message end1 end2 Input(message) Fork(message) Input(end1) Fork(end1) Input(end2) Fork(end2) Call(AssertTrue).argument(label) Call(AssertTrue).argument(condition) Call(AssertTrue) * Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_PWP_PWP$IImpl__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_PWP_PWP$IImpl__).argument(element) Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_PWP_PWP$IImpl__).result() Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_PWP_PWP$IImpl__) * ReadLink(y).inputValue(x) * ReadLink(y).result ReadLink(y) Value(true) true Merge(CastExpression@b84a1a.operand) ReadIsClassifiedObject(IImpl).result true false ReadIsClassifiedObject(IImpl) Fork(ReadIsClassifiedObject(IImpl).object) Decision(ReadIsClassifiedObject(IImpl).result) CastExpression@b84a1a parallel CastExpression@b84a1a.inputElement CastExpression@b84a1a.outputElement Tuple@778256 Value(true) true Merge(CastExpression@10925a5.operand) ReadIsClassifiedObject(IImpl).result true false ReadIsClassifiedObject(IImpl) Fork(ReadIsClassifiedObject(IImpl).object) Decision(ReadIsClassifiedObject(IImpl).result) CastExpression@10925a5 parallel CastExpression@10925a5.inputElement CastExpression@10925a5.outputElement Tuple@16641ba Call(Not).argument(x) Call(Not).result(result) Call(Not) Tuple@3c044c ExpressionStatement@14e1aaf Body(assertNodeConnected_method) assertNotConnected false message end1 end2 assertConnected true message end1 end2 assertNotConnected true result return AssertCompositeHelper public AssertCompositeHelper Unconnected pattern: lower bound on ends of connector r is 0 2 * b public composite 3 * c public composite * * r result return A_Unconnected_Pattern public A_Unconnected_Pattern InterfaceRealization1 IImpl I Assembly_PWP_PWP InterfaceRealization1 B * x * y R namespace 'Test Suites'::'Test Suite 1'::Delegation_Port_P ; private import 'Test Suites'::Utils::* ; activity TestCase_Delegation_Port_P() { helper = new AssertCompositeHelper() ; WriteLine("-- Running test case: Delegation connector between a port and a part --") ; a = new A_Array_Pattern() ; // Testing instantiation of A_Empty_Pattern WriteLine("") ; WriteLine("- Testing instantiation of A_Empty_Pattern -") ; a_empty = new A_Empty_Pattern(); AssertEmptyPattern(a_empty.p, a_empty.b) ; // Testing instantiation of A_Unconnected_Pattern WriteLine("") ; WriteLine("- Testing instantiation of A_Unconnected_Pattern -") ; a_unconnected = new A_Unconnected_Pattern(); AssertUnconnectedPattern(a_unconnected.p, a_unconnected.b, 3, 2, helper) ; // Testing instantiation of A_Array_Pattern WriteLine("") ; WriteLine("- Testing instantiation of A_Array_Pattern") ; a_array = new A_Array_Pattern(); AssertArrayPattern(a_array.p, a_array.b, 4, helper) ; // Testing instantiation of A_Star_Pattern WriteLine("") ; WriteLine("- Testing instantiation of A_Star_Pattern") ; a_star = new A_Star_Pattern(); AssertStarPattern(a_star.p, a_star.b, 3, 4, helper) ; } Fork(helper)@1b3c5b0 Call(AssertCompositeHelper).result(result) Call(AssertCompositeHelper).target true false Call(AssertCompositeHelper) Create(AssertCompositeHelper).result true false Create(AssertCompositeHelper) RightHandSide@177cdaa ExpressionStatement@ed8a22 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("-- Running test case: Delegation connector between a port and a part --").result true false -- Running test case: Delegation connector between a port and a part -- Value("-- Running test case: Delegation connector between a port and a part --") Tuple@1faf21c ExpressionStatement@16e3980 Fork(a)@9d4682 Call(A_Array_Pattern).result(result) Call(A_Array_Pattern).target true false Call(A_Array_Pattern) Create(A_Array_Pattern).result true false Create(A_Array_Pattern) RightHandSide@1801ac3 ExpressionStatement@1a57453 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@1b46fff ExpressionStatement@bb2b9e Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("- Testing instantiation of A_Empty_Pattern -").result true false - Testing instantiation of A_Empty_Pattern - Value("- Testing instantiation of A_Empty_Pattern -") Tuple@f17763 ExpressionStatement@1a2e28d Fork(a_empty)@c341a2 Call(A_Empty_Pattern).result(result) Call(A_Empty_Pattern).target true false Call(A_Empty_Pattern) Create(A_Empty_Pattern).result true false Create(A_Empty_Pattern) RightHandSide@10a0bb0 ExpressionStatement@1680daa * Call(AssertEmptyPattern).argument(ends1) true false * Call(AssertEmptyPattern).argument(ends2) true false Call(AssertEmptyPattern) Read(p).result true false Read(p) Fork(Fork(a_empty)@c341a2) Read(b).result true false Read(b) Fork(Fork(a_empty)@c341a2) Tuple@da2584 ExpressionStatement@19c81cf Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@125c439 ExpressionStatement@894a87 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("- Testing instantiation of A_Unconnected_Pattern -").result true false - Testing instantiation of A_Unconnected_Pattern - Value("- Testing instantiation of A_Unconnected_Pattern -") Tuple@1131b0 ExpressionStatement@122d6a5 Fork(a_unconnected)@449d9b Call(A_Unconnected_Pattern).result(result) Call(A_Unconnected_Pattern).target true false Call(A_Unconnected_Pattern) Create(A_Unconnected_Pattern).result true false Create(A_Unconnected_Pattern) RightHandSide@c73167 ExpressionStatement@1c7d036 * Call(AssertUnconnectedPattern).argument(ends1) * Call(AssertUnconnectedPattern).argument(ends2) Call(AssertUnconnectedPattern).argument(n1) Call(AssertUnconnectedPattern).argument(n2) Call(AssertUnconnectedPattern).argument(helper) Call(AssertUnconnectedPattern) Read(p).result true false Read(p) Fork(Fork(a_unconnected)@449d9b) Read(b).result true false Read(b) Fork(Fork(a_unconnected)@449d9b) Value(3).result true false 3 Value(3) Value(2).result true false 2 Value(2) Tuple@150dac6 ExpressionStatement@1ebb48a Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@162ffcb ExpressionStatement@1ecfba0 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("- Testing instantiation of A_Array_Pattern").result true false - Testing instantiation of A_Array_Pattern Value("- Testing instantiation of A_Array_Pattern") Tuple@550922 ExpressionStatement@7d6f46 Fork(a_array)@727d88 Call(A_Array_Pattern).result(result) Call(A_Array_Pattern).target true false Call(A_Array_Pattern) Create(A_Array_Pattern).result true false Create(A_Array_Pattern) RightHandSide@8f6cf9 ExpressionStatement@959076 * Call(AssertArrayPattern).argument(ends1) * Call(AssertArrayPattern).argument(ends2) Call(AssertArrayPattern).argument(n) Call(AssertArrayPattern).argument(helper) Call(AssertArrayPattern) Read(p).result true false Read(p) Fork(Fork(a_array)@727d88) Read(b).result true false Read(b) Fork(Fork(a_array)@727d88) Value(4).result true false 4 Value(4) Tuple@10a223d ExpressionStatement@d3d6 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@2eb9f5 ExpressionStatement@d6057c Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("- Testing instantiation of A_Star_Pattern").result true false - Testing instantiation of A_Star_Pattern Value("- Testing instantiation of A_Star_Pattern") Tuple@14b53cb ExpressionStatement@ea91b1 Fork(a_star)@108e4b3 Call(A_Star_Pattern).result(result) Call(A_Star_Pattern).target true false Call(A_Star_Pattern) Create(A_Star_Pattern).result true false Create(A_Star_Pattern) RightHandSide@deca41 ExpressionStatement@b4202b * Call(AssertStarPattern).argument(ends1) * Call(AssertStarPattern).argument(ends2) Call(AssertStarPattern).argument(n1) Call(AssertStarPattern).argument(n2) Call(AssertStarPattern).argument(helper) Call(AssertStarPattern) Read(p).result true false Read(p) Fork(Fork(a_star)@108e4b3) Read(b).result true false Read(b) Fork(Fork(a_star)@108e4b3) Value(3).result true false 3 Value(3) Value(4).result true false 4 Value(4) Tuple@5bfdd1 ExpressionStatement@162edd5 Body(TestCase_Delegation_Port_P) TestCase_Delegation_Port_P false Empty pattern: lower bound of port p and part b is 0 * b public composite * p public false composite * * r result return A_Empty_Pattern public A_Empty_Pattern Array pattern: lower bound of p and b are equals lower bound on ends of connector r is 1 4 * b public composite 4 * p public false composite * * r result return A_Array_Pattern public A_Array_Pattern Star pattern: lower bound on ends of connector r equal lower bound of connected elements 4 * b public composite 3 * p public false composite 3 * 4 * r result return A_Star_Pattern public A_Star_Pattern IntegerFunctions::Min('#ends1', n1) ; namespace 'Test Suites'::'Test Suite 1'::Delegation_Port_P::AssertCompositeHelper ; activity assertConnected(in message : String, in end1 : any, in end2 : any) { AssertTrue(message, R::y((IImpl)end1)->includes((B)end2)) ; } message end1 end2 Input(message) Fork(message) Input(end1) Fork(end1) Input(end2) Fork(end2) Call(AssertTrue).argument(label) Call(AssertTrue).argument(condition) Call(AssertTrue) * Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Delegation_Port_P$B__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Delegation_Port_P$B__).argument(element) Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Delegation_Port_P$B__).result() Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Delegation_Port_P$B__) * ReadLink(y).inputValue(x) * ReadLink(y).result ReadLink(y) Value(true) true Merge(CastExpression@125a59.operand) ReadIsClassifiedObject(IImpl).result true false ReadIsClassifiedObject(IImpl) Fork(ReadIsClassifiedObject(IImpl).object) Decision(ReadIsClassifiedObject(IImpl).result) CastExpression@125a59 parallel CastExpression@125a59.inputElement CastExpression@125a59.outputElement Tuple@1c0b943 Value(true) true Merge(CastExpression@e99567.operand) ReadIsClassifiedObject(B).result true false ReadIsClassifiedObject(B) Fork(ReadIsClassifiedObject(B).object) Decision(ReadIsClassifiedObject(B).result) CastExpression@e99567 parallel CastExpression@e99567.inputElement CastExpression@e99567.outputElement Tuple@111538b Tuple@1d450b8 ExpressionStatement@10e09af Body(assertConnected) assertConnected false namespace 'Test Suites'::'Test Suite 1'::Delegation_Port_P::AssertCompositeHelper ; activity assertNotConnected(in message : String, in end1 : any, in end2 : any) { AssertTrue(message, ! R::y((IImpl)end1)->includes((B)end2)) ; } message end1 end2 Input(message) Fork(message) Input(end1) Fork(end1) Input(end2) Fork(end2) Call(AssertTrue).argument(label) Call(AssertTrue).argument(condition) Call(AssertTrue) * Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Delegation_Port_P$B__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Delegation_Port_P$B__).argument(element) Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Delegation_Port_P$B__).result() Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Delegation_Port_P$B__) * ReadLink(y).inputValue(x) * ReadLink(y).result ReadLink(y) Value(true) true Merge(CastExpression@4350ea.operand) ReadIsClassifiedObject(IImpl).result true false ReadIsClassifiedObject(IImpl) Fork(ReadIsClassifiedObject(IImpl).object) Decision(ReadIsClassifiedObject(IImpl).result) CastExpression@4350ea parallel CastExpression@4350ea.inputElement CastExpression@4350ea.outputElement Tuple@17e8bb8 Value(true) true Merge(CastExpression@1756e47.operand) ReadIsClassifiedObject(B).result true false ReadIsClassifiedObject(B) Fork(ReadIsClassifiedObject(B).object) Decision(ReadIsClassifiedObject(B).result) CastExpression@1756e47 parallel CastExpression@1756e47.inputElement CastExpression@1756e47.outputElement Tuple@14e2b2e Call(Not).argument(x) Call(Not).result(result) Call(Not) Tuple@a254ff ExpressionStatement@9c37fd Body(assertNotConnected) assertNotConnected false message end1 end2 assertConnected true message end1 end2 assertNotConnected true result return AssertCompositeHelper public AssertCompositeHelper Unconnected pattern: lower bound on ends of connector r is 0 2 * b public composite 3 * p public false composite * * r result return A_Unconnected_Pattern public A_Unconnected_Pattern I InterfaceRealization1 IImpl true 1 ObjectFlow1 1 result CreateObjectAction1 1 result 1 CallOperationAction1 Activity1 false Delegation_Port_P activity Construct() : B{ // Instantiate port q for (i in 1..2) { this.q->add(new IImpl()) ; } } Construct false 2 * q public false composite B public B * x * y R namespace 'Test Suites'::'Test Suite 1'::Delegation_Port_PWP ; private import 'Test Suites'::Utils::* ; activity TestCase_Assembly_Port_PWP() { helper = new AssertCompositeHelper() ; WriteLine("-- Running test case: Delegation connector between a port and a part with port --") ; // Testing instantiation of A_Empty_Pattern WriteLine("") ; WriteLine("- Testing instantiation of A_Empty_Pattern -") ; a_empty = new A_Empty_Pattern(); AssertEmptyPattern(a_empty.p, a_empty.b) ; // Testing instantiation of A_Unconnected_Pattern WriteLine("") ; WriteLine("- Testing instantiation of A_Unconnected_Pattern -") ; a_unconnected = new A_Unconnected_Pattern(); AssertUnconnectedPattern(a_unconnected.p, a_unconnected.b.q, 3, 4, helper) ; // Testing instantiation of A_Array_Pattern WriteLine("") ; WriteLine("- Testing instantiation of A_Array_Pattern -") ; a_array = new A_Array_Pattern(); AssertArrayPattern(a_array.p, a_array.b.q, 4, helper) ; // Testing instantiation of A_Star_Pattern WriteLine("") ; WriteLine("- Testing instantiation of A_Star_Pattern -") ; a_star = new A_Star_Pattern(); AssertStarPattern(a_star.p, a_star.b.q, 3, 4, helper) ; } Fork(helper)@5993e3 Call(AssertCompositeHelper).result(result) Call(AssertCompositeHelper).target true false Call(AssertCompositeHelper) Create(AssertCompositeHelper).result true false Create(AssertCompositeHelper) RightHandSide@fc32d4 ExpressionStatement@156759f Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("-- Running test case: Delegation connector between a port and a part with port --").result true false -- Running test case: Delegation connector between a port and a part with port -- Value("-- Running test case: Delegation connector between a port and a part with port --") Tuple@4adbf9 ExpressionStatement@121d174 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@31d097 ExpressionStatement@97ece3 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("- Testing instantiation of A_Empty_Pattern -").result true false - Testing instantiation of A_Empty_Pattern - Value("- Testing instantiation of A_Empty_Pattern -") Tuple@13c6c59 ExpressionStatement@908faf Fork(a_empty)@3bffa5 Call(A_Empty_Pattern).result(result) Call(A_Empty_Pattern).target true false Call(A_Empty_Pattern) Create(A_Empty_Pattern).result true false Create(A_Empty_Pattern) RightHandSide@10cc67a ExpressionStatement@1aa09dd * Call(AssertEmptyPattern).argument(ends1) true false * Call(AssertEmptyPattern).argument(ends2) true false Call(AssertEmptyPattern) Read(p).result true false Read(p) Fork(Fork(a_empty)@3bffa5) Read(b).result true false Read(b) Fork(Fork(a_empty)@3bffa5) Tuple@1631164 ExpressionStatement@14b7a4d Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@1475af5 ExpressionStatement@e9ef29 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("- Testing instantiation of A_Unconnected_Pattern -").result true false - Testing instantiation of A_Unconnected_Pattern - Value("- Testing instantiation of A_Unconnected_Pattern -") Tuple@1c239d ExpressionStatement@2c0c4b Fork(a_unconnected)@19cb931 Call(A_Unconnected_Pattern).result(result) Call(A_Unconnected_Pattern).target true false Call(A_Unconnected_Pattern) Create(A_Unconnected_Pattern).result true false Create(A_Unconnected_Pattern) RightHandSide@4266bf ExpressionStatement@c93fb6 * Call(AssertUnconnectedPattern).argument(ends1) * Call(AssertUnconnectedPattern).argument(ends2) Call(AssertUnconnectedPattern).argument(n1) Call(AssertUnconnectedPattern).argument(n2) Call(AssertUnconnectedPattern).argument(helper) Call(AssertUnconnectedPattern) Read(p).result true false Read(p) Fork(Fork(a_unconnected)@19cb931) Read(b).result true false Read(b) Fork(Fork(a_unconnected)@19cb931) Fork(Read(b).result) Read(q).result true false Read(q) Collect(Read(q)) parallel Collect(Read(q)).inputElement Collect(Read(q)).outputElement Value(3).result true false 3 Value(3) Value(4).result true false 4 Value(4) Tuple@3df407 ExpressionStatement@791087 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@1a9b92e ExpressionStatement@eaaeac Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("- Testing instantiation of A_Array_Pattern -").result true false - Testing instantiation of A_Array_Pattern - Value("- Testing instantiation of A_Array_Pattern -") Tuple@c98b6b ExpressionStatement@d1831 Fork(a_array)@1d1fc2a Call(A_Array_Pattern).result(result) Call(A_Array_Pattern).target true false Call(A_Array_Pattern) Create(A_Array_Pattern).result true false Create(A_Array_Pattern) RightHandSide@1023dd2 ExpressionStatement@17ccf65 * Call(AssertArrayPattern).argument(ends1) * Call(AssertArrayPattern).argument(ends2) Call(AssertArrayPattern).argument(n) Call(AssertArrayPattern).argument(helper) Call(AssertArrayPattern) Read(p).result true false Read(p) Fork(Fork(a_array)@1d1fc2a) Read(b).result true false Read(b) Fork(Fork(a_array)@1d1fc2a) Fork(Read(b).result) Read(q).result true false Read(q) Collect(Read(q)) parallel Collect(Read(q)).inputElement Collect(Read(q)).outputElement Value(4).result true false 4 Value(4) Tuple@1436f4 ExpressionStatement@1bda1e5 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@14f1020 ExpressionStatement@744cd7 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("- Testing instantiation of A_Star_Pattern -").result true false - Testing instantiation of A_Star_Pattern - Value("- Testing instantiation of A_Star_Pattern -") Tuple@35d1cc ExpressionStatement@16cdab2 Fork(a_star)@8480d5 Call(A_Star_Pattern).result(result) Call(A_Star_Pattern).target true false Call(A_Star_Pattern) Create(A_Star_Pattern).result true false Create(A_Star_Pattern) RightHandSide@1264524 ExpressionStatement@18ad58a * Call(AssertStarPattern).argument(ends1) * Call(AssertStarPattern).argument(ends2) Call(AssertStarPattern).argument(n1) Call(AssertStarPattern).argument(n2) Call(AssertStarPattern).argument(helper) Call(AssertStarPattern) Read(p).result true false Read(p) Fork(Fork(a_star)@8480d5) Read(b).result true false Read(b) Fork(Fork(a_star)@8480d5) Fork(Read(b).result) Read(q).result true false Read(q) Collect(Read(q)) parallel Collect(Read(q)).inputElement Collect(Read(q)).outputElement Value(3).result true false 3 Value(3) Value(4).result true false 4 Value(4) Tuple@4a55ac ExpressionStatement@d535dc Body(TestCase_Assembly_Port_PWP) TestCase_Delegation_Port_PWP false Empty pattern: lower bound of port p and part b is 0 * b public composite * p public false composite * * r result return A_Empty_Pattern public A_Empty_Pattern Array pattern: lower bound of p and b*q are equals lower bound on ends of connector r is 1 2 * b public composite 4 * p public false composite * * r result return A_Array_Pattern public A_Array_Pattern Star pattern: lower bound on ends of connector r equal lower bound of connected elements 2 * b public composite 3 * p public false composite 3 * 4 * r result return A_Star_Pattern public A_Star_Pattern IntegerFunctions::Min('#ends1', n1) ; namespace 'Test Suites'::'Test Suite 1'::Delegation_Port_PWP::AssertCompositeHelper ; activity assertConnected(in message : String, in end1 : any, in end2 : any) { AssertTrue(message, R::y((IImpl)end1)->includes((IImpl)end2)) ; } message end1 end2 Input(message) Fork(message) Input(end1) Fork(end1) Input(end2) Fork(end2) Call(AssertTrue).argument(label) Call(AssertTrue).argument(condition) Call(AssertTrue) * Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Delegation_Port_PWP$IImpl__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Delegation_Port_PWP$IImpl__).argument(element) Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Delegation_Port_PWP$IImpl__).result() Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Delegation_Port_PWP$IImpl__) * ReadLink(y).inputValue(x) * ReadLink(y).result ReadLink(y) Value(true) true Merge(CastExpression@146c4cd.operand) ReadIsClassifiedObject(IImpl).result true false ReadIsClassifiedObject(IImpl) Fork(ReadIsClassifiedObject(IImpl).object) Decision(ReadIsClassifiedObject(IImpl).result) CastExpression@146c4cd parallel CastExpression@146c4cd.inputElement CastExpression@146c4cd.outputElement Tuple@19f5b8c Value(true) true Merge(CastExpression@c8550d.operand) ReadIsClassifiedObject(IImpl).result true false ReadIsClassifiedObject(IImpl) Fork(ReadIsClassifiedObject(IImpl).object) Decision(ReadIsClassifiedObject(IImpl).result) CastExpression@c8550d parallel CastExpression@c8550d.inputElement CastExpression@c8550d.outputElement Tuple@1ce184e Tuple@1dbd00b ExpressionStatement@5ab6cd Body(assertConnected) assertConnected false namespace 'Test Suites'::'Test Suite 1'::Delegation_Port_PWP::AssertCompositeHelper ; activity assertNotConnected_method(in message : String, in end1 : any, in end2 : any) { AssertTrue(message, ! R::y((IImpl)end1)->includes((IImpl)end2)) ; } message end1 end2 Input(message) Fork(message) Input(end1) Fork(end1) Input(end2) Fork(end2) Call(AssertTrue).argument(label) Call(AssertTrue).argument(condition) Call(AssertTrue) * Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Delegation_Port_PWP$IImpl__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Delegation_Port_PWP$IImpl__).argument(element) Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Delegation_Port_PWP$IImpl__).result() Call($$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Delegation_Port_PWP$IImpl__) * ReadLink(y).inputValue(x) * ReadLink(y).result ReadLink(y) Value(true) true Merge(CastExpression@13806e9.operand) ReadIsClassifiedObject(IImpl).result true false ReadIsClassifiedObject(IImpl) Fork(ReadIsClassifiedObject(IImpl).object) Decision(ReadIsClassifiedObject(IImpl).result) CastExpression@13806e9 parallel CastExpression@13806e9.inputElement CastExpression@13806e9.outputElement Tuple@15ed0b4 Value(true) true Merge(CastExpression@14dbc08.operand) ReadIsClassifiedObject(IImpl).result true false ReadIsClassifiedObject(IImpl) Fork(ReadIsClassifiedObject(IImpl).object) Decision(ReadIsClassifiedObject(IImpl).result) CastExpression@14dbc08 parallel CastExpression@14dbc08.inputElement CastExpression@14dbc08.outputElement Tuple@14a45ca Call(Not).argument(x) Call(Not).result(result) Call(Not) Tuple@134eaa7 ExpressionStatement@61ec35 Body(assertNotConnected_method) assertNotConnected false message end1 end2 assertConnected true message end1 end2 assertNotConnected true result return AssertCompositeHelper public AssertCompositeHelper Unconnected pattern: lower bound on ends of connector r is 0 2 * b public composite 3 * p public false composite * * r result return A_Unconnected_Pattern public A_Unconnected_Pattern I InterfaceRealization1 IImpl Delegation_Port_PWP b composite result return A public A c composite B d composite C e shared D E namespace 'Test Suites'::'Test Suite 1'::Hierarchy ; private import FoundationalModelLibrary::PrimitiveBehaviors::ListFunctions::* ; private import 'Test Suites'::Utils::* ; activity TestCase_Hierarchy() { a = new A() ; WriteLine("-- Running test case: Hierarchical instantiation --") ; // a.b is not empty WriteLine("") ; AssertTrue("a.b is not empty", ListSize(a.b) > 0) ; // a.b.c is not empty AssertTrue("a.b.c is not empty", ListSize(a.b.c) > 0) ; // a.b.c.d is not empty AssertTrue("a.b.c.d is not empty", ListSize(a.b.c.d) > 0) ; // a.b.c.d.e is empty (e is not shared, not composite) AssertTrue("a.b.c.d.e is empty", ListSize(a.b.c.d.e) == 0) ; } Fork(a)@30abb7 Call(A).result(result) Call(A).target true false Call(A) Create(A).result true false Create(A) RightHandSide@159acb7 ExpressionStatement@1908e9b Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("-- Running test case: Hierarchical instantiation --").result true false -- Running test case: Hierarchical instantiation -- Value("-- Running test case: Hierarchical instantiation --") Tuple@1b66ede ExpressionStatement@169d9b3 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@164a436 ExpressionStatement@1d768d0 Call(AssertTrue).argument(label) Call(AssertTrue).argument(condition) Call(AssertTrue) Value("a.b is not empty").result true false a.b is not empty Value("a.b is not empty") * Call(ListSize).argument(list) Call(ListSize).result(result) Call(ListSize) Read(b).result true false Read(b) Fork(Fork(a)@30abb7) Tuple@1113546 Value(0).result true false Value(0) Call(>).argument(x) Call(>).argument(y) Call(>).result(result) Call(>) Tuple@18fbc54 ExpressionStatement@1e4139 Call(AssertTrue).argument(label) Call(AssertTrue).argument(condition) Call(AssertTrue) Value("a.b.c is not empty").result true false a.b.c is not empty Value("a.b.c is not empty") * Call(ListSize).argument(list) Call(ListSize).result(result) Call(ListSize) Read(b).result true false Read(b) Fork(Fork(a)@30abb7) Read(c).result true false Read(c) Fork(Read(b).result) Tuple@16ee12 Value(0).result true false Value(0) Call(>).argument(x) Call(>).argument(y) Call(>).result(result) Call(>) Tuple@d2ebaa ExpressionStatement@6ee3d5 Call(AssertTrue).argument(label) Call(AssertTrue).argument(condition) Call(AssertTrue) Value("a.b.c.d is not empty").result true false a.b.c.d is not empty Value("a.b.c.d is not empty") * Call(ListSize).argument(list) Call(ListSize).result(result) Call(ListSize) Read(b).result true false Read(b) Fork(Fork(a)@30abb7) Read(c).result true false Read(c) Fork(Read(b).result) Read(d).result true false Read(d) Fork(Read(c).result) Tuple@116c04e Value(0).result true false Value(0) Call(>).argument(x) Call(>).argument(y) Call(>).result(result) Call(>) Tuple@ae3b6e ExpressionStatement@102d09b Call(AssertTrue).argument(label) Call(AssertTrue).argument(condition) Call(AssertTrue) Value("a.b.c.d.e is empty").result true false a.b.c.d.e is empty Value("a.b.c.d.e is empty") * Call(ListSize).argument(list) Call(ListSize).result(result) Call(ListSize) Read(b).result true false Read(b) Fork(Fork(a)@30abb7) Read(c).result true false Read(c) Fork(Read(b).result) Read(d).result true false Read(d) Fork(Read(c).result) Read(e).result true false Read(e) Fork(Read(d).result) Tuple@1e26b57 Value(0).result true false Value(0) Test(==).first true false Test(==).result true false Test(==).second true false Test(==) Tuple@12cf18e ExpressionStatement@1068afa Body(TestCase_Hierarchy) TestCase_Hierarchy false Hierarchy 4 pInteger public Hello pString public true pBoolean public 4.0 pReal public * pUnlimitedNatural public pEnum public result return A public A e1 e2 E namespace 'Test Suites'::'Test Suite 1'::'DefaultValues - BasicTypes' ; private import AssertionLibrary::* ; activity 'Test Case - Default Values'() { WriteLine("-- Running test case - Instantiation of Default values - basic types --") ; a = new A() ; AssertEquals("Default value of a.pInteger", a.pInteger, 4) ; AssertEquals("Default value of a.pString", a.pString, "Hello") ; AssertEquals("Default value of a.pBoolean", a.pBoolean, true) ; AssertEquals("Default value of a.pUnlimitedNatural", a.pUnlimitedNatural, *) ; // AssertEquals("Default value of a.pReal", a.pReal, 4.0) ; AssertEquals("Default value of a.pEnum", a.pEnum, E::e2) ; WriteLine("-- End of test case --") ; } Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("-- Running test case - Instantiation of Default values - basic types --").result true false -- Running test case - Instantiation of Default values - basic types -- Value("-- Running test case - Instantiation of Default values - basic types --") Tuple@11ef075 ExpressionStatement@118a2e9 Fork(a)@1886696 Call(A).result(result) Call(A).target true false Call(A) Create(A).result true false Create(A) RightHandSide@7130d ExpressionStatement@f17575 Call(AssertEquals).argument(label) Call(AssertEquals).argument(value1) Call(AssertEquals).argument(value2) Call(AssertEquals) Value("Default value of a.pInteger").result true false Default value of a.pInteger Value("Default value of a.pInteger") Read(pInteger).result true false Read(pInteger) Fork(Fork(a)@1886696) Value(4).result true false 4 Value(4) Tuple@10c76b3 ExpressionStatement@7f9c1e Call(AssertEquals).argument(label) Call(AssertEquals).argument(value1) Call(AssertEquals).argument(value2) Call(AssertEquals) Value("Default value of a.pString").result true false Default value of a.pString Value("Default value of a.pString") Read(pString).result true false Read(pString) Fork(Fork(a)@1886696) Value("Hello").result true false Hello Value("Hello") Tuple@4c3222 ExpressionStatement@13747b7 Call(AssertEquals).argument(label) Call(AssertEquals).argument(value1) Call(AssertEquals).argument(value2) Call(AssertEquals) Value("Default value of a.pBoolean").result true false Default value of a.pBoolean Value("Default value of a.pBoolean") Read(pBoolean).result true false Read(pBoolean) Fork(Fork(a)@1886696) Value(true).result true false true Value(true) Tuple@d36536 ExpressionStatement@1ac3118 Call(AssertEquals).argument(label) Call(AssertEquals).argument(value1) Call(AssertEquals).argument(value2) Call(AssertEquals) Value("Default value of a.pUnlimitedNatural").result true false Default value of a.pUnlimitedNatural Value("Default value of a.pUnlimitedNatural") Read(pUnlimitedNatural).result true false Read(pUnlimitedNatural) Fork(Fork(a)@1886696) Value(*).result true false * Value(*) Tuple@615f8a ExpressionStatement@eee32c Call(AssertEquals).argument(label) Call(AssertEquals).argument(value1) Call(AssertEquals).argument(value2) Call(AssertEquals) Value("Default value of a.pEnum").result true false Default value of a.pEnum Value("Default value of a.pEnum") Read(pEnum).result true false Read(pEnum) Fork(Fork(a)@1886696) Tuple@2ff8eb ExpressionStatement@82ff03 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("-- End of test case --").result true false -- End of test case -- Value("-- End of test case --") Tuple@19ec086 ExpressionStatement@1d1f2b6 Body(Test Case - Default Values) Test Case - Default Values false DefaultValues - BasicTypes /* Generated textual representation of Activity Test Suites::Test Suite 1::DefaultValues - Structures::A::bDefaultValues */ namespace 'Test Suites'::'Test Suite 1'::'DefaultValues - Structures'::A ; activity bDefaultValues() : B[]{ b1 = new B() ; b1.p = 1 ; b2 = new B() ; b2.p = 2 ; b3 = new B() ; b3.p = 3 ; b4 = new B() ; b4.p = 4 ; return new B[]{b1, b2, b3, b4} ; } * result return Return Final Fork(b1)@14fd373 Call(B).result(result) Call(B).target true false Call(B) Create(B).result true false Create(B) RightHandSide@1c33107 ExpressionStatement@1359e48 Expression(LeftHandSide@f3d46a) Clear(p).result true false Clear(p) Fork(LeftHandSide@f3d46a) Write(p).result true false Write(p).value true false Write(p) true WriteAll(Test Suites::Test Suite 1::DefaultValues - Structures::B::p).input(Test Suites::Test Suite 1::DefaultValues - Structures::B::p) true false WriteAll(Test Suites::Test Suite 1::DefaultValues - Structures::B::p) Value(1).result true false 1 Value(1) RightHandSide@36c088 ExpressionStatement@12c208a Fork(b2)@168bc85 Call(B).result(result) Call(B).target true false Call(B) Create(B).result true false Create(B) RightHandSide@130dc2e ExpressionStatement@1f8088c Expression(LeftHandSide@1298cf2) Clear(p).result true false Clear(p) Fork(LeftHandSide@1298cf2) Write(p).result true false Write(p).value true false Write(p) true WriteAll(Test Suites::Test Suite 1::DefaultValues - Structures::B::p).input(Test Suites::Test Suite 1::DefaultValues - Structures::B::p) true false WriteAll(Test Suites::Test Suite 1::DefaultValues - Structures::B::p) Value(2).result true false 2 Value(2) RightHandSide@3e907 ExpressionStatement@2526fb Fork(b3)@63479f Call(B).result(result) Call(B).target true false Call(B) Create(B).result true false Create(B) RightHandSide@1f32f83 ExpressionStatement@15a3d50 Expression(LeftHandSide@dc42c3) Clear(p).result true false Clear(p) Fork(LeftHandSide@dc42c3) Write(p).result true false Write(p).value true false Write(p) true WriteAll(Test Suites::Test Suite 1::DefaultValues - Structures::B::p).input(Test Suites::Test Suite 1::DefaultValues - Structures::B::p) true false WriteAll(Test Suites::Test Suite 1::DefaultValues - Structures::B::p) Value(3).result true false 3 Value(3) RightHandSide@713b32 ExpressionStatement@1c84b28 Fork(b4)@131b2b0 Call(B).result(result) Call(B).target true false Call(B) Create(B).result true false Create(B) RightHandSide@1ca696e ExpressionStatement@80de9 Expression(LeftHandSide@1c58e83) Clear(p).result true false Clear(p) Fork(LeftHandSide@1c58e83) Write(p).result true false Write(p).value true false Write(p) true WriteAll(Test Suites::Test Suite 1::DefaultValues - Structures::B::p).input(Test Suites::Test Suite 1::DefaultValues - Structures::B::p) true false WriteAll(Test Suites::Test Suite 1::DefaultValues - Structures::B::p) Value(4).result true false 4 Value(4) RightHandSide@132c96b ExpressionStatement@1832d66 Merge(Fork(b1)@14fd373) SequenceExpressionList@1326adc#1 Merge(Fork(b2)@168bc85) SequenceExpressionList@1326adc#2 Merge(Fork(b3)@63479f) SequenceExpressionList@1326adc#3 Merge(Fork(b4)@131b2b0) SequenceExpressionList@1326adc#4 4 SequenceConstructionExpression@188400f.output true false SequenceConstructionExpression@188400f 4 ReturnStatement@16a3ac0.output true false ReturnStatement@16a3ac0 Body(bDefaultValues) bDefaultValues false 4 4 default b public result return A public A p public result return B public B namespace 'Test Suites'::'Test Suite 1'::'DefaultValues - Structures' ; activity 'Test Case - Default Values - Structures'() { WriteLine("-- Running test case - Instantiation of Default values - Structures --") ; a = new A() ; AssertEquals("Default value of a.b[1].p", a.b[1].p, 1) ; AssertEquals("Default value of a.b[2].p", a.b[2].p, 2) ; AssertEquals("Default value of a.b[3].p", a.b[3].p, 3) ; AssertEquals("Default value of a.b[4].p", a.b[4].p, 4) ; WriteLine("-- End of test case --") ; } Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("-- Running test case - Instantiation of Default values - Structures --").result true false -- Running test case - Instantiation of Default values - Structures -- Value("-- Running test case - Instantiation of Default values - Structures --") Tuple@1d17ca5 ExpressionStatement@1d1a62 Fork(a)@17e8b0e Call(A).result(result) Call(A).target true false Call(A) Create(A).result true false Create(A) RightHandSide@db7a3d ExpressionStatement@97ce88 Call(AssertEquals).argument(label) Call(AssertEquals).argument(value1) Call(AssertEquals).argument(value2) Call(AssertEquals) Value("Default value of a.b[1].p").result true false Default value of a.b[1].p Value("Default value of a.b[1].p") * Call(At).argument(seq) true false Call(At).argument(index) Call(At).result() Call(At) Read(b).result true false Read(b) Fork(Fork(a)@17e8b0e) Value(1).result true false 1 Value(1) Tuple@15ed4c6 Fork(Call(At).argument(index)) Read(p).result true false Read(p) Fork(Call(At).result()) Value(1).result true false 1 Value(1) Tuple@af4189 ExpressionStatement@239b00 Call(AssertEquals).argument(label) Call(AssertEquals).argument(value1) Call(AssertEquals).argument(value2) Call(AssertEquals) Value("Default value of a.b[2].p").result true false Default value of a.b[2].p Value("Default value of a.b[2].p") * Call(At).argument(seq) true false Call(At).argument(index) Call(At).result() Call(At) Read(b).result true false Read(b) Fork(Fork(a)@17e8b0e) Value(2).result true false 2 Value(2) Tuple@12ce57c Fork(Call(At).argument(index)) Read(p).result true false Read(p) Fork(Call(At).result()) Value(2).result true false 2 Value(2) Tuple@1a015ef ExpressionStatement@3f4575 Call(AssertEquals).argument(label) Call(AssertEquals).argument(value1) Call(AssertEquals).argument(value2) Call(AssertEquals) Value("Default value of a.b[3].p").result true false Default value of a.b[3].p Value("Default value of a.b[3].p") * Call(At).argument(seq) true false Call(At).argument(index) Call(At).result() Call(At) Read(b).result true false Read(b) Fork(Fork(a)@17e8b0e) Value(3).result true false 3 Value(3) Tuple@a908b5 Fork(Call(At).argument(index)) Read(p).result true false Read(p) Fork(Call(At).result()) Value(3).result true false 3 Value(3) Tuple@94e383 ExpressionStatement@2122eb Call(AssertEquals).argument(label) Call(AssertEquals).argument(value1) Call(AssertEquals).argument(value2) Call(AssertEquals) Value("Default value of a.b[4].p").result true false Default value of a.b[4].p Value("Default value of a.b[4].p") * Call(At).argument(seq) true false Call(At).argument(index) Call(At).result() Call(At) Read(b).result true false Read(b) Fork(Fork(a)@17e8b0e) Value(4).result true false 4 Value(4) Tuple@2436b6 Fork(Call(At).argument(index)) Read(p).result true false Read(p) Fork(Call(At).result()) Value(4).result true false 4 Value(4) Tuple@3c8426 ExpressionStatement@17383e0 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("-- End of test case --").result true false -- End of test case -- Value("-- End of test case --") Tuple@31776e ExpressionStatement@b4512b Body(Test Case - Default Values - Structures) Test Case - Default Values - Structures false DefaultValues - Structures Test Suite 1 // Testing instantiation of A_Star_Pattern WriteLine("Testing instantiation of A_Star_Pattern") ; a_star = new A_Star_Pattern(); helper.assertStarPattern(a_star.b, a_star.c) ; message end1 end2 assertConnected true message end1 end2 assertNotConnected true AbstractAssertCompositeHelper true namespace 'Test Suites'::Utils::AbstractAssertCompositeHelper ; private import Alf::Library::CollectionFunctions::size ; activity AssertEmptyPattern(in ends1 : any[], in ends2 : any[]) { AssertEquals("EmptyPattern - ends1->size()", ends1->size(), 0) ; AssertEquals("EmptyPattern - ends2->size()", ends2->size(), 0) ; } * true false ends1 * true false ends2 Input(ends1) Fork(ends1) Input(ends2) Fork(ends2) Call(AssertEquals).argument(label) Call(AssertEquals).argument(value1) Call(AssertEquals).argument(value2) Call(AssertEquals) Value("EmptyPattern - ends1->size()").result true false EmptyPattern - ends1->size() Value("EmptyPattern - ends1->size()") * Call($$Alf$Library$CollectionFunctions$size__any__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$size__any__).result() Call($$Alf$Library$CollectionFunctions$size__any__) Value(0).result true false Value(0) Tuple@1b817f4 ExpressionStatement@81642e Call(AssertEquals).argument(label) Call(AssertEquals).argument(value1) Call(AssertEquals).argument(value2) Call(AssertEquals) Value("EmptyPattern - ends2->size()").result true false EmptyPattern - ends2->size() Value("EmptyPattern - ends2->size()") * Call($$Alf$Library$CollectionFunctions$size__any__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$size__any__).result() Call($$Alf$Library$CollectionFunctions$size__any__) Value(0).result true false Value(0) Tuple@1299647 ExpressionStatement@19115f0 Body(AssertEmptyPattern) AssertEmptyPattern false namespace 'Test Suites'::Utils ; private import Alf::Library::CollectionFunctions::size ; private import Alf::Library::PrimitiveBehaviors::IntegerFunctions::Min ; private import Alf::Library::PrimitiveBehaviors::IntegerFunctions::ToString ; activity AssertArrayPattern(in ends1 : any[], in ends2 : any[], in n : Integer, in helper : AbstractAssertCompositeHelper) { // Check cardinalities AssertEquals("ArrayPattern - ends1->size()", ends1->size(), n) ; AssertEquals("ArrayPattern - ends2->size()", ends2->size(), n) ; upper = Min(ends1->size(), ends2->size()) ; // Check connections for (i in 1..upper) { for (j in 1..upper) { if (i == j) { helper.assertConnected("ArrayPattern - ends1[" + ToString(i) + "] is connected to ends2[" + ToString(j) + "]",ends1[i], ends2[j]) ; } else { helper.assertNotConnected("ArrayPattern - ends1[" + ToString(i) + "] is not connected to ends2[" + ToString(j) + "]",ends1[i], ends2[j]) ; } } } } * ends1 * ends2 n helper Input(ends1) Fork(ends1) Input(ends2) Fork(ends2) Input(n) Fork(n) Input(helper) Fork(helper) Call(AssertEquals).argument(label) Call(AssertEquals).argument(value1) Call(AssertEquals).argument(value2) Call(AssertEquals) Value("ArrayPattern - ends1->size()").result true false ArrayPattern - ends1->size() Value("ArrayPattern - ends1->size()") * Call($$Alf$Library$CollectionFunctions$size__any__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$size__any__).result() Call($$Alf$Library$CollectionFunctions$size__any__) Tuple@ba0d91 ExpressionStatement@8a8c5c Call(AssertEquals).argument(label) Call(AssertEquals).argument(value1) Call(AssertEquals).argument(value2) Call(AssertEquals) Value("ArrayPattern - ends2->size()").result true false ArrayPattern - ends2->size() Value("ArrayPattern - ends2->size()") * Call($$Alf$Library$CollectionFunctions$size__any__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$size__any__).result() Call($$Alf$Library$CollectionFunctions$size__any__) Tuple@2c61d1 ExpressionStatement@12052e9 Fork(upper)@1c06b8b Call(Min).argument(x) Call(Min).argument(y) Call(Min).result(result) Call(Min) * Call($$Alf$Library$CollectionFunctions$size__any__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$size__any__).result() Call($$Alf$Library$CollectionFunctions$size__any__) * Call($$Alf$Library$CollectionFunctions$size__any__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$size__any__).result() Call($$Alf$Library$CollectionFunctions$size__any__) Tuple@15b7e4a RightHandSide@1d48d38 ExpressionStatement@4cf091 Fork(ForStatement@133450a.loopVariable(upper)) Fork(ForStatement@133450a.loopVariable(helper)) Fork(ForStatement@133450a.loopVariable(n)) Fork(ForStatement@133450a.loopVariable(ends1)) Fork(ForStatement@133450a.loopVariable(ends2)) Fork(ForStatement@133450a.loopVariable(i)) Fork(ForStatement@133450a.loopVariable(counter)) Fork(ForStatement@133450a.loopVariable(upper)) Call(<=).argument(x) Call(<=).argument(y) Call(<=).result(result) Call(<=) Fork(i) Values(ForStatement@133450a) Fork(ForStatement@10c2511.loopVariable(upper)) Fork(ForStatement@10c2511.loopVariable(helper)) Fork(ForStatement@10c2511.loopVariable(n)) Fork(ForStatement@10c2511.loopVariable(ends1)) Fork(ForStatement@10c2511.loopVariable(ends2)) Fork(ForStatement@10c2511.loopVariable(i)) Fork(ForStatement@10c2511.loopVariable(j)) Fork(ForStatement@10c2511.loopVariable(counter)) Fork(ForStatement@10c2511.loopVariable(upper)) Call(<=).argument(x) Call(<=).argument(y) Call(<=).result(result) Call(<=) Fork(j) Values(ForStatement@10c2511) Test(==).first true false Test(==).result true false Test(==).second true false Test(==) Call(assertConnected).argument(message) Call(assertConnected).argument(end1) Call(assertConnected).argument(end2) Call(assertConnected).target true false Call(assertConnected) Value("ArrayPattern - ends1[").result true false ArrayPattern - ends1[ Value("ArrayPattern - ends1[") Call(ToString).argument(x) Call(ToString).result(result) Call(ToString) Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Value("] is connected to ends2[").result true false ] is connected to ends2[ Value("] is connected to ends2[") Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Call(ToString).argument(x) Call(ToString).result(result) Call(ToString) Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Value("]").result true false ] Value("]") Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) * Call(At).argument(seq) true false Call(At).argument(index) Call(At).result() Call(At) Fork(Call(At).argument(index)) * Call(At).argument(seq) true false Call(At).argument(index) Call(At).result() Call(At) Fork(Call(At).argument(index)) Tuple@166639d ExpressionStatement@84c229 Value(true).result true false true Value(true) Call(assertNotConnected).argument(message) Call(assertNotConnected).argument(end1) Call(assertNotConnected).argument(end2) Call(assertNotConnected).target true false Call(assertNotConnected) Value("ArrayPattern - ends1[").result true false ArrayPattern - ends1[ Value("ArrayPattern - ends1[") Call(ToString).argument(x) Call(ToString).result(result) Call(ToString) Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Value("] is not connected to ends2[").result true false ] is not connected to ends2[ Value("] is not connected to ends2[") Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Call(ToString).argument(x) Call(ToString).result(result) Call(ToString) Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Value("]").result true false ] Value("]") Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) * Call(At).argument(seq) true false Call(At).argument(index) Call(At).result() Call(At) Fork(Call(At).argument(index)) * Call(At).argument(seq) true false Call(At).argument(index) Call(At).result() Call(At) Fork(Call(At).argument(index)) Tuple@cc2f9 ExpressionStatement@add63d IfStatement@10affd1 Passthru(Fork(upper)@1c06b8b).input true false Passthru(Fork(upper)@1c06b8b).output true false Passthru(Fork(upper)@1c06b8b) Passthru(Fork(helper)).input true false Passthru(Fork(helper)).output true false Passthru(Fork(helper)) Passthru(Fork(n)).input true false Passthru(Fork(n)).output true false Passthru(Fork(n)) * Passthru(Fork(ends1)).input true false * Passthru(Fork(ends1)).output true false Passthru(Fork(ends1)) * Passthru(Fork(ends2)).input true false * Passthru(Fork(ends2)).output true false Passthru(Fork(ends2)) Passthru(Fork(i)).input true false Passthru(Fork(i)).output true false Passthru(Fork(i)) upper true false helper true false n true false * ends1 true false * ends2 true false i true false Body(ForStatement@10c2511) Call(+).argument(x) Call(+).argument(y) Call(+).result(result) Call(+) Value(1).result true false 1 Value(1) Call(+).argument(x) Call(+).argument(y) Call(+).result(result) Call(+) Value(1).result true false 1 Value(1) Passthru(Passthru(upper)).input true false Passthru(Passthru(upper)).output true false Passthru(Passthru(upper)) ForStatement@10c2511.loopVariable(upper) true false ForStatement@10c2511.loopVariable(helper) true false ForStatement@10c2511.loopVariable(n) true false * ForStatement@10c2511.loopVariable(ends1) true false * ForStatement@10c2511.loopVariable(ends2) true false ForStatement@10c2511.loopVariable(i) true false * ForStatement@10c2511.loopVariable(j) true false ForStatement@10c2511.loopVariable(counter) true false ForStatement@10c2511.loopVariable(upper) true false ForStatement@10c2511.loopVariableInput(upper) true false ForStatement@10c2511.loopVariableInput(helper) true false ForStatement@10c2511.loopVariableInput(n) true false * ForStatement@10c2511.loopVariableInput(ends1) true false * ForStatement@10c2511.loopVariableInput(ends2) true false ForStatement@10c2511.loopVariableInput(i) true false ForStatement@10c2511.loopVariableInput(j) true false ForStatement@10c2511.loopVariableInput(counter) true false ForStatement@10c2511.loopVariableInput(upper) true false ForStatement@10c2511.result(upper) true false ForStatement@10c2511.result(helper) true false ForStatement@10c2511.result(n) true false * ForStatement@10c2511.result(ends1) true false * ForStatement@10c2511.result(ends2) true false ForStatement@10c2511.result(i) true false * ForStatement@10c2511.result(j) true false ForStatement@10c2511.result(counter) true false ForStatement@10c2511.result(upper) true false Loop(ForStatement@10c2511) true Value(1).result true false 1 Value(1) Fork(Value(1).result) Call(-).argument(x) Call(-).argument(y) Call(-).result(result) Call(-) Value(1).result true false 1 Value(1) Call(+).argument(x) Call(+).argument(y) Call(+).result(result) Call(+) Value(1).result true false 1 Value(1) LoopVariables(ForStatement@10c2511) ForStatement@10c2511 Passthru(Fork(upper)@1c06b8b).input true false Passthru(Fork(upper)@1c06b8b).output true false Passthru(Fork(upper)@1c06b8b) Passthru(Fork(helper)).input true false Passthru(Fork(helper)).output true false Passthru(Fork(helper)) Passthru(Fork(n)).input true false Passthru(Fork(n)).output true false Passthru(Fork(n)) * Passthru(Fork(ends1)).input true false * Passthru(Fork(ends1)).output true false Passthru(Fork(ends1)) * Passthru(Fork(ends2)).input true false * Passthru(Fork(ends2)).output true false Passthru(Fork(ends2)) upper true false helper true false n true false * ends1 true false * ends2 true false Body(ForStatement@133450a) Call(+).argument(x) Call(+).argument(y) Call(+).result(result) Call(+) Value(1).result true false 1 Value(1) Call(+).argument(x) Call(+).argument(y) Call(+).result(result) Call(+) Value(1).result true false 1 Value(1) Passthru(Passthru(upper)).input true false Passthru(Passthru(upper)).output true false Passthru(Passthru(upper)) ForStatement@133450a.loopVariable(upper) true false ForStatement@133450a.loopVariable(helper) true false ForStatement@133450a.loopVariable(n) true false * ForStatement@133450a.loopVariable(ends1) true false * ForStatement@133450a.loopVariable(ends2) true false * ForStatement@133450a.loopVariable(i) true false ForStatement@133450a.loopVariable(counter) true false ForStatement@133450a.loopVariable(upper) true false ForStatement@133450a.loopVariableInput(upper) true false ForStatement@133450a.loopVariableInput(helper) true false ForStatement@133450a.loopVariableInput(n) true false * ForStatement@133450a.loopVariableInput(ends1) true false * ForStatement@133450a.loopVariableInput(ends2) true false ForStatement@133450a.loopVariableInput(i) true false ForStatement@133450a.loopVariableInput(counter) true false ForStatement@133450a.loopVariableInput(upper) true false ForStatement@133450a.result(upper) true false ForStatement@133450a.result(helper) true false ForStatement@133450a.result(n) true false * ForStatement@133450a.result(ends1) true false * ForStatement@133450a.result(ends2) true false * ForStatement@133450a.result(i) true false ForStatement@133450a.result(counter) true false ForStatement@133450a.result(upper) true false Loop(ForStatement@133450a) true Value(1).result true false 1 Value(1) Fork(Value(1).result) Call(-).argument(x) Call(-).argument(y) Call(-).result(result) Call(-) Value(1).result true false 1 Value(1) Call(+).argument(x) Call(+).argument(y) Call(+).result(result) Call(+) Value(1).result true false 1 Value(1) LoopVariables(ForStatement@133450a) ForStatement@133450a Body(AssertArrayPattern) AssertArrayPattern false namespace 'Test Suites'::Utils ; private import Alf::Library::CollectionFunctions::size ; private import Alf::Library::PrimitiveBehaviors::IntegerFunctions::ToString ; activity AssertStarPattern(in ends1 : any[], in ends2 : any[], in n1 : Integer, in n2 : Integer, in helper : AbstractAssertCompositeHelper) { // Check cardinalities AssertEquals("StarPattern - ends1->size()", ends1->size(), n1) ; AssertEquals("StarPattern - ends2->size()", ends2->size(), n2) ; // Checks connections for (i in 1..ends1->size()) { for (j in 1..ends2->size()) { helper.assertConnected("StarPattern - ends1[" + ToString(i) + "] is connected to ends2[" + ToString(j) + "]",ends1[i], ends2[j]) ; } } } * ends1 * ends2 n1 n2 helper Input(ends1) Fork(ends1) Input(ends2) Fork(ends2) Input(n1) Fork(n1) Input(n2) Fork(n2) Input(helper) Fork(helper) Call(AssertEquals).argument(label) Call(AssertEquals).argument(value1) Call(AssertEquals).argument(value2) Call(AssertEquals) Value("StarPattern - ends1->size()").result true false StarPattern - ends1->size() Value("StarPattern - ends1->size()") * Call($$Alf$Library$CollectionFunctions$size__any__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$size__any__).result() Call($$Alf$Library$CollectionFunctions$size__any__) Tuple@15a309e ExpressionStatement@1e915f6 Call(AssertEquals).argument(label) Call(AssertEquals).argument(value1) Call(AssertEquals).argument(value2) Call(AssertEquals) Value("StarPattern - ends2->size()").result true false StarPattern - ends2->size() Value("StarPattern - ends2->size()") * Call($$Alf$Library$CollectionFunctions$size__any__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$size__any__).result() Call($$Alf$Library$CollectionFunctions$size__any__) Tuple@a7703d ExpressionStatement@d333fd Fork(ForStatement@cd25f9.loopVariable(n1)) Fork(ForStatement@cd25f9.loopVariable(helper)) Fork(ForStatement@cd25f9.loopVariable(n2)) Fork(ForStatement@cd25f9.loopVariable(ends1)) Fork(ForStatement@cd25f9.loopVariable(ends2)) Fork(ForStatement@cd25f9.loopVariable(i)) Fork(ForStatement@cd25f9.loopVariable(counter)) Fork(ForStatement@cd25f9.loopVariable(upper)) Call(<=).argument(x) Call(<=).argument(y) Call(<=).result(result) Call(<=) Fork(i) Values(ForStatement@cd25f9) Fork(ForStatement@fb1ce0.loopVariable(n1)) Fork(ForStatement@fb1ce0.loopVariable(helper)) Fork(ForStatement@fb1ce0.loopVariable(n2)) Fork(ForStatement@fb1ce0.loopVariable(ends1)) Fork(ForStatement@fb1ce0.loopVariable(ends2)) Fork(ForStatement@fb1ce0.loopVariable(i)) Fork(ForStatement@fb1ce0.loopVariable(j)) Fork(ForStatement@fb1ce0.loopVariable(counter)) Fork(ForStatement@fb1ce0.loopVariable(upper)) Call(<=).argument(x) Call(<=).argument(y) Call(<=).result(result) Call(<=) Fork(j) Values(ForStatement@fb1ce0) Call(assertConnected).argument(message) Call(assertConnected).argument(end1) Call(assertConnected).argument(end2) Call(assertConnected).target true false Call(assertConnected) Value("StarPattern - ends1[").result true false StarPattern - ends1[ Value("StarPattern - ends1[") Call(ToString).argument(x) Call(ToString).result(result) Call(ToString) Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Value("] is connected to ends2[").result true false ] is connected to ends2[ Value("] is connected to ends2[") Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Call(ToString).argument(x) Call(ToString).result(result) Call(ToString) Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Value("]").result true false ] Value("]") Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) * Call(At).argument(seq) true false Call(At).argument(index) Call(At).result() Call(At) Fork(Call(At).argument(index)) * Call(At).argument(seq) true false Call(At).argument(index) Call(At).result() Call(At) Fork(Call(At).argument(index)) Tuple@ac6f04 ExpressionStatement@10215e1 Passthru(Fork(n1)).input true false Passthru(Fork(n1)).output true false Passthru(Fork(n1)) Passthru(Fork(helper)).input true false Passthru(Fork(helper)).output true false Passthru(Fork(helper)) Passthru(Fork(n2)).input true false Passthru(Fork(n2)).output true false Passthru(Fork(n2)) * Passthru(Fork(ends1)).input true false * Passthru(Fork(ends1)).output true false Passthru(Fork(ends1)) * Passthru(Fork(ends2)).input true false * Passthru(Fork(ends2)).output true false Passthru(Fork(ends2)) Passthru(Fork(i)).input true false Passthru(Fork(i)).output true false Passthru(Fork(i)) n1 true false helper true false n2 true false * ends1 true false * ends2 true false i true false Body(ForStatement@fb1ce0) Call(+).argument(x) Call(+).argument(y) Call(+).result(result) Call(+) Value(1).result true false 1 Value(1) Call(+).argument(x) Call(+).argument(y) Call(+).result(result) Call(+) Value(1).result true false 1 Value(1) Passthru(Passthru(upper)).input true false Passthru(Passthru(upper)).output true false Passthru(Passthru(upper)) ForStatement@fb1ce0.loopVariable(n1) true false ForStatement@fb1ce0.loopVariable(helper) true false ForStatement@fb1ce0.loopVariable(n2) true false * ForStatement@fb1ce0.loopVariable(ends1) true false * ForStatement@fb1ce0.loopVariable(ends2) true false ForStatement@fb1ce0.loopVariable(i) true false * ForStatement@fb1ce0.loopVariable(j) true false ForStatement@fb1ce0.loopVariable(counter) true false ForStatement@fb1ce0.loopVariable(upper) true false ForStatement@fb1ce0.loopVariableInput(n1) true false ForStatement@fb1ce0.loopVariableInput(helper) true false ForStatement@fb1ce0.loopVariableInput(n2) true false * ForStatement@fb1ce0.loopVariableInput(ends1) true false * ForStatement@fb1ce0.loopVariableInput(ends2) true false ForStatement@fb1ce0.loopVariableInput(i) true false ForStatement@fb1ce0.loopVariableInput(j) true false ForStatement@fb1ce0.loopVariableInput(counter) true false ForStatement@fb1ce0.loopVariableInput(upper) true false ForStatement@fb1ce0.result(n1) true false ForStatement@fb1ce0.result(helper) true false ForStatement@fb1ce0.result(n2) true false * ForStatement@fb1ce0.result(ends1) true false * ForStatement@fb1ce0.result(ends2) true false ForStatement@fb1ce0.result(i) true false * ForStatement@fb1ce0.result(j) true false ForStatement@fb1ce0.result(counter) true false ForStatement@fb1ce0.result(upper) true false Loop(ForStatement@fb1ce0) true Value(1).result true false 1 Value(1) * Call($$Alf$Library$CollectionFunctions$size__any__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$size__any__).result() Call($$Alf$Library$CollectionFunctions$size__any__) Fork(Value(1).result) Call(-).argument(x) Call(-).argument(y) Call(-).result(result) Call(-) Value(1).result true false 1 Value(1) Call(+).argument(x) Call(+).argument(y) Call(+).result(result) Call(+) Value(1).result true false 1 Value(1) LoopVariables(ForStatement@fb1ce0) ForStatement@fb1ce0 Passthru(Fork(n1)).input true false Passthru(Fork(n1)).output true false Passthru(Fork(n1)) Passthru(Fork(helper)).input true false Passthru(Fork(helper)).output true false Passthru(Fork(helper)) Passthru(Fork(n2)).input true false Passthru(Fork(n2)).output true false Passthru(Fork(n2)) * Passthru(Fork(ends1)).input true false * Passthru(Fork(ends1)).output true false Passthru(Fork(ends1)) * Passthru(Fork(ends2)).input true false * Passthru(Fork(ends2)).output true false Passthru(Fork(ends2)) n1 true false helper true false n2 true false * ends1 true false * ends2 true false Body(ForStatement@cd25f9) Call(+).argument(x) Call(+).argument(y) Call(+).result(result) Call(+) Value(1).result true false 1 Value(1) Call(+).argument(x) Call(+).argument(y) Call(+).result(result) Call(+) Value(1).result true false 1 Value(1) Passthru(Passthru(upper)).input true false Passthru(Passthru(upper)).output true false Passthru(Passthru(upper)) ForStatement@cd25f9.loopVariable(n1) true false ForStatement@cd25f9.loopVariable(helper) true false ForStatement@cd25f9.loopVariable(n2) true false * ForStatement@cd25f9.loopVariable(ends1) true false * ForStatement@cd25f9.loopVariable(ends2) true false * ForStatement@cd25f9.loopVariable(i) true false ForStatement@cd25f9.loopVariable(counter) true false ForStatement@cd25f9.loopVariable(upper) true false ForStatement@cd25f9.loopVariableInput(n1) true false ForStatement@cd25f9.loopVariableInput(helper) true false ForStatement@cd25f9.loopVariableInput(n2) true false * ForStatement@cd25f9.loopVariableInput(ends1) true false * ForStatement@cd25f9.loopVariableInput(ends2) true false ForStatement@cd25f9.loopVariableInput(i) true false ForStatement@cd25f9.loopVariableInput(counter) true false ForStatement@cd25f9.loopVariableInput(upper) true false ForStatement@cd25f9.result(n1) true false ForStatement@cd25f9.result(helper) true false ForStatement@cd25f9.result(n2) true false * ForStatement@cd25f9.result(ends1) true false * ForStatement@cd25f9.result(ends2) true false * ForStatement@cd25f9.result(i) true false ForStatement@cd25f9.result(counter) true false ForStatement@cd25f9.result(upper) true false Loop(ForStatement@cd25f9) true Value(1).result true false 1 Value(1) * Call($$Alf$Library$CollectionFunctions$size__any__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$size__any__).result() Call($$Alf$Library$CollectionFunctions$size__any__) Fork(Value(1).result) Call(-).argument(x) Call(-).argument(y) Call(-).result(result) Call(-) Value(1).result true false 1 Value(1) Call(+).argument(x) Call(+).argument(y) Call(+).result(result) Call(+) Value(1).result true false 1 Value(1) LoopVariables(ForStatement@cd25f9) ForStatement@cd25f9 Body(AssertStarPattern) AssertStarPattern false namespace 'Test Suites'::Utils ; private import Alf::Library::CollectionFunctions::size ; private import Alf::Library::PrimitiveBehaviors::IntegerFunctions::ToString ; activity AssertUnconnectedPattern(in ends1 : any[], in ends2 : any[], in n1 : Integer, in n2 : Integer, in helper : AbstractAssertCompositeHelper) { // Check cardinalities AssertEquals("UnconnectedPattern - ends1->size()", ends1->size(), n1) ; AssertEquals("UnconnectedPattern - ends2->size()", ends2->size(), n2) ; // Checks connections for (i in 1..ends1->size()) { for (j in 1..ends2->size()) { helper.assertNotConnected("UnconnectedPattern - ends1[" + ToString(i) + "] is not connected to ends2[" + ToString(j) + "]",ends1[i], ends2[j]) ; } } } * ends1 * ends2 n1 n2 helper Input(ends1) Fork(ends1) Input(ends2) Fork(ends2) Input(n1) Fork(n1) Input(n2) Fork(n2) Input(helper) Fork(helper) Call(AssertEquals).argument(label) Call(AssertEquals).argument(value1) Call(AssertEquals).argument(value2) Call(AssertEquals) Value("UnconnectedPattern - ends1->size()").result true false UnconnectedPattern - ends1->size() Value("UnconnectedPattern - ends1->size()") * Call($$Alf$Library$CollectionFunctions$size__any__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$size__any__).result() Call($$Alf$Library$CollectionFunctions$size__any__) Tuple@4e5452 ExpressionStatement@102c32a Call(AssertEquals).argument(label) Call(AssertEquals).argument(value1) Call(AssertEquals).argument(value2) Call(AssertEquals) Value("UnconnectedPattern - ends2->size()").result true false UnconnectedPattern - ends2->size() Value("UnconnectedPattern - ends2->size()") * Call($$Alf$Library$CollectionFunctions$size__any__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$size__any__).result() Call($$Alf$Library$CollectionFunctions$size__any__) Tuple@619b5c ExpressionStatement@ce4f35 Fork(ForStatement@2a56a6.loopVariable(n1)) Fork(ForStatement@2a56a6.loopVariable(helper)) Fork(ForStatement@2a56a6.loopVariable(n2)) Fork(ForStatement@2a56a6.loopVariable(ends1)) Fork(ForStatement@2a56a6.loopVariable(ends2)) Fork(ForStatement@2a56a6.loopVariable(i)) Fork(ForStatement@2a56a6.loopVariable(counter)) Fork(ForStatement@2a56a6.loopVariable(upper)) Call(<=).argument(x) Call(<=).argument(y) Call(<=).result(result) Call(<=) Fork(i) Values(ForStatement@2a56a6) Fork(ForStatement@e9d4a2.loopVariable(n1)) Fork(ForStatement@e9d4a2.loopVariable(helper)) Fork(ForStatement@e9d4a2.loopVariable(n2)) Fork(ForStatement@e9d4a2.loopVariable(ends1)) Fork(ForStatement@e9d4a2.loopVariable(ends2)) Fork(ForStatement@e9d4a2.loopVariable(i)) Fork(ForStatement@e9d4a2.loopVariable(j)) Fork(ForStatement@e9d4a2.loopVariable(counter)) Fork(ForStatement@e9d4a2.loopVariable(upper)) Call(<=).argument(x) Call(<=).argument(y) Call(<=).result(result) Call(<=) Fork(j) Values(ForStatement@e9d4a2) Call(assertNotConnected).argument(message) Call(assertNotConnected).argument(end1) Call(assertNotConnected).argument(end2) Call(assertNotConnected).target true false Call(assertNotConnected) Value("UnconnectedPattern - ends1[").result true false UnconnectedPattern - ends1[ Value("UnconnectedPattern - ends1[") Call(ToString).argument(x) Call(ToString).result(result) Call(ToString) Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Value("] is not connected to ends2[").result true false ] is not connected to ends2[ Value("] is not connected to ends2[") Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Call(ToString).argument(x) Call(ToString).result(result) Call(ToString) Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Value("]").result true false ] Value("]") Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) * Call(At).argument(seq) true false Call(At).argument(index) Call(At).result() Call(At) Fork(Call(At).argument(index)) * Call(At).argument(seq) true false Call(At).argument(index) Call(At).result() Call(At) Fork(Call(At).argument(index)) Tuple@16e6190 ExpressionStatement@1bb45b9 Passthru(Fork(n1)).input true false Passthru(Fork(n1)).output true false Passthru(Fork(n1)) Passthru(Fork(helper)).input true false Passthru(Fork(helper)).output true false Passthru(Fork(helper)) Passthru(Fork(n2)).input true false Passthru(Fork(n2)).output true false Passthru(Fork(n2)) * Passthru(Fork(ends1)).input true false * Passthru(Fork(ends1)).output true false Passthru(Fork(ends1)) * Passthru(Fork(ends2)).input true false * Passthru(Fork(ends2)).output true false Passthru(Fork(ends2)) Passthru(Fork(i)).input true false Passthru(Fork(i)).output true false Passthru(Fork(i)) n1 true false helper true false n2 true false * ends1 true false * ends2 true false i true false Body(ForStatement@e9d4a2) Call(+).argument(x) Call(+).argument(y) Call(+).result(result) Call(+) Value(1).result true false 1 Value(1) Call(+).argument(x) Call(+).argument(y) Call(+).result(result) Call(+) Value(1).result true false 1 Value(1) Passthru(Passthru(upper)).input true false Passthru(Passthru(upper)).output true false Passthru(Passthru(upper)) ForStatement@e9d4a2.loopVariable(n1) true false ForStatement@e9d4a2.loopVariable(helper) true false ForStatement@e9d4a2.loopVariable(n2) true false * ForStatement@e9d4a2.loopVariable(ends1) true false * ForStatement@e9d4a2.loopVariable(ends2) true false ForStatement@e9d4a2.loopVariable(i) true false * ForStatement@e9d4a2.loopVariable(j) true false ForStatement@e9d4a2.loopVariable(counter) true false ForStatement@e9d4a2.loopVariable(upper) true false ForStatement@e9d4a2.loopVariableInput(n1) true false ForStatement@e9d4a2.loopVariableInput(helper) true false ForStatement@e9d4a2.loopVariableInput(n2) true false * ForStatement@e9d4a2.loopVariableInput(ends1) true false * ForStatement@e9d4a2.loopVariableInput(ends2) true false ForStatement@e9d4a2.loopVariableInput(i) true false ForStatement@e9d4a2.loopVariableInput(j) true false ForStatement@e9d4a2.loopVariableInput(counter) true false ForStatement@e9d4a2.loopVariableInput(upper) true false ForStatement@e9d4a2.result(n1) true false ForStatement@e9d4a2.result(helper) true false ForStatement@e9d4a2.result(n2) true false * ForStatement@e9d4a2.result(ends1) true false * ForStatement@e9d4a2.result(ends2) true false ForStatement@e9d4a2.result(i) true false * ForStatement@e9d4a2.result(j) true false ForStatement@e9d4a2.result(counter) true false ForStatement@e9d4a2.result(upper) true false Loop(ForStatement@e9d4a2) true Value(1).result true false 1 Value(1) * Call($$Alf$Library$CollectionFunctions$size__any__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$size__any__).result() Call($$Alf$Library$CollectionFunctions$size__any__) Fork(Value(1).result) Call(-).argument(x) Call(-).argument(y) Call(-).result(result) Call(-) Value(1).result true false 1 Value(1) Call(+).argument(x) Call(+).argument(y) Call(+).result(result) Call(+) Value(1).result true false 1 Value(1) LoopVariables(ForStatement@e9d4a2) ForStatement@e9d4a2 Passthru(Fork(n1)).input true false Passthru(Fork(n1)).output true false Passthru(Fork(n1)) Passthru(Fork(helper)).input true false Passthru(Fork(helper)).output true false Passthru(Fork(helper)) Passthru(Fork(n2)).input true false Passthru(Fork(n2)).output true false Passthru(Fork(n2)) * Passthru(Fork(ends1)).input true false * Passthru(Fork(ends1)).output true false Passthru(Fork(ends1)) * Passthru(Fork(ends2)).input true false * Passthru(Fork(ends2)).output true false Passthru(Fork(ends2)) n1 true false helper true false n2 true false * ends1 true false * ends2 true false Body(ForStatement@2a56a6) Call(+).argument(x) Call(+).argument(y) Call(+).result(result) Call(+) Value(1).result true false 1 Value(1) Call(+).argument(x) Call(+).argument(y) Call(+).result(result) Call(+) Value(1).result true false 1 Value(1) Passthru(Passthru(upper)).input true false Passthru(Passthru(upper)).output true false Passthru(Passthru(upper)) ForStatement@2a56a6.loopVariable(n1) true false ForStatement@2a56a6.loopVariable(helper) true false ForStatement@2a56a6.loopVariable(n2) true false * ForStatement@2a56a6.loopVariable(ends1) true false * ForStatement@2a56a6.loopVariable(ends2) true false * ForStatement@2a56a6.loopVariable(i) true false ForStatement@2a56a6.loopVariable(counter) true false ForStatement@2a56a6.loopVariable(upper) true false ForStatement@2a56a6.loopVariableInput(n1) true false ForStatement@2a56a6.loopVariableInput(helper) true false ForStatement@2a56a6.loopVariableInput(n2) true false * ForStatement@2a56a6.loopVariableInput(ends1) true false * ForStatement@2a56a6.loopVariableInput(ends2) true false ForStatement@2a56a6.loopVariableInput(i) true false ForStatement@2a56a6.loopVariableInput(counter) true false ForStatement@2a56a6.loopVariableInput(upper) true false ForStatement@2a56a6.result(n1) true false ForStatement@2a56a6.result(helper) true false ForStatement@2a56a6.result(n2) true false * ForStatement@2a56a6.result(ends1) true false * ForStatement@2a56a6.result(ends2) true false * ForStatement@2a56a6.result(i) true false ForStatement@2a56a6.result(counter) true false ForStatement@2a56a6.result(upper) true false Loop(ForStatement@2a56a6) true Value(1).result true false 1 Value(1) * Call($$Alf$Library$CollectionFunctions$size__any__).argument(seq) true false Call($$Alf$Library$CollectionFunctions$size__any__).result() Call($$Alf$Library$CollectionFunctions$size__any__) Fork(Value(1).result) Call(-).argument(x) Call(-).argument(y) Call(-).result(result) Call(-) Value(1).result true false 1 Value(1) Call(+).argument(x) Call(+).argument(y) Call(+).result(result) Call(+) Value(1).result true false 1 Value(1) LoopVariables(ForStatement@2a56a6) ForStatement@2a56a6 Body(AssertUnconnectedPattern) AssertUnconnectedPattern false Utils * true false seq package element package package return Input(seq) Fork(seq) Input(element) Fork(element) Return Final * Call(Includes).argument(seq) true false Call(Includes).argument(element) Call(Includes).result() Call(Includes) ReturnStatement@6eec8b11.output true false ReturnStatement@6eec8b11 Body(includes) $$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_P_P$B__ false includes<B> false * true false seq package element package package return Input(seq) Fork(seq) Input(element) Fork(element) Return Final * Call(Includes).argument(seq) true false Call(Includes).argument(element) Call(Includes).result() Call(Includes) ReturnStatement@6eec8b11.output true false ReturnStatement@6eec8b11 Body(includes) $$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_P_P$C__ false includes<C> false T private true false * true false seq package element package package return Input(seq) Fork(seq) Input(element) Fork(element) Return Final * Call(Includes).argument(seq) true false Call(Includes).argument(element) Call(Includes).result() Call(Includes) ReturnStatement@6eec8b11.output true false ReturnStatement@6eec8b11 Body(includes) $$Alf$Library$CollectionFunctions$includes__any__ false includes<T> false * true false seq package element package package return Input(seq) Fork(seq) Input(element) Fork(element) Return Final * Call(Includes).argument(seq) true false Call(Includes).argument(element) Call(Includes).result() Call(Includes) ReturnStatement@6eec8b11.output true false ReturnStatement@6eec8b11 Body(includes) $$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Delegation_Port_P$B__ false includes<B> false * true false seq package element package package return Input(seq) Fork(seq) Input(element) Fork(element) Return Final * Call(Includes).argument(seq) true false Call(Includes).argument(element) Call(Includes).result() Call(Includes) ReturnStatement@6eec8b11.output true false ReturnStatement@6eec8b11 Body(includes) $$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_PWP_P$C__ false includes<C> false * true false seq package element package package return Input(seq) Fork(seq) Input(element) Fork(element) Return Final * Call(Includes).argument(seq) true false Call(Includes).argument(element) Call(Includes).result() Call(Includes) ReturnStatement@6eec8b11.output true false ReturnStatement@6eec8b11 Body(includes) $$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Assembly_PWP_PWP$IImpl__ false includes<IImpl> false * true false seq package element package package return Input(seq) Fork(seq) Input(element) Fork(element) Return Final * Call(Includes).argument(seq) true false Call(Includes).argument(element) Call(Includes).result() Call(Includes) ReturnStatement@6eec8b11.output true false ReturnStatement@6eec8b11 Body(includes) $$Alf$Library$CollectionFunctions$includes__Test Suites$Test Suite 1$Delegation_Port_PWP$IImpl__ false includes<IImpl> false Communication isBehavior = false InterfaceRealization1 namespace 'Test Suites'::'Test Suite 2'::'Loss of Messages - Signal'::A ; private import 'Test Suites'::'Test Suite 2'::'Loss of Messages - Signal'::S ; activity AClassifierBehavior() { accept (s : S) { this.p = s.v ; } } Value(true) true ReadSelf.result true false ReadSelf Expression(LeftHandSide@190ab15) Write(p).result true false Write(p).value true false Write(p) true Fork(LeftHandSide@190ab15) Read(v).result true false Read(v) Fork() RightHandSide@1e1f64d ExpressionStatement@3ccb9b AcceptBlock(S) ReadIsClassifiedObject(S).result true false ReadIsClassifiedObject(S) Decision(Test(S)) Fork(Accept(S).result) Accept(S).result true false Accept(S) Initial(Accept(S)) AcceptStatement@1abb60b Body(AClassifierBehavior) AClassifierBehavior false p q composite result return A public S public A true v public S S public I InterfaceRealization1 S public IImpl true namespace 'Test Suites'::'Test Suite 2'::'Loss of Messages - Signal' ; activity 'Test case - Loss of Messages - Signal'() { WriteLine("-- Running test case: Loss of Signal on non-behavior ports with no delegation connector --") ; // Instantiate A a = new A() ; a.q.S(4) ; AssertFalse("Signal received", a.p == 4) ; WriteLine("-- End of test case --") ; } Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("-- Running test case: Loss of Signal on non-behavior ports with no delegation connector --").result true false -- Running test case: Loss of Signal on non-behavior ports with no delegation connector -- Value("-- Running test case: Loss of Signal on non-behavior ports with no delegation connector --") Tuple@15c8aa5 ExpressionStatement@1d84cf7 Fork(a)@c3637 Call(A).result(result) Call(A).target true false Call(A) Create(A).result true false Create(A) Fork(Call(A).result(result)) Start(A) Output(Call(A).result(result)) true false InstanceCreationExpression@125cee6 RightHandSide@125cee6 ExpressionStatement@1adc7d8 SendSignal(S).argument(v) SendSignal(S).target true false SendSignal(S) Value(4).result true false 4 Value(4) Tuple@1286543 Collect(SendSignal(S)) parallel Collect(SendSignal(S)).inputElement Read(q).result true false Read(q) Fork(Fork(a)@c3637) Feature(Read(q).result) ExpressionStatement@1b96d22 Call(AssertFalse).argument(label) Call(AssertFalse).argument(condition) Call(AssertFalse) Value(false) Value("Signal received").result true false Signal received Value("Signal received") Read(p).result true false Read(p) Fork(Fork(a)@c3637) Value(4).result true false 4 Value(4) Test(==).first true false Test(==).result true false Test(==).second true false Test(==) Fork(Read(p).result) * Call(NotEmpty).argument(seq) true false Call(NotEmpty).result() Call(NotEmpty) Fork(Call(NotEmpty).result()) Merge(Test(==).result, Call(NotEmpty).result()) Decision(Call(NotEmpty).result()) Tuple@19d9b5d ExpressionStatement@c46a8a Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("-- End of test case --").result true false -- End of test case -- Value("-- End of test case --") Tuple@96177c ExpressionStatement@16f4cb2 Body(Test case - Loss of Messages - Signal) Test case - Loss of Messages - Signal false Loss of Messages - Signal InterfaceRealization1 namespace 'Test Suites'::'Test Suite 2'::'Loss of Messages - Operation'::A ; activity AClassifierBehavior() { // FIXME: This classifier behavior shall not exist. To be removed when Alf to fUML compiler is patched. } Body(AClassifierBehavior) AClassifierBehavior false namespace 'Test Suites'::'Test Suite 2'::'Loss of Messages - Operation'::A ; activity setP(in v : Integer) { this.p = v ; } v Input(v) Fork(v) ReadSelf.result true false ReadSelf Expression(LeftHandSide@1f91010) Write(p).result true false Write(p).value true false Write(p) true Fork(LeftHandSide@1f91010) RightHandSide@8a8b22 ExpressionStatement@1db3aaa Body(setP) setP false p q composite result return A public v setP public A v setP public I InterfaceRealization1 v setP public IImpl namespace 'Test Suites'::'Test Suite 2'::'Loss of Messages - Operation' ; activity 'Test case - Loss of Messages - Operation'() { WriteLine("-- Running test case: Loss of Operation call on non-behavior ports with no delegation connector --") ; // Instantiate A a = new A() ; a.q.setP(4) ; AssertFalse("Operation call received", a.p == 4) ; WriteLine("-- End of test case --") ; } Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("-- Running test case: Loss of Operation call on non-behavior ports with no delegation connector --").result true false -- Running test case: Loss of Operation call on non-behavior ports with no delegation connector -- Value("-- Running test case: Loss of Operation call on non-behavior ports with no delegation connector --") Tuple@35c78a ExpressionStatement@14b160c Fork(a)@185eb67 Call(A).result(result) Call(A).target true false Call(A) Create(A).result true false Create(A) Fork(Call(A).result(result)) Start(A) Output(Call(A).result(result)) true false InstanceCreationExpression@84c958 RightHandSide@84c958 ExpressionStatement@1aab726 Call(setP).argument(v) Call(setP).target true false Call(setP) Value(4).result true false 4 Value(4) Tuple@1617c2c Collect(Call(setP)) parallel Collect(Call(setP)).inputElement Read(q).result true false Read(q) Fork(Fork(a)@185eb67) Feature(Read(q).result) ExpressionStatement@15cf175 Call(AssertFalse).argument(label) Call(AssertFalse).argument(condition) Call(AssertFalse) Value(false) Value("Operation call received").result true false Operation call received Value("Operation call received") Read(p).result true false Read(p) Fork(Fork(a)@185eb67) Value(4).result true false 4 Value(4) Test(==).first true false Test(==).result true false Test(==).second true false Test(==) Fork(Read(p).result) * Call(NotEmpty).argument(seq) true false Call(NotEmpty).result() Call(NotEmpty) Fork(Call(NotEmpty).result()) Merge(Test(==).result, Call(NotEmpty).result()) Decision(Call(NotEmpty).result()) Tuple@ef0ade ExpressionStatement@21b58e Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("-- End of test case --").result true false -- End of test case -- Value("-- End of test case --") Tuple@16d14db ExpressionStatement@1bf0cc8 Body(Test case - Loss of Messages - Operation) Test case - Loss of Messages - Operation false Loss of Messages - Operation InterfaceRealization1 namespace 'Test Suites'::'Test Suite 2'::'BehaviorPort - Signal'::A ; private import 'Test Suites'::'Test Suite 2'::'BehaviorPort - Signal'::S ; activity AClassifierBehavior() { accept (s : S) { this.p = s.v ; s.t.Continue() ; } } Value(true) true ReadSelf.result true false ReadSelf Expression(LeftHandSide@7ff1fd) Clear(p).result true false Clear(p) Fork(LeftHandSide@7ff1fd) Write(p).result true false Write(p).value true false Write(p) true WriteAll(Test Suites::Test Suite 2::BehaviorPort - Signal::A::p).input(Test Suites::Test Suite 2::BehaviorPort - Signal::A::p) true false WriteAll(Test Suites::Test Suite 2::BehaviorPort - Signal::A::p) Read(v).result true false Read(v) Fork() RightHandSide@191cd3c ExpressionStatement@54d9a9 SendSignal(Continue).target true false SendSignal(Continue) Read(t).result true false Read(t) Fork() ExpressionStatement@768356 AcceptBlock(S) ReadIsClassifiedObject(S).result true false ReadIsClassifiedObject(S) Decision(Test(S)) Fork(Accept(S).result) Accept(S).result true false Accept(S) Initial(Accept(S)) AcceptStatement@1415d4e Body(AClassifierBehavior) AClassifierBehavior false p q composite true result return A public S public A true v public t public S S public I InterfaceRealization1 S public IImpl true namespace 'Test Suites'::'Test Suite 2'::'BehaviorPort - Signal' ; activity 'Test case - BehaviorPort - Signal'() { // Instantiate Tester t = new Tester() ; t.Start() ; } Fork(t)@78a75d Call(Tester).result(result) Call(Tester).target true false Call(Tester) Create(Tester).result true false Create(Tester) Fork(Call(Tester).result(result)) Start(Tester) Output(Call(Tester).result(result)) true false InstanceCreationExpression@8842d6 RightHandSide@8842d6 ExpressionStatement@15c5618 SendSignal(Start).target true false SendSignal(Start) Collect(SendSignal(Start)) parallel Collect(SendSignal(Start)).inputElement Feature(Fork(t)@78a75d) ExpressionStatement@4b5d12 Body(Test case - BehaviorPort - Signal) Test case - BehaviorPort - Signal false namespace 'Test Suites'::'Test Suite 2'::'BehaviorPort - Signal'::Tester ; activity test() { WriteLine("-- Running test case: Reception of a Signal on a behavior port --") ; AssertTrue("Signal delegated to classifier behavior", this.a.p == 4) ; WriteLine("-- End of test case --") ; } Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("-- Running test case: Reception of a Signal on a behavior port --").result true false -- Running test case: Reception of a Signal on a behavior port -- Value("-- Running test case: Reception of a Signal on a behavior port --") Tuple@1259d09 ExpressionStatement@196d508 Call(AssertTrue).argument(label) Call(AssertTrue).argument(condition) Call(AssertTrue) Value("Signal delegated to classifier behavior").result true false Signal delegated to classifier behavior Value("Signal delegated to classifier behavior") ReadSelf.result true false ReadSelf Read(a).result true false Read(a) Fork(ReadSelf.result) Read(p).result true false Read(p) Fork(Read(a).result) Value(4).result true false 4 Value(4) Test(==).first true false Test(==).result true false Test(==).second true false Test(==) Tuple@acec65 ExpressionStatement@764755 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("-- End of test case --").result true false -- End of test case -- Value("-- End of test case --") Tuple@2f769d ExpressionStatement@82468e Body(test) test false /* Generated textual representation of Activity Test Suites::Test Suite 2::BehaviorPort - Signal::Tester::TesterClassifierBehavior */ namespace 'Test Suites'::'Test Suite 2'::'BehaviorPort - Signal'::Tester ; private import 'Test Suites'::'Test Suite 2'::'BehaviorPort - Signal'::Start ; private import 'Test Suites'::'Test Suite 2'::'BehaviorPort - Signal'::Continue ; activity TesterClassifierBehavior() { accept(Start) ; this.a.q.S(4, this) ; accept(Continue) ; this.test() ; } Accept(Start) Initial(Accept(Start)) AcceptStatement@1924c25 SendSignal(S).argument(v) SendSignal(S).argument(t) SendSignal(S).target true false SendSignal(S) Value(4).result true false 4 Value(4) ReadSelf.result true false ReadSelf Tuple@1c709f2 ReadSelf.result true false ReadSelf Read(a).result true false Read(a) Fork(ReadSelf.result) Read(q).result true false Read(q) Fork(Read(a).result) ExpressionStatement@1efd478 Accept(Continue) Initial(Accept(Continue)) AcceptStatement@69ede2 Call(test).target true false Call(test) ReadSelf.result true false ReadSelf ExpressionStatement@a87509 Body(TesterClassifierBehavior) TesterClassifierBehavior false a public composite result return Tester public test public Tester true Start Continue test true Start public . Continue public . AbstractTester true true BehaviorPort - Signal namespace 'Test Suites'::'Test Suite 2' ; private import 'Test Suites'::'Test Suite 2'::'Loss of Messages - Signal'::* ; private import 'Test Suites'::'Test Suite 2'::'Loss of Messages - Operation'::* ; private import 'Test Suites'::'Test Suite 2'::'BehaviorPort - Signal'::* ; private import 'Test Suites'::'Test Suite 2'::'SingleDelegation - PortToPart - Signal'::* ; private import 'Test Suites'::'Test Suite 2'::'SingleDelegation - PortToPart - Operation'::* ; private import 'Test Suites'::'Test Suite 2'::'SingleDelegation - PortToPWP - Signal'::* ; private import 'Test Suites'::'Test Suite 2'::'SingleDelegation - PortToPWP - Operation'::* ; private import 'Test Suites'::'Test Suite 2'::'MultipleDelegation - SameConnector - PortToPart - Signal'::* ; private import 'Test Suites'::'Test Suite 2'::'MultipleDelegation - SameConnector - PortToPart - Operation'::* ; private import 'Test Suites'::'Test Suite 2'::'MultipleDelegation - SameConnector - PortToPWP - Signal'::* ; private import 'Test Suites'::'Test Suite 2'::'MultipleDelegation - SameConnector - PortToPWP - Operation'::* ; private import 'Test Suites'::'Test Suite 2'::'MultipleDelegation - MultipleConnectors - PortToPart - Signal'::* ; private import 'Test Suites'::'Test Suite 2'::'MultipleDelegation - MultipleConnectors - PortToPWP - Signal'::* ; private import 'Test Suites'::'Test Suite 2'::'MultipleDelegation - MultipleConnectors - PortToPart - Operation'::* ; private import 'Test Suites'::'Test Suite 2'::'MultipleDelegation - MultipleConnectors - PortToPWP - Operation'::* ; activity 'Test Suite 2'() { WriteLine("---- Running Test Suite 2 ----") ; WriteLine("") ; 'Test case - BehaviorPort - Signal'() ; WriteLine("") ; 'Test case - Loss of Messages - Operation'() ; WriteLine("") ; 'Test case - Loss of Messages - Signal'() ; WriteLine("") ; 'Test case - MultipleDelegation - MultipleConnectors - PortToPart - Operation'() ; WriteLine("") ; 'Test case - MultipleDelegation - MultipleConnectors - PortToPart - Signal'() ; WriteLine("") ; 'Test case - MultipleDelegation - MultipleConnectors - PortToPWP - Operation'() ; WriteLine("") ; 'Test case - MultipleDelegation - MultipleConnectors - PortToPWP - Signal'() ; WriteLine("") ; 'Test case - MultipleDelegation - SameConnector - PortToPart - Operation'() ; WriteLine("") ; 'Test case - MultipleDelegation - SameConnector - PortToPart - Signal'() ; WriteLine("") ; 'Test case - MultipleDelegation - SameConnector - PortToPWP - Operation'() ; WriteLine("") ; 'Test case - MultipleDelegation - SameConnector - PortToPWP - Signal'() ; WriteLine("") ; 'Test case - SingleDelegation - PortToPart - Operation'() ; WriteLine("") ; 'Test case - SingleDelegation - PortToPart - Signal'() ; WriteLine("") ; 'Test case - SingleDelegation - PortToPWP - Operation'() ; WriteLine("") ; 'Test case - SingleDelegation - PortToPWP - Signal'() ; WriteLine("") ; WriteLine("") ; WriteLine("---- End of Test Suite 2 ----") ; } namespace 'Test Suites'::'Test Suite 2' ; private import 'Test Suites'::'Test Suite 2'::'Loss of Messages - Signal'::* ; private import 'Test Suites'::'Test Suite 2'::'Loss of Messages - Operation'::* ; private import 'Test Suites'::'Test Suite 2'::'BehaviorPort - Signal'::* ; private import 'Test Suites'::'Test Suite 2'::'BehaviorPort - Operation'::* ; private import 'Test Suites'::'Test Suite 2'::'SingleDelegation - PortToPart - Signal'::* ; private import 'Test Suites'::'Test Suite 2'::'SingleDelegation - PortToPart - Operation'::* ; private import 'Test Suites'::'Test Suite 2'::'SingleDelegation - PortToPWP - Signal'::* ; private import 'Test Suites'::'Test Suite 2'::'SingleDelegation - PortToPWP - Operation'::* ; private import 'Test Suites'::'Test Suite 2'::'MultipleDelegation - SameConnector - PortToPart - Signal'::* ; private import 'Test Suites'::'Test Suite 2'::'MultipleDelegation - SameConnector - PortToPart - Operation'::* ; private import 'Test Suites'::'Test Suite 2'::'MultipleDelegation - SameConnector - PortToPWP - Signal'::* ; private import 'Test Suites'::'Test Suite 2'::'MultipleDelegation - SameConnector - PortToPWP - Operation'::* ; private import 'Test Suites'::'Test Suite 2'::'MultipleDelegation - MultipleConnectors - PortToPart - Signal'::* ; private import 'Test Suites'::'Test Suite 2'::'MultipleDelegation - MultipleConnectors - PortToPWP - Signal'::* ; private import 'Test Suites'::'Test Suite 2'::'MultipleDelegation - MultipleConnectors - PortToPart - Operation'::* ; private import 'Test Suites'::'Test Suite 2'::'MultipleDelegation - MultipleConnectors - PortToPWP - Operation'::* ; activity 'Test Suite 2'() { WriteLine("---- Running Test Suite 2 ----") ; WriteLine("") ; 'Test case - BehaviorPort - Signal'() ; WriteLine("") ; 'Test case - Behavior Port - Operation'() ; WriteLine("") ; 'Test case - Loss of Messages - Operation'() ; WriteLine("") ; 'Test case - Loss of Messages - Signal'() ; WriteLine("") ; 'Test case - MultipleDelegation - MultipleConnectors - PortToPart - Operation'() ; WriteLine("") ; 'Test case - MultipleDelegation - MultipleConnectors - PortToPart - Signal'() ; WriteLine("") ; 'Test case - MultipleDelegation - MultipleConnectors - PortToPWP - Operation'() ; WriteLine("") ; 'Test case - MultipleDelegation - MultipleConnectors - PortToPWP - Signal'() ; WriteLine("") ; 'Test case - MultipleDelegation - SameConnector - PortToPart - Operation'() ; WriteLine("") ; 'Test case - MultipleDelegation - SameConnector - PortToPart - Signal'() ; WriteLine("") ; 'Test case - MultipleDelegation - SameConnector - PortToPWP - Operation'() ; WriteLine("") ; 'Test case - MultipleDelegation - SameConnector - PortToPWP - Signal'() ; WriteLine("") ; 'Test case - SingleDelegation - PortToPart - Operation'() ; WriteLine("") ; 'Test case - SingleDelegation - PortToPart - Signal'() ; WriteLine("") ; 'Test case - SingleDelegation - PortToPWP - Operation'() ; WriteLine("") ; 'Test case - SingleDelegation - PortToPWP - Signal'() ; WriteLine("") ; WriteLine("") ; WriteLine("---- End of Test Suite 2 ----") ; } Call('WriteLine').argument('value') Call('WriteLine').result('errorStatus') Call('WriteLine') Value('""').result "" Value('""') Tuple('Call('WriteLine')') 16:Expression Statement Call('WriteLine').argument('value') Call('WriteLine').result('errorStatus') Call('WriteLine') Value('""').result "" Value('""') Tuple('Call('WriteLine')') 04:Expression Statement Call('WriteLine').argument('value') Call('WriteLine').result('errorStatus') Call('WriteLine') Value('""').result "" Value('""') Tuple('Call('WriteLine')') 30:Expression Statement Value('""').result "" Value('""') Tuple('Call('WriteLine')') Call('WriteLine').argument('value') Call('WriteLine').result('errorStatus') Call('WriteLine') 10:Expression Statement Call('Test case - MultipleDelegation - SameConnector - PortToPWP - Signal') 25:Expression Statement Value('""').result "" Value('""') Tuple('Call('WriteLine')') Call('WriteLine').argument('value') Call('WriteLine').result('errorStatus') Call('WriteLine') 32:Expression Statement Call('Test case - MultipleDelegation - MultipleConnectors - PortToPart - Operation') 11:Expression Statement Value('"---- End of Test Suite 2 ----"').result "---- End of Test Suite 2 ----" ---- End of Test Suite 2 ---- Value('"---- End of Test Suite 2 ----"') Tuple('Call('WriteLine')') Call('WriteLine').argument('value') Call('WriteLine').result('errorStatus') Call('WriteLine') 36:Expression Statement Call('Test case - MultipleDelegation - SameConnector - PortToPWP - Operation') 23:Expression Statement Call('Test case - MultipleDelegation - MultipleConnectors - PortToPWP - Signal') 17:Expression Statement Call('Test case - MultipleDelegation - SameConnector - PortToPart - Operation') 19:Expression Statement Call('Test case - MultipleDelegation - SameConnector - PortToPart - Signal') 21:Expression Statement Value('""').result "" Value('""') Tuple('Call('WriteLine')') Call('WriteLine').argument('value') Call('WriteLine').result('errorStatus') Call('WriteLine') 14:Expression Statement Value('""').result "" Value('""') Tuple('Call('WriteLine')') Call('WriteLine').argument('value') Call('WriteLine').result('errorStatus') Call('WriteLine') 22:Expression Statement Call('WriteLine').argument('value') Call('WriteLine').result('errorStatus') Call('WriteLine') Value('""').result "" Value('""') Tuple('Call('WriteLine')') 20:Expression Statement Call('WriteLine').argument('value') Call('WriteLine').result('errorStatus') Call('WriteLine') Value('""').result "" Value('""') Tuple('Call('WriteLine')') 08:Expression Statement Value('""').result "" Value('""') Tuple('Call('WriteLine')') Call('WriteLine').argument('value') Call('WriteLine').result('errorStatus') Call('WriteLine') 26:Expression Statement Call('WriteLine').argument('value') Call('WriteLine').result('errorStatus') Call('WriteLine') Value('""').result "" Value('""') Tuple('Call('WriteLine')') 18:Expression Statement Value('""').result "" Value('""') Tuple('Call('WriteLine')') Call('WriteLine').argument('value') Call('WriteLine').result('errorStatus') Call('WriteLine') 34:Expression Statement Call('WriteLine').argument('value') Call('WriteLine').result('errorStatus') Call('WriteLine') Value('""').result "" Value('""') Tuple('Call('WriteLine')') 28:Expression Statement Value('"---- Running Test Suite 2 ----"').result "---- Running Test Suite 2 ----" ---- Running Test Suite 2 ---- Value('"---- Running Test Suite 2 ----"') Tuple('Call('WriteLine')') Call('WriteLine').argument('value') Call('WriteLine').result('errorStatus') Call('WriteLine') 01:Expression Statement Call('Test case - Loss of Messages - Signal') 09:Expression Statement Value('""').result "" Value('""') Tuple('Call('WriteLine')') Call('WriteLine').argument('value') Call('WriteLine').result('errorStatus') Call('WriteLine') 35:Expression Statement Call('Test case - Behavior Port - Operation') 05:Expression Statement Call('Test case - Loss of Messages - Operation') 07:Expression Statement Call('Test case - SingleDelegation - PortToPWP - Operation') 31:Expression Statement Call('Test case - SingleDelegation - PortToPWP - Signal') 33:Expression Statement Call('Test case - MultipleDelegation - MultipleConnectors - PortToPart - Signal') 13:Expression Statement Call('Test case - BehaviorPort - Signal') 03:Expression Statement Value('""').result "" Value('""') Tuple('Call('WriteLine')') Call('WriteLine').argument('value') Call('WriteLine').result('errorStatus') Call('WriteLine') 02:Expression Statement Call('Test case - SingleDelegation - PortToPart - Operation') 27:Expression Statement Call('Test case - SingleDelegation - PortToPart - Signal') 29:Expression Statement Call('WriteLine').argument('value') Call('WriteLine').result('errorStatus') Call('WriteLine') Value('""').result "" Value('""') Tuple('Call('WriteLine')') 06:Expression Statement Value('""').result "" Value('""') Tuple('Call('WriteLine')') Call('WriteLine').argument('value') Call('WriteLine').result('errorStatus') Call('WriteLine') 24:Expression Statement Call('Test case - MultipleDelegation - MultipleConnectors - PortToPWP - Operation') 15:Expression Statement Call('WriteLine').argument('value') Call('WriteLine').result('errorStatus') Call('WriteLine') Value('""').result "" Value('""') Tuple('Call('WriteLine')') 12:Expression Statement Body Test Suite 2 false q composite b composite r result return A public A S public . I InterfaceRealization1 S public . IImpl true namespace 'Test Suites'::'Test Suite 2'::'SingleDelegation - PortToPart - Signal' ; private import 'Test Suites'::'Test Suite 2'::'BehaviorPort - Signal'::AbstractTester ; private import 'Test Suites'::'Test Suite 2'::'BehaviorPort - Signal'::Start ; activity 'Test case - SingleDelegation - PortToPart - Signal'() { AbstractTester t = new Tester() ; t.Start() ; } Fork(t)@e28c61 Call(Tester).result(result) Call(Tester).target true false Call(Tester) Create(Tester).result true false Create(Tester) Fork(Call(Tester).result(result)) Start(Tester) Output(Call(Tester).result(result)) true false InstanceCreationExpression@eeb7e5 RightHandSide@eeb7e5 LocalNameDeclarationStatement@17d216 SendSignal(Start).target true false SendSignal(Start) Collect(SendSignal(Start)) parallel Collect(SendSignal(Start)).inputElement Feature(Fork(t)@e28c61) ExpressionStatement@c44515 Body(Test case - SingleDelegation - PortToPart - Signal) Test case - SingleDelegation - PortToPart - Signal false y x R InterfaceRealization1 InterfaceRealization1 namespace 'Test Suites'::'Test Suite 2'::'SingleDelegation - PortToPart - Signal'::B ; private import 'Test Suites'::'Test Suite 2'::'BehaviorPort - Signal'::S ; activity BClassifierBehavior() { accept (s : S) { this.p = s.v ; s.t.Continue() ; } } Value(true) true ReadSelf.result true false ReadSelf Expression(LeftHandSide@1020ce8) Clear(p).result true false Clear(p) Fork(LeftHandSide@1020ce8) Write(p).result true false Write(p).value true false Write(p) true WriteAll(Test Suites::Test Suite 2::SingleDelegation - PortToPart - Signal::B::p).input(Test Suites::Test Suite 2::SingleDelegation - PortToPart - Signal::B::p) true false WriteAll(Test Suites::Test Suite 2::SingleDelegation - PortToPart - Signal::B::p) Read(v).result true false Read(v) Fork() RightHandSide@203a56 ExpressionStatement@121620 SendSignal(Continue).target true false SendSignal(Continue) Read(t).result true false Read(t) Fork() ExpressionStatement@d1426d AcceptBlock(S) ReadIsClassifiedObject(S).result true false ReadIsClassifiedObject(S) Decision(Test(S)) Fork(Accept(S).result) Accept(S).result true false Accept(S) Initial(Accept(S)) AcceptStatement@1a8e01f Body(BClassifierBehavior) BClassifierBehavior false p result return B public S public B true namespace 'Test Suites'::'Test Suite 2'::'SingleDelegation - PortToPart - Signal'::Tester ; activity test() { WriteLine("-- Running test case: Single delegation connector - Signal delegated from port to part --") ; AssertTrue("Signal delegated to classifier behavior", this.a.b.p == 4) ; WriteLine("-- End of test case --") ; } Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("-- Running test case: Single delegation connector - Signal delegated from port to part --").result true false -- Running test case: Single delegation connector - Signal delegated from port to part -- Value("-- Running test case: Single delegation connector - Signal delegated from port to part --") Tuple@163f11f ExpressionStatement@56e651 Call(AssertTrue).argument(label) Call(AssertTrue).argument(condition) Call(AssertTrue) Value("Signal delegated to classifier behavior").result true false Signal delegated to classifier behavior Value("Signal delegated to classifier behavior") ReadSelf.result true false ReadSelf Read(a).result true false Read(a) Fork(ReadSelf.result) Read(b).result true false Read(b) Fork(Read(a).result) Read(p).result true false Read(p) Fork(Read(b).result) Value(4).result true false 4 Value(4) Test(==).first true false Test(==).result true false Test(==).second true false Test(==) Tuple@dbb5e1 ExpressionStatement@e43ed5 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("-- End of test case --").result true false -- End of test case -- Value("-- End of test case --") Tuple@131d91e ExpressionStatement@19078bd Body(test) test false namespace 'Test Suites'::'Test Suite 2'::'SingleDelegation - PortToPart - Signal'::Tester ; private import 'Test Suites'::'Test Suite 2'::'BehaviorPort - Signal'::Start ; private import 'Test Suites'::'Test Suite 2'::'BehaviorPort - Signal'::Continue ; activity TesterClassifierBehavior() { accept(Start) ; this.a.q.S(4, this) ; accept(Continue) ; this.test() ; } Accept(Start) Initial(Accept(Start)) AcceptStatement@89d8e1 SendSignal(S).argument(v) SendSignal(S).argument(t) SendSignal(S).target true false SendSignal(S) Value(4).result true false 4 Value(4) ReadSelf.result true false ReadSelf Tuple@1aaaeb8 ReadSelf.result true false ReadSelf Read(a).result true false Read(a) Fork(ReadSelf.result) Read(q).result true false Read(q) Fork(Read(a).result) ExpressionStatement@165af54 Accept(Continue) Initial(Accept(Continue)) AcceptStatement@463492 Call(test).target true false Call(test) ReadSelf.result true false ReadSelf ExpressionStatement@4e7280 Body(TesterClassifierBehavior) TesterClassifierBehavior false a public composite result return Tester public test public Tester true SingleDelegation - PortToPart - Signal q composite b composite r result return A public A v setP public I InterfaceRealization1 v setP public IImpl namespace 'Test Suites'::'Test Suite 2'::'SingleDelegation - PortToPart - Operation' ; activity 'Test case - SingleDelegation - PortToPart - Operation'() { WriteLine("-- Running test case: Single delegation connector - Operation delegated from port to part --") ; // Instantiate A a = new A() ; a.q.setP(4) ; AssertTrue("Operation call delegated", a.b.p == 4) ; WriteLine("-- End of test case --") ; } Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("-- Running test case: Single delegation connector - Operation delegated from port to part --").result true false -- Running test case: Single delegation connector - Operation delegated from port to part -- Value("-- Running test case: Single delegation connector - Operation delegated from port to part --") Tuple@df9053 ExpressionStatement@9466ec Fork(a)@4475fb Call(A).result(result) Call(A).target true false Call(A) Create(A).result true false Create(A) RightHandSide@9dcc8b ExpressionStatement@18546af Call(setP).argument(v) Call(setP).target true false Call(setP) Value(4).result true false 4 Value(4) Tuple@1fb9204 Collect(Call(setP)) parallel Collect(Call(setP)).inputElement Read(q).result true false Read(q) Fork(Fork(a)@4475fb) Feature(Read(q).result) ExpressionStatement@1914050 Call(AssertTrue).argument(label) Call(AssertTrue).argument(condition) Call(AssertTrue) Value(false) Value("Operation call delegated").result true false Operation call delegated Value("Operation call delegated") Read(b).result true false Read(b) Fork(Fork(a)@4475fb) Read(p).result true false Read(p) Fork(Read(b).result) Value(4).result true false 4 Value(4) Test(==).first true false Test(==).result true false Test(==).second true false Test(==) Fork(Read(p).result) * Call(NotEmpty).argument(seq) true false Call(NotEmpty).result() Call(NotEmpty) Fork(Call(NotEmpty).result()) Merge(Test(==).result, Call(NotEmpty).result()) Decision(Call(NotEmpty).result()) Tuple@fcb90 ExpressionStatement@1c51ac6 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("-- End of test case --").result true false -- End of test case -- Value("-- End of test case --") Tuple@f8ea71 ExpressionStatement@122958f Body(Test case - SingleDelegation - PortToPart - Operation) Test case - SingleDelegation - PortToPart - Operation false y x R InterfaceRealization1 InterfaceRealization1 namespace 'Test Suites'::'Test Suite 2'::'SingleDelegation - PortToPart - Operation'::B ; activity BClassifierBehavior() { // FIXME: This classifier behavior shall not exist. To be removed when Alf to fUML compiler is patched. } Body(BClassifierBehavior) BClassifierBehavior false namespace 'Test Suites'::'Test Suite 2'::'SingleDelegation - PortToPart - Operation'::B ; activity setP(in v : Integer) { this.p = v ; } v Input(v) Fork(v) ReadSelf.result true false ReadSelf Expression(LeftHandSide@19d736e) Write(p).result true false Write(p).value true false Write(p) true Fork(LeftHandSide@19d736e) RightHandSide@1e64eb2 ExpressionStatement@1ca13c Body(setP) setP false p result return B public v setP public B SingleDelegation - PortToPart - Operation q composite 4 4 b true false composite * 4 * r result return A public A S public . I InterfaceRealization1 S public . IImpl true namespace 'Test Suites'::'Test Suite 2'::'MultipleDelegation - SameConnector - PortToPart - Signal' ; activity 'Test case - MultipleDelegation - SameConnector - PortToPart - Signal'() { t = new Tester() ; t.Start() ; } Fork(t)@180e510 Call(Tester).result(result) Call(Tester).target true false Call(Tester) Create(Tester).result true false Create(Tester) Fork(Call(Tester).result(result)) Start(Tester) Output(Call(Tester).result(result)) true false InstanceCreationExpression@6c9371 RightHandSide@6c9371 ExpressionStatement@3ef0fd SendSignal(Start).target true false SendSignal(Start) Collect(SendSignal(Start)) parallel Collect(SendSignal(Start)).inputElement Feature(Fork(t)@180e510) ExpressionStatement@17901c7 Body(Test case - MultipleDelegation - SameConnector - PortToPart - Signal) Test case - MultipleDelegation - SameConnector - PortToPart - Signal false * y * x R InterfaceRealization1 namespace 'Test Suites'::'Test Suite 2'::'MultipleDelegation - SameConnector - PortToPart - Signal'::B ; private import 'Test Suites'::'Test Suite 2'::'BehaviorPort - Signal'::S ; activity BClassifierBehavior() { accept (s : S) { this.p = s.v ; s.t.Continue() ; } } Value(true) true ReadSelf.result true false ReadSelf Expression(LeftHandSide@5fdfc8) Clear(p).result true false Clear(p) Fork(LeftHandSide@5fdfc8) Write(p).result true false Write(p).value true false Write(p) true WriteAll(Test Suites::Test Suite 2::MultipleDelegation - SameConnector - PortToPart - Signal::B::p).input(Test Suites::Test Suite 2::MultipleDelegation - SameConnector - PortToPart - Signal::B::p) true false WriteAll(Test Suites::Test Suite 2::MultipleDelegation - SameConnector - PortToPart - Signal::B::p) Read(v).result true false Read(v) Fork() RightHandSide@cb82e0 ExpressionStatement@2d011e SendSignal(Continue).target true false SendSignal(Continue) Read(t).result true false Read(t) Fork() ExpressionStatement@1db5770 AcceptBlock(S) ReadIsClassifiedObject(S).result true false ReadIsClassi