Skip to content

Commit a2c64e1

Browse files
committed
---
yaml --- r: 186207 b: refs/heads/try c: 9db593c h: refs/heads/master i: 186205: 2763ddb 186203: 7c22a41 186199: 75386c1 186191: dace5f2 186175: ce01dcf v: v3
1 parent 22b0549 commit a2c64e1

File tree

89 files changed

+5728
-318
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

89 files changed

+5728
-318
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
refs/heads/master: b4c965ee803a4521d8b4575f634e036f93e408f3
33
refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
44
refs/heads/snap-stage3: 3a96d6a9818fe2affc98a187fb1065120458cee9
5-
refs/heads/try: d30f225b492163b14005d5069b7924f3fecf868c
5+
refs/heads/try: 9db593c90af04dbf8f9bebb8a3650ff9609d10f2
66
refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
77
refs/heads/dist-snap: ba4081a5a8573875fed17545846f6f6902c8ba8d
88
refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596

branches/try/src/libcollections/vec_map.rs

Lines changed: 193 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,8 @@
1313
1414
#![allow(missing_docs)]
1515

16+
pub use self::Entry::*;
17+
1618
use core::prelude::*;
1719

1820
use core::cmp::Ordering;
@@ -66,6 +68,32 @@ pub struct VecMap<V> {
6668
v: Vec<Option<V>>,
6769
}
6870

71+
/// A view into a single entry in a map, which may either be vacant or occupied.
72+
#[unstable(feature = "collections",
73+
reason = "precise API still under development")]
74+
pub enum Entry<'a, V:'a> {
75+
/// A vacant Entry
76+
Vacant(VacantEntry<'a, V>),
77+
/// An occupied Entry
78+
Occupied(OccupiedEntry<'a, V>),
79+
}
80+
81+
/// A vacant Entry.
82+
#[unstable(feature = "collections",
83+
reason = "precise API still under development")]
84+
pub struct VacantEntry<'a, V:'a> {
85+
map: &'a mut VecMap<V>,
86+
index: usize,
87+
}
88+
89+
/// An occupied Entry.
90+
#[unstable(feature = "collections",
91+
reason = "precise API still under development")]
92+
pub struct OccupiedEntry<'a, V:'a> {
93+
map: &'a mut VecMap<V>,
94+
index: usize,
95+
}
96+
6997
#[stable(feature = "rust1", since = "1.0.0")]
7098
impl<V> Default for VecMap<V> {
7199
#[stable(feature = "rust1", since = "1.0.0")]
@@ -485,6 +513,119 @@ impl<V> VecMap<V> {
485513
let result = &mut self.v[*key];
486514
result.take()
487515
}
516+
517+
/// Gets the given key's corresponding entry in the map for in-place manipulation.
518+
///
519+
/// # Examples
520+
///
521+
/// ```
522+
/// use std::collections::VecMap;
523+
/// use std::collections::vec_map::Entry;
524+
///
525+
/// let mut count: VecMap<u32> = VecMap::new();
526+
///
527+
/// // count the number of occurrences of numbers in the vec
528+
/// for x in vec![1, 2, 1, 2, 3, 4, 1, 2, 4].iter() {
529+
/// match count.entry(*x) {
530+
/// Entry::Vacant(view) => {
531+
/// view.insert(1);
532+
/// },
533+
/// Entry::Occupied(mut view) => {
534+
/// let v = view.get_mut();
535+
/// *v += 1;
536+
/// },
537+
/// }
538+
/// }
539+
///
540+
/// assert_eq!(count[1], 3);
541+
/// ```
542+
#[unstable(feature = "collections",
543+
reason = "precise API still under development")]
544+
pub fn entry(&mut self, key: usize) -> Entry<V> {
545+
// FIXME(Gankro): this is basically the dumbest implementation of
546+
// entry possible, because weird non-lexical borrows issues make it
547+
// completely insane to do any other way. That said, Entry is a border-line
548+
// useless construct on VecMap, so it's hardly a big loss.
549+
if self.contains_key(&key) {
550+
Occupied(OccupiedEntry {
551+
map: self,
552+
index: key,
553+
})
554+
} else {
555+
Vacant(VacantEntry {
556+
map: self,
557+
index: key,
558+
})
559+
}
560+
}
561+
}
562+
563+
564+
impl<'a, V> Entry<'a, V> {
565+
#[unstable(feature = "collections",
566+
reason = "matches collection reform v2 specification, waiting for dust to settle")]
567+
/// Returns a mutable reference to the entry if occupied, or the VacantEntry if vacant
568+
pub fn get(self) -> Result<&'a mut V, VacantEntry<'a, V>> {
569+
match self {
570+
Occupied(entry) => Ok(entry.into_mut()),
571+
Vacant(entry) => Err(entry),
572+
}
573+
}
574+
}
575+
576+
impl<'a, V> VacantEntry<'a, V> {
577+
/// Sets the value of the entry with the VacantEntry's key,
578+
/// and returns a mutable reference to it.
579+
#[unstable(feature = "collections",
580+
reason = "matches collection reform v2 specification, waiting for dust to settle")]
581+
pub fn insert(self, value: V) -> &'a mut V {
582+
let index = self.index;
583+
self.map.insert(index, value);
584+
&mut self.map[index]
585+
}
586+
}
587+
588+
impl<'a, V> OccupiedEntry<'a, V> {
589+
/// Gets a reference to the value in the entry.
590+
#[unstable(feature = "collections",
591+
reason = "matches collection reform v2 specification, waiting for dust to settle")]
592+
pub fn get(&self) -> &V {
593+
let index = self.index;
594+
&self.map[index]
595+
}
596+
597+
/// Gets a mutable reference to the value in the entry.
598+
#[unstable(feature = "collections",
599+
reason = "matches collection reform v2 specification, waiting for dust to settle")]
600+
pub fn get_mut(&mut self) -> &mut V {
601+
let index = self.index;
602+
&mut self.map[index]
603+
}
604+
605+
/// Converts the entry into a mutable reference to its value.
606+
#[unstable(feature = "collections",
607+
reason = "matches collection reform v2 specification, waiting for dust to settle")]
608+
pub fn into_mut(self) -> &'a mut V {
609+
let index = self.index;
610+
&mut self.map[index]
611+
}
612+
613+
/// Sets the value of the entry with the OccupiedEntry's key,
614+
/// and returns the entry's old value.
615+
#[unstable(feature = "collections",
616+
reason = "matches collection reform v2 specification, waiting for dust to settle")]
617+
pub fn insert(&mut self, value: V) -> V {
618+
let index = self.index;
619+
self.map.insert(index, value).unwrap()
620+
}
621+
622+
/// Takes the value of the entry out of the map, and returns it.
623+
#[unstable(feature = "collections",
624+
reason = "matches collection reform v2 specification, waiting for dust to settle")]
625+
pub fn remove(self) -> V {
626+
let index = self.index;
627+
self.map.remove(&index).unwrap()
628+
}
488629
}
489630

490631
#[stable(feature = "rust1", since = "1.0.0")]
@@ -783,7 +924,7 @@ mod test_map {
783924
use prelude::*;
784925
use core::hash::{hash, SipHasher};
785926

786-
use super::VecMap;
927+
use super::{VecMap, Occupied, Vacant};
787928

788929
#[test]
789930
fn test_get_mut() {
@@ -1135,6 +1276,57 @@ mod test_map {
11351276

11361277
map[4];
11371278
}
1279+
1280+
#[test]
1281+
fn test_entry(){
1282+
let xs = [(1, 10), (2, 20), (3, 30), (4, 40), (5, 50), (6, 60)];
1283+
1284+
let mut map: VecMap<i32> = xs.iter().map(|&x| x).collect();
1285+
1286+
// Existing key (insert)
1287+
match map.entry(1) {
1288+
Vacant(_) => unreachable!(),
1289+
Occupied(mut view) => {
1290+
assert_eq!(view.get(), &10);
1291+
assert_eq!(view.insert(100), 10);
1292+
}
1293+
}
1294+
assert_eq!(map.get(&1).unwrap(), &100);
1295+
assert_eq!(map.len(), 6);
1296+
1297+
1298+
// Existing key (update)
1299+
match map.entry(2) {
1300+
Vacant(_) => unreachable!(),
1301+
Occupied(mut view) => {
1302+
let v = view.get_mut();
1303+
*v *= 10;
1304+
}
1305+
}
1306+
assert_eq!(map.get(&2).unwrap(), &200);
1307+
assert_eq!(map.len(), 6);
1308+
1309+
// Existing key (take)
1310+
match map.entry(3) {
1311+
Vacant(_) => unreachable!(),
1312+
Occupied(view) => {
1313+
assert_eq!(view.remove(), 30);
1314+
}
1315+
}
1316+
assert_eq!(map.get(&3), None);
1317+
assert_eq!(map.len(), 5);
1318+
1319+
1320+
// Inexistent key (insert)
1321+
match map.entry(10) {
1322+
Occupied(_) => unreachable!(),
1323+
Vacant(view) => {
1324+
assert_eq!(*view.insert(1000), 1000);
1325+
}
1326+
}
1327+
assert_eq!(map.get(&10).unwrap(), &1000);
1328+
assert_eq!(map.len(), 6);
1329+
}
11381330
}
11391331

11401332
#[cfg(test)]

branches/try/src/libcore/error.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -51,7 +51,7 @@
5151
//! use std::error::FromError;
5252
//! use std::old_io::{File, IoError};
5353
//! use std::os::{MemoryMap, MapError};
54-
//! use std::path::Path;
54+
//! use std::old_path::Path;
5555
//!
5656
//! enum MyError {
5757
//! Io(IoError),

branches/try/src/libcore/fmt/mod.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -264,6 +264,7 @@ pub trait Show {
264264
#[lang = "debug_trait"]
265265
pub trait Debug {
266266
/// Formats the value using the given formatter.
267+
#[stable(feature = "rust1", since = "1.0.0")]
267268
fn fmt(&self, &mut Formatter) -> Result;
268269
}
269270

@@ -290,6 +291,7 @@ pub trait String {
290291
#[stable(feature = "rust1", since = "1.0.0")]
291292
pub trait Display {
292293
/// Formats the value using the given formatter.
294+
#[stable(feature = "rust1", since = "1.0.0")]
293295
fn fmt(&self, &mut Formatter) -> Result;
294296
}
295297

branches/try/src/libcore/iter.rs

Lines changed: 6 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -114,6 +114,7 @@ impl<'a, I: Iterator + ?Sized> Iterator for &'a mut I {
114114
built from an iterator over elements of type `{A}`"]
115115
pub trait FromIterator<A> {
116116
/// Build a container with elements from an external iterator.
117+
#[stable(feature = "rust1", since = "1.0.0")]
117118
fn from_iter<T: Iterator<Item=A>>(iterator: T) -> Self;
118119
}
119120

@@ -716,11 +717,12 @@ pub trait IteratorExt: Iterator + Sized {
716717
P: FnMut(Self::Item) -> bool,
717718
Self: ExactSizeIterator + DoubleEndedIterator
718719
{
719-
let len = self.len();
720-
for i in (0..len).rev() {
721-
if predicate(self.next_back().expect("rposition: incorrect ExactSizeIterator")) {
720+
let mut i = self.len() - 1;
721+
while let Some(v) = self.next_back() {
722+
if predicate(v) {
722723
return Some(i);
723724
}
725+
i -= 1;
724726
}
725727
None
726728
}
@@ -1798,6 +1800,7 @@ impl<I: Iterator> Peekable<I> {
17981800
/// Return a reference to the next element of the iterator with out
17991801
/// advancing it, or None if the iterator is exhausted.
18001802
#[inline]
1803+
#[stable(feature = "rust1", since = "1.0.0")]
18011804
pub fn peek(&mut self) -> Option<&I::Item> {
18021805
if self.peeked.is_none() {
18031806
self.peeked = self.iter.next();

branches/try/src/libgraphviz/maybe_owned_vec.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ use std::cmp::Ordering;
1717
use std::default::Default;
1818
use std::fmt;
1919
use std::iter::FromIterator;
20-
use std::path::BytesContainer;
20+
use std::old_path::BytesContainer;
2121
use std::slice;
2222

2323
// Note 1: It is not clear whether the flexibility of providing both

branches/try/src/librustc/middle/check_loop.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -45,7 +45,7 @@ impl<'a, 'v> Visitor<'v> for CheckLoopVisitor<'a> {
4545
ast::ExprLoop(ref b, _) => {
4646
self.with_context(Loop, |v| v.visit_block(&**b));
4747
}
48-
ast::ExprClosure(_, _, _, ref b) => {
48+
ast::ExprClosure(_, _, ref b) => {
4949
self.with_context(Closure, |v| v.visit_block(&**b));
5050
}
5151
ast::ExprBreak(_) => self.require_loop("break", e.span),

branches/try/src/librustc/middle/liveness.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -959,7 +959,7 @@ impl<'a, 'tcx> Liveness<'a, 'tcx> {
959959
self.propagate_through_expr(&**e, succ)
960960
}
961961

962-
ast::ExprClosure(_, _, _, ref blk) => {
962+
ast::ExprClosure(_, _, ref blk) => {
963963
debug!("{} is an ExprClosure",
964964
expr_to_string(expr));
965965

branches/try/src/librustc/middle/mem_categorization.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -739,7 +739,7 @@ impl<'t,'tcx,TYPER:Typer<'tcx>> MemCategorizationContext<'t,TYPER> {
739739
};
740740

741741
match fn_expr.node {
742-
ast::ExprClosure(_, _, _, ref body) => body.id,
742+
ast::ExprClosure(_, _, ref body) => body.id,
743743
_ => unreachable!()
744744
}
745745
};

0 commit comments

Comments
 (0)