---

yaml
---
r: 81606
b: refs/heads/snap-stage3
c: 1dfe508
h: refs/heads/master
v: v3

Author: lilyball

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: 4c6bf4872012c010f84dc7fa2cdfe87522533f89
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: c16d7a439441ecfb8ac53deee070bb616fdc759e
+refs/heads/snap-stage3: 1dfe5088d85df13a172810d0df92c25dbcc37e98
 refs/heads/try: 70152ff55722878cde684ee6462c14c65f2c4729
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b

branches/snap-stage3/src/libstd/path2/mod.rs

@@ -81,6 +81,17 @@ pub trait GenericPath: Clone + GenericPathUnsafe {
         }
     }
 
+    /// Creates a new Path from a byte vector, if possible.
+    /// The resulting Path will always be normalized.
+    #[inline]
+    fn from_vec_opt(path: &[u8]) -> Option<Self> {
+        if contains_nul(path) {
+            None
+        } else {
+            Some(unsafe { GenericPathUnsafe::from_vec_unchecked(path) })
+        }
+    }
+
     /// Creates a new Path from a string.
     /// The resulting Path will always be normalized.
     ///
@@ -97,6 +108,18 @@ pub trait GenericPath: Clone + GenericPathUnsafe {
         }
     }
 
+    /// Creates a new Path from a string, if possible.
+    /// The resulting Path will always be normalized.
+    #[inline]
+    fn from_str_opt(path: &str) -> Option<Self> {
+        let v = path.as_bytes();
+        if contains_nul(v) {
+            None
+        } else {
+            Some(unsafe { GenericPathUnsafe::from_str_unchecked(path) })
+        }
+    }
+
     /// Creates a new Path from a CString.
     /// The resulting Path will always be normalized.
     ///

branches/snap-stage3/src/libstd/path2/posix.rs

@@ -287,6 +287,12 @@ impl Path {
         GenericPath::from_vec(v)
     }
 
+    /// Returns a new Path from a byte vector, if possible
+    #[inline]
+    pub fn from_vec_opt(v: &[u8]) -> Option<Path> {
+        GenericPath::from_vec_opt(v)
+    }
+
     /// Returns a new Path from a string
     ///
     /// # Failure
@@ -297,6 +303,12 @@ impl Path {
         GenericPath::from_str(s)
     }
 
+    /// Returns a new Path from a string, if possible
+    #[inline]
+    pub fn from_str_opt(s: &str) -> Option<Path> {
+        GenericPath::from_str_opt(s)
+    }
+
     /// Converts the Path into an owned byte vector
     pub fn into_vec(self) -> ~[u8] {
         self.repr
@@ -475,6 +487,14 @@ mod tests {
         assert_eq!(Path::from_vec(b!("foo", 0xff, "/bar")).into_str(), None);
     }
 
+    #[test]
+    fn test_opt_paths() {
+        assert_eq!(Path::from_vec_opt(b!("foo/bar", 0)), None);
+        t!(v: Path::from_vec_opt(b!("foo/bar")).unwrap(), b!("foo/bar"));
+        assert_eq!(Path::from_str_opt("foo/bar\0"), None);
+        t!(s: Path::from_str_opt("foo/bar").unwrap(), "foo/bar");
+    }
+
     #[test]
     fn test_null_byte() {
         use path2::null_byte::cond;

branches/snap-stage3/src/libstd/path2/windows.rs

@@ -328,6 +328,15 @@ impl GenericPathUnsafe for Path {
 }
 
 impl GenericPath for Path {
+    #[inline]
+    fn from_vec_opt(v: &[u8]) -> Option<Path> {
+        if contains_nul(v) || !str::is_utf8(v) {
+            None
+        } else {
+            Some(unsafe { GenericPathUnsafe::from_vec_unchecked(v) })
+        }
+    }
+
     /// See `GenericPath::as_str` for info.
     /// Always returns a `Some` value.
     #[inline]
@@ -583,6 +592,12 @@ impl Path {
         GenericPath::from_vec(v)
     }
 
+    /// Returns a new Path from a byte vector, if possible
+    #[inline]
+    pub fn from_vec_opt(v: &[u8]) -> Option<Path> {
+        GenericPath::from_vec_opt(v)
+    }
+
     /// Returns a new Path from a string
     ///
     /// # Failure
@@ -593,6 +608,12 @@ impl Path {
         GenericPath::from_str(s)
     }
 
+    /// Returns a new Path from a string, if possible
+    #[inline]
+    pub fn from_str_opt(s: &str) -> Option<Path> {
+        GenericPath::from_str_opt(s)
+    }
+
     /// Converts the Path into an owned byte vector
     pub fn into_vec(self) -> ~[u8] {
         self.repr.into_bytes()
@@ -1201,6 +1222,15 @@ mod tests {
         t!(s: Path::from_str("\\\\.\\foo\\bar"), "\\\\.\\foo\\bar");
     }
 
+    #[test]
+    fn test_opt_paths() {
+        assert_eq!(Path::from_vec_opt(b!("foo\\bar", 0)), None);
+        assert_eq!(Path::from_vec_opt(b!("foo\\bar", 0x80)), None);
+        t!(v: Path::from_vec_opt(b!("foo\\bar")).unwrap(), b!("foo\\bar"));
+        assert_eq!(Path::from_str_opt("foo\\bar\0"), None);
+        t!(s: Path::from_str_opt("foo\\bar").unwrap(), "foo\\bar");
+    }
+
     #[test]
     fn test_null_byte() {
         use path2::null_byte::cond;