1 // Copyright 2014 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
12 use core::default::Default;
17 let x = Cell::new(10);
18 assert!(x == Cell::new(10));
19 assert!(x.get() == 10);
21 assert!(x == Cell::new(20));
22 assert!(x.get() == 20);
24 let y = Cell::new((30, 40));
25 assert!(y == Cell::new((30, 40)));
26 assert!(y.get() == (30, 40));
30 fn cell_has_sensible_show() {
31 let x = Cell::new("foo bar");
32 assert!(format!("{:?}", x).contains(x.get()));
35 assert!(format!("{:?}", x).contains(x.get()));
39 fn ref_and_refmut_have_sensible_show() {
40 let refcell = RefCell::new("foo");
42 let refcell_refmut = refcell.borrow_mut();
43 assert!(format!("{:?}", refcell_refmut).contains("foo"));
46 let refcell_ref = refcell.borrow();
47 assert!(format!("{:?}", refcell_ref).contains("foo"));
52 fn double_imm_borrow() {
53 let x = RefCell::new(0);
59 fn no_mut_then_imm_borrow() {
60 let x = RefCell::new(0);
61 let _b1 = x.borrow_mut();
62 assert_eq!(x.borrow_state(), BorrowState::Writing);
66 fn no_imm_then_borrow_mut() {
67 let x = RefCell::new(0);
69 assert_eq!(x.borrow_state(), BorrowState::Reading);
73 fn no_double_borrow_mut() {
74 let x = RefCell::new(0);
75 assert_eq!(x.borrow_state(), BorrowState::Unused);
76 let _b1 = x.borrow_mut();
77 assert_eq!(x.borrow_state(), BorrowState::Writing);
81 fn imm_release_borrow_mut() {
82 let x = RefCell::new(0);
90 fn mut_release_borrow_mut() {
91 let x = RefCell::new(0);
93 let _b1 = x.borrow_mut();
99 fn double_borrow_single_release_no_borrow_mut() {
100 let x = RefCell::new(0);
101 let _b1 = x.borrow();
103 let _b2 = x.borrow();
105 assert_eq!(x.borrow_state(), BorrowState::Reading);
110 fn discard_doesnt_unborrow() {
111 let x = RefCell::new(0);
114 let _b = x.borrow_mut();
118 fn clone_ref_updates_flag() {
119 let x = RefCell::new(0);
122 assert_eq!(x.borrow_state(), BorrowState::Reading);
124 let _b2 = clone_ref(&b1);
125 assert_eq!(x.borrow_state(), BorrowState::Reading);
127 assert_eq!(x.borrow_state(), BorrowState::Reading);
129 assert_eq!(x.borrow_state(), BorrowState::Unused);
133 fn as_unsafe_cell() {
134 let c1: Cell<usize> = Cell::new(0);
136 assert_eq!(1, unsafe { *c1.as_unsafe_cell().get() });
138 let c2: Cell<usize> = Cell::new(0);
139 unsafe { *c2.as_unsafe_cell().get() = 1; }
140 assert_eq!(1, c2.get());
142 let r1: RefCell<usize> = RefCell::new(0);
143 *r1.borrow_mut() = 1;
144 assert_eq!(1, unsafe { *r1.as_unsafe_cell().get() });
146 let r2: RefCell<usize> = RefCell::new(0);
147 unsafe { *r2.as_unsafe_cell().get() = 1; }
148 assert_eq!(1, *r2.borrow());
153 let cell: Cell<u32> = Default::default();
154 assert_eq!(0, cell.get());
158 fn refcell_default() {
159 let cell: RefCell<u64> = Default::default();
160 assert_eq!(0, *cell.borrow());