blocker.ncd 659 B

1234567891011121314151617181920212223242526272829303132333435
  1. process main {
  2. If (@true) {
  3. value({}) list;
  4. var("0") i;
  5. blocker() blk;
  6. blk->up();
  7. blk->use();
  8. num_lesser(i, "100") do_more;
  9. If (do_more) {
  10. list->insert(i);
  11. num_add(i, "1") new_i;
  12. i->set(new_i);
  13. blk->downup();
  14. };
  15. val_equal(list.length, "100") a;
  16. assert(a);
  17. };
  18. If (@true) {
  19. blocker() blk;
  20. assert_false(blk);
  21. };
  22. If (@true) {
  23. blocker(@false) blk;
  24. assert_false(blk);
  25. };
  26. If (@true) {
  27. blocker(@true) blk;
  28. assert(blk);
  29. };
  30. exit("0");
  31. }