public String [ ] black_box ( final int n ) throws DevFailed { Util . out4 . println ( "DeviceImpl.black_box() arrived" ) ; final String [ ] ret = blackbox . read ( n ) ; // // Record operation request in black box // blackbox . insert_op ( Op_BlackBox ) ; Util . out4 . println ( "Leaving DeviceImpl.black_box()" ) ; return ret ; }
Get device black box .