@@ -364,14 +364,16 @@ pub(super) fn explain(
364364 OP_INIT => {
365365 // start at <p2>
366366 state. visited [ state. program_i ] = true ;
367- state. program_i = usize:: try_from ( p2) . expect ( "opcode p2 should be non-negative" ) ;
367+ state. program_i =
368+ usize:: try_from ( p2) . expect ( "opcode p2 should be non-negative" ) ;
368369 continue ;
369370 }
370371
371372 OP_GOTO => {
372373 // goto <p2>
373374 state. visited [ state. program_i ] = true ;
374- state. program_i = usize:: try_from ( p2) . expect ( "opcode p2 should be non-negative" ) ;
375+ state. program_i =
376+ usize:: try_from ( p2) . expect ( "opcode p2 should be non-negative" ) ;
375377 continue ;
376378 }
377379
@@ -388,7 +390,8 @@ pub(super) fn explain(
388390 state. visited [ state. program_i ] = true ;
389391
390392 let mut branch_state = state. clone ( ) ;
391- branch_state. program_i = usize:: try_from ( p2) . expect ( "branch p2 should be non-negative" ) ;
393+ branch_state. program_i =
394+ usize:: try_from ( p2) . expect ( "branch p2 should be non-negative" ) ;
392395 states. push ( branch_state) ;
393396
394397 state. program_i += 1 ;
@@ -401,7 +404,8 @@ pub(super) fn explain(
401404 state. r . insert ( p1, RegDataType :: Int ( p3) ) ;
402405
403406 if p2 != 0 {
404- state. program_i = usize:: try_from ( p2) . expect ( "opcode p2 should be non-negative" ) ;
407+ state. program_i =
408+ usize:: try_from ( p2) . expect ( "opcode p2 should be non-negative" ) ;
405409 } else {
406410 state. program_i += 1 ;
407411 }
@@ -412,11 +416,12 @@ pub(super) fn explain(
412416 // jump to p2 of the yield instruction pointed at by register p1
413417 state. visited [ state. program_i ] = true ;
414418 if let Some ( RegDataType :: Int ( yield_i) ) = state. r . get ( & p1) {
415- if let Some ( ( _, yield_op, _, yield_p2, _, _) ) =
416- program . get ( usize:: try_from ( * yield_i) . expect ( "yield index should be non-negative" ) )
417- {
419+ if let Some ( ( _, yield_op, _, yield_p2, _, _) ) = program . get (
420+ usize:: try_from ( * yield_i) . expect ( "yield index should be non-negative" ) ,
421+ ) {
418422 if OP_YIELD == yield_op. as_str ( ) {
419- state. program_i = usize:: try_from ( * yield_p2) . expect ( "yield p2 should be non-negative" ) ;
423+ state. program_i = usize:: try_from ( * yield_p2)
424+ . expect ( "yield p2 should be non-negative" ) ;
420425 state. r . remove ( & p1) ;
421426 continue ;
422427 } else {
@@ -434,7 +439,8 @@ pub(super) fn explain(
434439 // jump to the instruction after the instruction pointed at by register p1
435440 state. visited [ state. program_i ] = true ;
436441 if let Some ( RegDataType :: Int ( return_i) ) = state. r . get ( & p1) {
437- state. program_i = usize:: try_from ( * return_i + 1 ) . expect ( "return index should be non-negative" ) ;
442+ state. program_i = usize:: try_from ( * return_i + 1 )
443+ . expect ( "return index should be non-negative" ) ;
438444 state. r . remove ( & p1) ;
439445 continue ;
440446 } else {
@@ -450,15 +456,20 @@ pub(super) fn explain(
450456
451457 //if yielding to a yield operation, go to the NEXT instruction after that instruction
452458 if program
453- . get ( usize:: try_from ( * yield_i) . expect ( "yield index should be non-negative" ) )
459+ . get (
460+ usize:: try_from ( * yield_i)
461+ . expect ( "yield index should be non-negative" ) ,
462+ )
454463 . map ( |( _, yield_op, _, _, _, _) | yield_op. as_str ( ) )
455464 == Some ( OP_YIELD )
456465 {
457- state. program_i = usize:: try_from ( * yield_i + 1 ) . expect ( "yield+1 should be non-negative" ) ;
466+ state. program_i = usize:: try_from ( * yield_i + 1 )
467+ . expect ( "yield+1 should be non-negative" ) ;
458468 * yield_i = program_i as i64 ;
459469 continue ;
460470 } else {
461- state. program_i = usize:: try_from ( * yield_i) . expect ( "yield index should be non-negative" ) ;
471+ state. program_i = usize:: try_from ( * yield_i)
472+ . expect ( "yield index should be non-negative" ) ;
462473 * yield_i = program_i as i64 ;
463474 continue ;
464475 }
@@ -472,15 +483,18 @@ pub(super) fn explain(
472483 state. visited [ state. program_i ] = true ;
473484
474485 let mut branch_state = state. clone ( ) ;
475- branch_state. program_i = usize:: try_from ( p1) . expect ( "branch p1 should be non-negative" ) ;
486+ branch_state. program_i =
487+ usize:: try_from ( p1) . expect ( "branch p1 should be non-negative" ) ;
476488 states. push ( branch_state) ;
477489
478490 let mut branch_state = state. clone ( ) ;
479- branch_state. program_i = usize:: try_from ( p2) . expect ( "branch p2 should be non-negative" ) ;
491+ branch_state. program_i =
492+ usize:: try_from ( p2) . expect ( "branch p2 should be non-negative" ) ;
480493 states. push ( branch_state) ;
481494
482495 let mut branch_state = state. clone ( ) ;
483- branch_state. program_i = usize:: try_from ( p3) . expect ( "branch p3 should be non-negative" ) ;
496+ branch_state. program_i =
497+ usize:: try_from ( p3) . expect ( "branch p3 should be non-negative" ) ;
484498 states. push ( branch_state) ;
485499 }
486500
@@ -515,7 +529,9 @@ pub(super) fn explain(
515529
516530 OP_MAKE_RECORD => {
517531 // p3 = Record([p1 .. p1 + p2])
518- let mut record = Vec :: with_capacity ( usize:: try_from ( p2) . expect ( "record len should be non-negative" ) ) ;
532+ let mut record = Vec :: with_capacity (
533+ usize:: try_from ( p2) . expect ( "record len should be non-negative" ) ,
534+ ) ;
519535 for reg in p1..p1 + p2 {
520536 record. push (
521537 state
@@ -565,9 +581,12 @@ pub(super) fn explain(
565581 //Create a new pointer which is referenced by p1
566582 state. p . insert (
567583 p1,
568- CursorDataType :: from_dense_record (
569- & vec ! [ ColumnType :: null( ) ; usize :: try_from( p2) . expect( "record len should be non-negative" ) ] ,
570- ) ,
584+ CursorDataType :: from_dense_record ( & vec ! [
585+ ColumnType :: null( ) ;
586+ usize :: try_from( p2) . expect(
587+ "record len should be non-negative"
588+ )
589+ ] ) ,
571590 ) ;
572591 }
573592
0 commit comments