super( _delegate );
String method = request.getMethod(); throw( new RPException( "Unknown method: " + method ));
delegate = (DiskManagerFileInfo)_delegate; access_mode = delegate.getAccessMode(); downloaded = delegate.getDownloaded(); length = delegate.getLength(); file = delegate.getFile(); first_piece_number = delegate.getFirstPieceNumber(); num_pieces = delegate.getNumPieces(); is_priority = delegate.isPriority(); is_skipped = delegate.isSkipped();
return( _fixupLocal());
RPDiskManagerFileInfo res =(RPDiskManagerFileInfo)_lookupLocal( _delegate ); if ( res == null ){ res = new RPDiskManagerFileInfo( _delegate ); } return( res );
notSupported(); return( null );
return( access_mode );
return( downloaded );
return( file );
return( first_piece_number );
notSupported(); return( -1 );
return( length );
return( num_pieces );
notSupported(); return( false );
return( is_priority );
return( is_skipped );
notSupported();