value_substr.ncd 428 B

12345678910111213141516171819202122232425
  1. process foo {
  2. value("0123456789") str;
  3. str->substr("0") sub;
  4. strcmp(sub, str) a;
  5. assert(a);
  6. str->substr("1") sub;
  7. strcmp(sub, "123456789") a;
  8. assert(a);
  9. str->substr("1", "0") sub;
  10. strcmp(sub, "") a;
  11. assert(a);
  12. str->substr("1", "9") sub;
  13. strcmp(sub, "123456789") a;
  14. assert(a);
  15. str->substr("1", "8") sub;
  16. strcmp(sub, "12345678") a;
  17. assert(a);
  18. exit("0");
  19. }