Home | History | Annotate | Line # | Download | only in unit-tests
counter.exp revision 1.1 
      1  1.1  rillig Global:RELEVANT = yes (load-time part)
      2  1.1  rillig Global:COUNTER =
      3  1.1  rillig Global:NEXT = ${COUNTER::=${COUNTER} a}${COUNTER:[#]}
      4  1.1  rillig Global:A =
      5  1.1  rillig Applying[COUNTER] :: to ""
      6  1.1  rillig Modifier part: " a"
      7  1.1  rillig ApplyModifier_Assign: "COUNTER" = " a"
      8  1.1  rillig Global:COUNTER =  a
      9  1.1  rillig Result[COUNTER] of :: is ""
     10  1.1  rillig Applying[COUNTER] :[ to " a"
     11  1.1  rillig Modifier part: "#"
     12  1.1  rillig Result[COUNTER] of :[ is "1"
     13  1.1  rillig Global:A = ${COUNTER::= a a}1
     14  1.1  rillig Global:B =
     15  1.1  rillig Applying[COUNTER] :: to " a"
     16  1.1  rillig Modifier part: " a a"
     17  1.1  rillig ApplyModifier_Assign: "COUNTER" = " a a"
     18  1.1  rillig Global:COUNTER =  a a
     19  1.1  rillig Result[COUNTER] of :: is ""
     20  1.1  rillig Applying[COUNTER] :[ to " a a"
     21  1.1  rillig Modifier part: "#"
     22  1.1  rillig Result[COUNTER] of :[ is "2"
     23  1.1  rillig Global:B = ${COUNTER::= a a a}2
     24  1.1  rillig Global:C =
     25  1.1  rillig Applying[COUNTER] :: to " a a"
     26  1.1  rillig Modifier part: " a a a"
     27  1.1  rillig ApplyModifier_Assign: "COUNTER" = " a a a"
     28  1.1  rillig Global:COUNTER =  a a a
     29  1.1  rillig Result[COUNTER] of :: is ""
     30  1.1  rillig Applying[COUNTER] :[ to " a a a"
     31  1.1  rillig Modifier part: "#"
     32  1.1  rillig Result[COUNTER] of :[ is "3"
     33  1.1  rillig Global:C = ${COUNTER::= a a a a}3
     34  1.1  rillig Global:RELEVANT = no
     35  1.1  rillig Global:RELEVANT = yes (run-time part)
     36  1.1  rillig Result[RELEVANT] of :: is ""
     37  1.1  rillig Applying[COUNTER] :: to " a a a"
     38  1.1  rillig Modifier part: " a a"
     39  1.1  rillig ApplyModifier_Assign: "COUNTER" = " a a"
     40  1.1  rillig Global:COUNTER =  a a
     41  1.1  rillig Result[COUNTER] of :: is ""
     42  1.1  rillig Applying[A] :Q to "1"
     43  1.1  rillig QuoteMeta: [1]
     44  1.1  rillig Result[A] of :Q is "1"
     45  1.1  rillig Applying[COUNTER] :: to " a a"
     46  1.1  rillig Modifier part: " a a a"
     47  1.1  rillig ApplyModifier_Assign: "COUNTER" = " a a a"
     48  1.1  rillig Global:COUNTER =  a a a
     49  1.1  rillig Result[COUNTER] of :: is ""
     50  1.1  rillig Applying[B] :Q to "2"
     51  1.1  rillig QuoteMeta: [2]
     52  1.1  rillig Result[B] of :Q is "2"
     53  1.1  rillig Applying[COUNTER] :: to " a a a"
     54  1.1  rillig Modifier part: " a a a a"
     55  1.1  rillig ApplyModifier_Assign: "COUNTER" = " a a a a"
     56  1.1  rillig Global:COUNTER =  a a a a
     57  1.1  rillig Result[COUNTER] of :: is ""
     58  1.1  rillig Applying[C] :Q to "3"
     59  1.1  rillig QuoteMeta: [3]
     60  1.1  rillig Result[C] of :Q is "3"
     61  1.1  rillig Applying[COUNTER] :[ to " a a a a"
     62  1.1  rillig Modifier part: "#"
     63  1.1  rillig Result[COUNTER] of :[ is "4"
     64  1.1  rillig Applying[COUNTER] :Q to "4"
     65  1.1  rillig QuoteMeta: [4]
     66  1.1  rillig Result[COUNTER] of :Q is "4"
     67  1.1  rillig A=1 B=2 C=3 COUNTER=4
     68  1.1  rillig Applying[RELEVANT] :: to "yes (run-time part)"
     69  1.1  rillig Modifier part: "no"
     70  1.1  rillig ApplyModifier_Assign: "RELEVANT" = "no"
     71  1.1  rillig Global:RELEVANT = no
     72  1.1  rillig exit status 0
     73