if.ncd 636 B

1234567891011121314151617181920212223242526272829303132333435363738
  1. process foo {
  2. If ("true") {
  3. If ("truee") {
  4. var("A1") y;
  5. } else {
  6. If ("true") {
  7. var("A11") q;
  8. } else {
  9. var("A22") q;
  10. } t;
  11. var(t.q) y;
  12. } s;
  13. var(s.y) x;
  14. } elif ("true") {
  15. var("B") x;
  16. } else {
  17. var("C") x;
  18. } ifs;
  19. val_equal(ifs.x, "A11") a;
  20. assert(a);
  21. var("a") v;
  22. If ("false") {
  23. v->set("b");
  24. };
  25. val_equal(v, "a") a;
  26. assert(a);
  27. var("a") v;
  28. If ("true") {
  29. v->set("b");
  30. };
  31. val_equal(v, "b") a;
  32. assert(a);
  33. exit("0");
  34. }