--- parser3/tests/389.html 2017/12/10 01:46:32 1.4 +++ parser3/tests/389.html 2023/11/18 13:02:32 1.7 @@ -1,3 +1,4 @@ +@main[] code coverage tests: 1. int @@ -25,12 +26,12 @@ code coverage tests: 4.6 ^try-catch{ ^inet:ip2name[ip; $.no-such-option[] ] } 4.7 ^try-catch{ ^inet:ip2name[ip; $.ipv[invalid] ] } 4.8 ^try-catch{ ^inet:ip2name[1.1.1.300] } - 4.9 ^try-catch{ ^inet:ip2name[1.1.1.1; $.ipv[6] ] } + 4.9 ^try-catch-partial(28){ ^inet:ip2name[1.1.1.1; $.ipv[6] ] } 4.11 ^try-catch{ ^inet:name2ip[$empty] } 4.12 ^try-catch{ ^inet:name2ip[name; $.no-such-option[] ] } - 4.13 ^try-catch{ ^inet:name2ip[no-such-domain.артлебедев.рф; $.ipv[6] ] } - 4.14 ^inet:name2ip[test.артлебедев.рф; $.ipv[6] ] + 4.13 ^try-catch-partial(70){ ^inet:name2ip[no-such-domain.артлебедев.рф; $.ipv[6] ] } + 4.14 ^try-catch{ ^inet:name2ip[test.артлебедев.рф; $.ipv[6] ] } 5. math 5.1 ^math:random(1) @@ -43,7 +44,7 @@ code coverage tests: 5.10 ^try-catch{ ^math:convert[1](17;10) } 5.11 ^try-catch{ ^math:convert[1](10;17) } 5.12 ^math:convert[$empty](10;10) - 5.13 ^math:convert[+FF](16;10) + 5.13 ^math:convert[ +FF ](16;10) 6. string 6.1 ^try-catch{ $s[] ^s.int[] } @@ -74,3 +75,11 @@ code coverage tests: 7.15 ^try-catch{ ^file:list[.; $.stat(true) $.filter[.*] $.no-such-options[] ] } 7.15 ^try-catch{ ^file:list[.; $.filter[ $.hash[] ] ] } + +@try-catch-partial[limit;jCode] +^try{$jCode}{ + $exception.handled(true) + Type: $exception.type, + Source: $exception.source, + Comment: ^exception.comment.left($limit) +}