namespace AssertionLibrary ; private import Alf::Library::CollectionFunctions::size ; activity AssertEqual(in label: String, in value1: any, in value2: any) { Write(label + "=="); Write(value2 instanceof String? "\"" + (String)value2 + "\"": value2); AssertTrue("", value1==value2); } label package value1 package value2 package Call(Write).argument(value) Call(Write) Value("==").result true false == Value("==") Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Tuple@11dc721 ExpressionStatement@aeca99 Call(Write).argument(value) Call(Write) Value(true) true Value(false) ReadIsClassifiedObject(String).result true false ReadIsClassifiedObject(String) Value(""").result true false " Value(""") Value(true) true Merge(CastExpression@1bee7e.operand) ReadIsClassifiedObject(String).result true false ReadIsClassifiedObject(String) Fork(ReadIsClassifiedObject(String).object) Decision(ReadIsClassifiedObject(String).result) CastExpression@1bee7e parallel CastExpression@1bee7e.inputElement CastExpression@1bee7e.outputElement 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) * ConditionalTestExpression@10500b1.operand2.result true false ConditionalTestExpression@10500b1.operand2 Merge(Fork(value2)) * ConditionalTestExpression@10500b1.operand3.result true false ConditionalTestExpression@10500b1.operand3 Initial(ConditionalTestExpression@10500b1) Decision(ConditionalTestExpression@10500b1) Merge(ConditionalTestExpression@10500b1.result) Tuple@646e1b ExpressionStatement@fc6a34 Call(AssertTrue).argument(label) Call(AssertTrue).argument(condition) Call(AssertTrue) Value("").result true false Value("") Test(==).first true false Test(==).result true false Test(==).second true false Test(==) Tuple@123d3ca ExpressionStatement@15e504b Body(AssertEqual) Input(label) Fork(label) Input(value1) Fork(value1) Input(value2) Fork(value2) AssertEquals false namespace AssertionLibrary ; private import Alf::Library::PrimitiveBehaviors::BooleanFunctions::ToString; private import Alf::Library::BasicInputOutput::WriteLine ; activity AssertTrue(in label: String, in condition: Boolean) { WriteLine(label + ": " + ToString(condition)); } label package condition package Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value(": ").result true false : Value(": ") 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) Tuple@16e3ee8 ExpressionStatement@d828b2 Body(AssertTrue) Input(label) Fork(label) Input(condition) Fork(condition) AssertTrue false namespace AssertionLibrary ; private import Alf::Library::PrimitiveBehaviors::BooleanFunctions::ToString; private import Alf::Library::BasicInputOutput::WriteLine ; activity AssertFalse(in label: String, in condition: Boolean) { WriteLine("! " + label + ": " + ToString(!condition)); } label package condition package Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("! ").result true false ! Value("! ") 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(ToString).argument(x) Call(ToString).result(result) Call(ToString) Call(Not).argument(x) Call(Not).result(result) Call(Not) Tuple@1ab3429 Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Tuple@fd6256 ExpressionStatement@162d7d6 Body(AssertFalse) Input(label) Fork(label) Input(condition) Fork(condition) AssertFalse false namespace AssertionLibrary::AssertList ; private import Alf::Library::CollectionFunctions::size ; private import Alf::Library::PrimitiveBehaviors::* ; activity AssertList(in label: String, in list: any[*] sequence, in expected: any[*] sequence) { AssertEquals(label + "->size()", list->size(), expected->size()); for (i in 1..IntegerFunctions::Min(list->size(),expected->size())) { AssertEquals(label + "[" + IntegerFunctions::ToString(i) + "]", list[i], expected[i]); } } label * true false list * true false expected Call(AssertEquals).argument(label) Call(AssertEquals).argument(value1) Call(AssertEquals).argument(value2) Call(AssertEquals) Value("->size()").result true false ->size() Value("->size()") Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) * 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@313837 ExpressionStatement@909f34 Fork(ForStatement@6b305d.loopVariable(expected)) Fork(ForStatement@6b305d.loopVariable(list)) Fork(ForStatement@6b305d.loopVariable(label)) Fork(ForStatement@6b305d.loopVariable(i)) Fork(ForStatement@6b305d.loopVariable(counter)) Fork(ForStatement@6b305d.loopVariable(upper)) Call(<=).argument(x) Call(<=).argument(y) Call(<=).result(result) Call(<=) Fork(i) Values(ForStatement@6b305d) Call(AssertEquals).argument(label) Call(AssertEquals).argument(value1) Call(AssertEquals).argument(value2) Call(AssertEquals) Value("[").result true false [ Value("[") 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@6d8cc8 ExpressionStatement@1efbdc9 * Passthru(Fork(expected)).input true false * Passthru(Fork(expected)).output true false Passthru(Fork(expected)) * Passthru(Fork(list)).input true false * Passthru(Fork(list)).output true false Passthru(Fork(list)) Passthru(Fork(label)).input true false Passthru(Fork(label)).output true false Passthru(Fork(label)) * expected true false * list true false label true false Body(ForStatement@6b305d) 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@6b305d.loopVariable(expected) true false * ForStatement@6b305d.loopVariable(list) true false ForStatement@6b305d.loopVariable(label) true false * ForStatement@6b305d.loopVariable(i) true false ForStatement@6b305d.loopVariable(counter) true false ForStatement@6b305d.loopVariable(upper) true false * ForStatement@6b305d.loopVariableInput(expected) true false * ForStatement@6b305d.loopVariableInput(list) true false ForStatement@6b305d.loopVariableInput(label) true false ForStatement@6b305d.loopVariableInput(i) true false ForStatement@6b305d.loopVariableInput(counter) true false ForStatement@6b305d.loopVariableInput(upper) true false * ForStatement@6b305d.result(expected) true false * ForStatement@6b305d.result(list) true false ForStatement@6b305d.result(label) true false * ForStatement@6b305d.result(i) true false ForStatement@6b305d.result(counter) true false ForStatement@6b305d.result(upper) true false Loop(ForStatement@6b305d) true Value(1).result true false 1 Value(1) 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@2ed28b 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@6b305d) ForStatement@6b305d Body(AssertList) Input(label) Fork(label) Input(list) Fork(list) Input(expected) Fork(expected) AssertList false namespace AssertionLibrary ; private import Alf::Library::BasicInputOutput::StandardOutputChannel ; activity Write(in value: any) { StandardOutputChannel.allInstances()[1].write(value); } value package Call(write).argument(value) Call(write).result(errorStatus) Call(write).target true false Call(write) Collect(Call(write)).input(Fork(value)) true false Collect(Call(write)) parallel Collect(Call(write)).inputElement * Call(At).argument(seq) true false Call(At).argument(index) Call(At).result() Call(At) * ReadExtent(StandardOutputChannel).result true false ReadExtent(StandardOutputChannel) Value(1).result true false 1 Value(1) Tuple@43f8b1 Fork(Call(At).argument(index)) Feature(Call(At).result()) ExpressionStatement@660c0d Body(Write) Input(value) Fork(value) Write false /* Generated textual representation of Activity AssertionLibrary::Tests::TestWrite */ namespace AssertionLibrary::Tests ; activity TestWrite() { Write("Hello!") ; } Call(Write).argument(value) Call(Write) Value("Hello!").result true false Hello! Value("Hello!") Tuple@9063b0 ExpressionStatement@6de523 Body(TestWrite) TestWrite false /* Generated textual representation of Activity AssertionLibrary::Tests::TestAssertTrue */ namespace AssertionLibrary::Tests ; activity TestAssertTrue() { AssertTrue("1 == 1", 1 == 1) ; AssertTrue("1 == 2", 1 == 2) ; } Call(AssertTrue).argument(label) Call(AssertTrue).argument(condition) Call(AssertTrue) Value("1 == 1").result true false 1 == 1 Value("1 == 1") Value(1).result true false 1 Value(1) Value(1).result true false 1 Value(1) Test(==).first true false Test(==).result true false Test(==).second true false Test(==) Tuple@ebca5e ExpressionStatement@156c3da Call(AssertTrue).argument(label) Call(AssertTrue).argument(condition) Call(AssertTrue) Value("1 == 2").result true false 1 == 2 Value("1 == 2") Value(1).result true false 1 Value(1) Value(2).result true false 2 Value(2) Test(==).first true false Test(==).result true false Test(==).second true false Test(==) Tuple@a3302c ExpressionStatement@275507 Body(TestAssertTrue) TestAssertTrue false /* Generated textual representation of Activity AssertionLibrary::Tests::TestAssertFalse */ namespace AssertionLibrary::Tests ; activity TestAssertFalse() { AssertFalse("1 == 1", 1 == 1) ; AssertFalse("1 == 2", 1 == 2) ; } Call(AssertFalse).argument(label) Call(AssertFalse).argument(condition) Call(AssertFalse) Value("1 == 1").result true false 1 == 1 Value("1 == 1") Value(1).result true false 1 Value(1) Value(1).result true false 1 Value(1) Test(==).first true false Test(==).result true false Test(==).second true false Test(==) Tuple@90f9 ExpressionStatement@16995c4 Call(AssertFalse).argument(label) Call(AssertFalse).argument(condition) Call(AssertFalse) Value("1 == 2").result true false 1 == 2 Value("1 == 2") Value(1).result true false 1 Value(1) Value(2).result true false 2 Value(2) Test(==).first true false Test(==).result true false Test(==).second true false Test(==) Tuple@6526b6 ExpressionStatement@1e49cce Body(TestAssertFalse) TestAssertFalse false /* Generated textual representation of Activity AssertionLibrary::Tests::TestAssertEquals */ namespace AssertionLibrary::Tests ; activity TestAssertEquals() { AssertEquals("1 equals 1", 1, 1) ; AssertEquals("1 equals 2", 1, 2) ; } Call(AssertEquals).argument(label) Call(AssertEquals).argument(value1) Call(AssertEquals).argument(value2) Call(AssertEquals) Value("1 equals 1").result true false 1 equals 1 Value("1 equals 1") Value(1).result true false 1 Value(1) Value(1).result true false 1 Value(1) Tuple@1848f66 ExpressionStatement@1f139ee Call(AssertEquals).argument(label) Call(AssertEquals).argument(value1) Call(AssertEquals).argument(value2) Call(AssertEquals) Value("1 equals 2").result true false 1 equals 2 Value("1 equals 2") Value(1).result true false 1 Value(1) Value(2).result true false 2 Value(2) Tuple@1f42c8f ExpressionStatement@b5305e Body(TestAssertEquals) TestAssertEquals false /* Generated textual representation of Activity AssertionLibrary::Tests::TestAll */ namespace AssertionLibrary::Tests ; private import Alf::Library::BasicInputOutput::WriteLine ; activity TestAll() { pref = " ---- Testing Activity " ; suff = " ----" ; // Testing write activityName = "Write" ; WriteLine(pref + activityName + suff) ; TestWrite() ; WriteLine("") ; WriteLine("") ; // Testing AssertTrue activityName = "AssertTrue" ; WriteLine(pref + activityName + suff) ; TestAssertTrue() ; WriteLine("") ; // Testing AssertFalse activityName = "AssertFalse" ; WriteLine(pref + activityName + suff) ; TestAssertFalse() ; WriteLine("") ; // Testing AssertEquals activityName = "AssertEquals" ; WriteLine(pref + activityName + suff) ; TestAssertEquals() ; WriteLine("") ; // Testing AssertEquals activityName = "AssertList" ; WriteLine(pref + activityName + suff) ; TestAssertList() ; WriteLine("") ; } Fork(pref)@117ca48 Value(" ---- Testing Activity ").result true false ---- Testing Activity Value(" ---- Testing Activity ") RightHandSide@e1520b ExpressionStatement@3af05a Fork(suff)@2d3743 Value(" ----").result true false ---- Value(" ----") RightHandSide@87309f ExpressionStatement@186bfda Fork(activityName)@1073b37 Value("Write").result true false Write Value("Write") RightHandSide@1c0a7cb ExpressionStatement@18e3e Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Tuple@45c36f ExpressionStatement@28574b Call(TestWrite) ExpressionStatement@14528d Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@122c298 ExpressionStatement@1a88ae2 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@1061fa3 ExpressionStatement@1f1d74c Fork(activityName)@f781c4 Value("AssertTrue").result true false AssertTrue Value("AssertTrue") RightHandSide@1689fac ExpressionStatement@68fc34 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Tuple@12cb9d7 ExpressionStatement@101f11b Call(TestAssertTrue) ExpressionStatement@1817341 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@411cbe ExpressionStatement@7f4997 Fork(activityName)@1edcb39 Value("AssertFalse").result true false AssertFalse Value("AssertFalse") RightHandSide@b91253 ExpressionStatement@16dd42f Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Tuple@190c503 ExpressionStatement@13811f0 Call(TestAssertFalse) ExpressionStatement@1fc7a0e Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@15a71cb ExpressionStatement@d2da4c Fork(activityName)@bed88b Value("AssertEquals").result true false AssertEquals Value("AssertEquals") RightHandSide@17aa9c1 ExpressionStatement@5271de Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Tuple@b2b8a4 ExpressionStatement@be387b Call(TestAssertEquals) ExpressionStatement@624779 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@19fe454 ExpressionStatement@e939d4 Fork(activityName)@c8d2ed Value("AssertList").result true false AssertList Value("AssertList") RightHandSide@8fdfa7 ExpressionStatement@7e2772 Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Call(Concat).argument(x) Call(Concat).argument(y) Call(Concat).result(result) Call(Concat) Tuple@1c68f60 ExpressionStatement@12f4183 Call(TestAssertList) ExpressionStatement@18533db Call(WriteLine).argument(value) Call(WriteLine).result(errorStatus) Call(WriteLine) Value("").result true false Value("") Tuple@18d4181 ExpressionStatement@ad9377 Body(TestAll) TestAll false /* Generated textual representation of Activity AssertionLibrary::Tests::TestAssertList */ namespace AssertionLibrary::Tests ; activity TestAssertList() { Integer[] list1 = {1, 2, 3, 4} ; Integer[] list2 = {1, 2, 3, 4} ; AssertList("{1, 2, 3, 4} vs. {1, 2, 3, 4} ", list1, list2) ; Integer[] list3 = {1, 2, 7, 4, 8} ; AssertList("{1, 2, 3, 4} vs. {1, 2, 7, 4, 8} ", list1, list3) ; } Fork(list1)@1202d4 RightHandSide@17a0709 Fork(list1)@5bbfa4 RightHandSide@17a0709 Fork(list1)@17bc2dd Value(1).result true false 1 Value(1) SequenceExpressionList@57286c#1 Value(2).result true false 2 Value(2) SequenceExpressionList@57286c#2 Value(3).result true false 3 Value(3) SequenceExpressionList@57286c#3 Value(4).result true false 4 Value(4) SequenceExpressionList@57286c#4 4 4 SequenceConstructionExpression@17a0709.output true false SequenceConstructionExpression@17a0709 RightHandSide@17a0709 LocalNameDeclarationStatement@1400aa1 Fork(list2)@1db09c1 RightHandSide@b3744c Fork(list2)@2d0c5b Value(1).result true false 1 Value(1) SequenceExpressionList@182e06a#1 Value(2).result true false 2 Value(2) SequenceExpressionList@182e06a#2 Value(3).result true false 3 Value(3) SequenceExpressionList@182e06a#3 Value(4).result true false 4 Value(4) SequenceExpressionList@182e06a#4 4 4 SequenceConstructionExpression@b3744c.output true false SequenceConstructionExpression@b3744c RightHandSide@b3744c LocalNameDeclarationStatement@1da4433 Call(AssertList).argument(label) * Call(AssertList).argument(list) true false * Call(AssertList).argument(expected) true false Call(AssertList) Value("{1, 2, 3, 4} vs. {1, 2, 3, 4} ").resultt true false {1, 2, 3, 4} vs. {1, 2, 3, 4} Value("{1, 2, 3, 4} vs. {1, 2, 3, 4} ")) Tuple@1980745 ExpressionStatement@16d310e Fork(list3)@19783d9 RightHandSide@1751f00 Fork(list3)@1cd4150 Value(1).result true false 1 Value(1) SequenceExpressionList@18ed106#1 Value(2).result true false 2 Value(2) SequenceExpressionList@18ed106#2 Value(7).result true false 7 Value(7) SequenceExpressionList@18ed106#3 Value(4).result true false 4 Value(4) SequenceExpressionList@18ed106#4 Value(8).result true false 8 Value(8) SequenceExpressionList@18ed106#5 5 5 SequenceConstructionExpression@1751f00.output true false SequenceConstructionExpression@1751f00 RightHandSide@1751f00 LocalNameDeclarationStatement@1a0e27b Call(AssertList).argument(label) * Call(AssertList).argument(list) true false * Call(AssertList).argument(expected) true false Call(AssertList) Value("{1, 2, 3, 4} vs. {1, 2, 7, 4, 8} ").resultt true false {1, 2, 3, 4} vs. {1, 2, 7, 4, 8} Value("{1, 2, 3, 4} vs. {1, 2, 7, 4, 8} ")) Tuple@123e9b2 ExpressionStatement@1751dbd Body(TestAssertList) TestAssertList false Tests * true false seq package package return * Call(Size).argument(seq) true false Call(Size).result() Call(Size) ReturnStatement@22536490.output true false ReturnStatement@22536490 Body(size) Input(seq) Fork(seq) Return Final $$Alf$Library$CollectionFunctions$size__any__ false size<> false AssertionLibrary Alf Alf Alf Alf Alf Alf Alf Alf Alf Alf Alf