1 | function void Test() { |
---|

2 | var stream temp; |
---|

3 | var stream C; // Cursor stream |
---|

4 | var stream M; // Marker stream |
---|

5 | var stream R; // Result stream |
---|

6 | |
---|

7 | |
---|

8 | R = carryQ.BitBlock_advance_ci_co(C,carryQ.get_carry_in(0),0); // Expected |
---|

9 | R = Advance(C); // Translated |
---|

10 | |
---|

11 | R = carryQ.BitBlock_advance_ci_co(C,carryQ.get_carry_in(1),1); |
---|

12 | R = pablo.Advance(C); |
---|

13 | |
---|

14 | R = carryQ.BitBlock_scantofirst(M,carryQ.get_carry_in(2),2); |
---|

15 | R = ScanToFirst(M); |
---|

16 | |
---|

17 | R = carryQ.BitBlock_scantofirst(M,carryQ.get_carry_in(3),3); |
---|

18 | R = pablo.ScanToFirst(M); |
---|

19 | |
---|

20 | R = carryQ.BitBlock_scanthru_ci_co(C,X,carryQ.get_carry_in(4),4); |
---|

21 | R = ScanThru(C,X); |
---|

22 | |
---|

23 | R = carryQ.BitBlock_scanthru_ci_co(C,X,carryQ.get_carry_in(5),5); |
---|

24 | R = pablo.ScanThru(C,X); |
---|

25 | |
---|

26 | R = carryQ.BitBlock_scanto_ci_co(C,X,carryQ.get_carry_in(6),6); |
---|

27 | R = ScanTo(C,X); |
---|

28 | |
---|

29 | R = carryQ.BitBlock_scanto_ci_co(C,X,carryQ.get_carry_in(7),7); |
---|

30 | R = pablo.ScanTo(C,X); |
---|

31 | |
---|

32 | R = carryQ.BitBlock_advance_then_scanthru(C,X,carryQ.get_carry_in(8),8); |
---|

33 | R = AdvanceThenScanThru(C,X); |
---|

34 | |
---|

35 | R = carryQ.BitBlock_advance_then_scanthru(C,X,carryQ.get_carry_in(9),9); |
---|

36 | R = pablo.AdvanceThenScanThru(C,X); |
---|

37 | |
---|

38 | R = carryQ.BitBlock_advance_then_scanto(C,X,carryQ.get_carry_in(10),10); |
---|

39 | R = AdvanceThenScanTo(C,X); |
---|

40 | |
---|

41 | R = carryQ.BitBlock_advance_then_scanto(C,X,carryQ.get_carry_in(11),11); |
---|

42 | R = pablo.AdvanceThenScanTo(C,X); |
---|

43 | |
---|

44 | R = carryQ.BitBlock_span_upto(C,X,carryQ.get_carry_in(12),12); |
---|

45 | R = SpanUpTo(C,X); |
---|

46 | |
---|

47 | R = carryQ.BitBlock_span_upto(C,X,carryQ.get_carry_in(13),13); |
---|

48 | R = pablo.SpanUpTo(C,X); |
---|

49 | |
---|

50 | R = carryQ.BitBlock_inclusive_span(C,X,carryQ.get_carry_in(14),14); |
---|

51 | R = InclusiveSpan(C,X); |
---|

52 | |
---|

53 | R = carryQ.BitBlock_inclusive_span(C,X,carryQ.get_carry_in(15),15); |
---|

54 | R = pablo.InclusiveSpan(C,X); |
---|

55 | |
---|

56 | R = carryQ.BitBlock_exclusive_span(C,X,carryQ.get_carry_in(16),16); |
---|

57 | R = ExclusiveSpan(C,X); |
---|

58 | |
---|

59 | R = carryQ.BitBlock_exclusive_span(C,X,carryQ.get_carry_in(17),17); |
---|

60 | R = pablo.ExclusiveSpan(C,X); |
---|

61 | |
---|

62 | } |
---|