Lines Matching refs:scope
224 fn insert(&mut self, id: u32, scope: Scope, transferable: Transferable) { in insert()
227 .insert(id, (scope, HalfState::Idle, transferable)); in insert()
237 let (scope, state, transferable) = self.handles.swap_remove(&id).unwrap(); in remove()
244 scope in remove()
478 let (scope, cmd) = self.deferred.swap_remove(index); in generate()
479 commands.push((scope, cmd)); in generate()
483 let scope = *u.choose(Scope::ALL)?; in generate() localVariable
485 commands.push((scope, Command::FutureNew(id))); in generate()
486 self.futures.readers.insert(id, scope, Transferable::Yes); in generate()
487 self.futures.writers.insert(id, scope, Transferable::No); in generate()
496 let scope = &mut self.futures.readers.handles[&id].0; in generate() localVariable
503 let action = match (scope.caller(), scope.callee()) { in generate()
518 *scope = caller; in generate()
521 commands.push((*scope, Command::FutureGive(id))); in generate()
522 *scope = callee; in generate()
529 let reader_scope = Some(*scope); in generate()
545 let scope = self.futures.readers.handles[&id].0; in generate() localVariable
553 scope, in generate()
567 let cancellable = if scope.is_host() { in generate()
573 commands.push((scope, Command::FutureReadPending(id))); in generate()
580 let scope = self.futures.writers.handles[&id].0; in generate() localVariable
588 commands.push((scope, Command::FutureWriteDropped(id))); in generate()
594 commands.push((scope, Command::FutureWriteReady(payload))); in generate()
604 commands.push((scope, Command::FutureWritePending(payload))); in generate()
611 let scope = self.futures.writers.handles[&id].0; in generate() localVariable
616 commands.push((scope, Command::FutureCancelWrite(id))); in generate()
620 commands.push((scope, Command::FutureWriteAssertDropped(id))); in generate()
629 let scope = self.futures.readers.handles[&id].0; in generate() localVariable
634 commands.push((scope, Command::FutureCancelRead(id))); in generate()
645 let scope = self.futures.readers.remove(id); in generate() localVariable
646 commands.push((scope, Command::FutureDropReadable(id))); in generate()
661 let scope = self.futures.writers.remove(id); in generate() localVariable
666 commands.push((scope, Command::FutureWriteDropped(id))); in generate()
672 let scope = *u.choose(Scope::ALL)?; in generate() localVariable
674 commands.push((scope, Command::StreamNew(id))); in generate()
675 self.streams.readers.insert(id, scope, Transferable::Yes); in generate()
676 self.streams.writers.insert(id, scope, Transferable::No); in generate()
682 let scope = &mut self.streams.readers.handles[&id].0; in generate() localVariable
689 let action = match (scope.caller(), scope.callee()) { in generate()
704 *scope = caller; in generate()
707 commands.push((*scope, Command::StreamGive(id))); in generate()
708 *scope = callee; in generate()
718 let reader_scope = Some(*scope); in generate()
737 let scope = self.streams.readers.remove(id); in generate() localVariable
738 commands.push((scope, Command::StreamDropReadable(id))); in generate()
748 let scope = self.streams.writers.remove(id); in generate() localVariable
749 commands.push((scope, Command::StreamDropWritable(id))); in generate()
759 let scope = self.streams.readers.handles[&id].0; in generate() localVariable
763 if scope.is_host() { in generate()
771 scope, in generate()
796 scope, in generate()
814 scope, in generate()
828 scope, in generate()
852 scope, in generate()
861 let scope = self.streams.writers.handles[&id].0; in generate() localVariable
866 if scope.is_host() { in generate()
874 scope, in generate()
897 scope, in generate()
916 scope, in generate()
938 scope, in generate()
964 scope, in generate()
977 let scope = self.streams.readers.handles[&id].0; in generate() localVariable
982 commands.push((scope, Command::StreamCancelRead(id))); in generate()
985 commands.push((scope, Command::StreamReadAssertDropped(id))); in generate()
993 let scope = self.streams.writers.handles[&id].0; in generate() localVariable
998 commands.push((scope, Command::StreamCancelWrite(id))); in generate()
1002 scope, in generate()