Annotation of parser3/tests/455.html, revision 1.1
1.1 ! moko 1: # ^reflection:stack[$exception]: lazy snapshots within catch lifetime (feature #1145)
! 2: @main[]
! 3: ^core[]
! 4:
! 5: @core[]
! 6: $report[^hash::create[]]
! 7: ^try{^bug[]}{
! 8: $exception.handled(true)
! 9: $saved[$exception]
! 10: $report.caught[^cleanE[$exception]]
! 11: $report.caught_stack[^stack[$exception]]
! 12:
! 13: ^try{^inner(10)}{
! 14: $exception.handled(true)
! 15: $inner_saved[^cleanE[$exception]]
! 16: $report.inner_stack[^stack[$exception]]
! 17: $report.caught_in_inner[$saved]
! 18: $report.caught_in_inner_stack[^stack[$saved]]
! 19: }
! 20:
! 21: $report.caught_after[^cleanE[$exception]]
! 22: $report.caught_after[^stack[$exception]]
! 23:
! 24: $report.inner_expired[^expired[$inner_saved]]
! 25:
! 26: $report.current_stack[^cleanS[^reflection:stack[]]]
! 27: }{
! 28: $report.finally_expired[^expired[$saved]]
! 29: }
! 30:
! 31: $report.outside_expired[^expired[$saved]]
! 32:
! 33: ^try{
! 34: ^try{^bug[]}{
! 35: $replaced[$exception]
! 36: ^replacement[]
! 37: }
! 38: }{
! 39: $exception.handled(true)
! 40: $report.replaced_expired[^expired[$replaced]]
! 41: $report.replacement[^stack[$exception]]
! 42: }
! 43:
! 44: ^try{^bug[]}{
! 45: $propagated[$exception]
! 46: $report.propagating[^stack[$exception]]
! 47: }
! 48:
! 49: @cleanE[result]
! 50: $result.file[file]
! 51:
! 52: @cleanS[result]
! 53: ^result.foreach[;v]{
! 54: $v.self[]
! 55: $v.file[file]
! 56: }
! 57:
! 58: @clean[result]
! 59: ^result.menu{$result.file[file]}
! 60:
! 61: @stack[e]
! 62: $result[^clean[^reflection:stack[$e]]]
! 63:
! 64: @bug[]
! 65: ^if(1){ ^missing_bug[] }
! 66:
! 67: @inner[n]
! 68: ^if($n>0){^inner($n-1)}{^missing_inner[]}
! 69:
! 70: @replacement[]
! 71: ^missing_replacement[]
! 72:
! 73: @expired[error]
! 74: ^try{^reflection:stack[$error]}{
! 75: $exception.handled(true)
! 76: $result[$exception.comment]
! 77: }
! 78:
! 79: @unhandled_exception[exception;stack]
! 80: $exception.handled(true)
! 81:
! 82: $report.top_expired[^expired[$exception]]
! 83: $report.propagated_expired[^expired[$propagated]]
! 84:
! 85: ^json:string[$report; $.indent(true) ]
E-mail: