dope 0.12.0

The manifold runtime
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52

use std::cell::Cell;
use std::marker::PhantomPinned;
use std::pin::Pin;
use std::ptr::NonNull;

use dope_test as common;

extern crate dope;
use dope::runtime::executor::StorageFactory;

struct Factory;

struct Pinned {
    address: Cell<Option<NonNull<Self>>>,
    _pin: PhantomPinned,
}

impl Pinned {
    fn record(self: Pin<&Self>) {
        self.address.set(Some(NonNull::from(self.get_ref())));
    }
}

impl Drop for Pinned {
    fn drop(&mut self) {
        assert_eq!(self.address.get(), Some(NonNull::from(&mut *self)));
    }
}

impl StorageFactory for Factory {
    type Output<'d> = Pinned;

    fn build<'d>(self, _driver: &mut dope::DriverContext<'_, 'd>) -> Self::Output<'d> {
        Pinned {
            address: Cell::new(None),
            _pin: PhantomPinned,
        }
    }
}

#[test]
fn storage_is_dropped_in_place_after_pinning() {
    let exec = common::exec().with_storage_factory(Factory);
    exec.enter(|session| session.storage_pin().record());
}

#[test]
fn owned_storage_keeps_its_exact_type_in_the_session() {
    common::exec()
        .with_storage(String::from("handler"))
        .enter(|session| assert_eq!(session.storage(), "handler"));
}