public IRelativeFilePath UpdateExtension(string extension)
            {
                Argument.IsNotNull(nameof(extension), extension);
                Argument.IsValid(nameof(extension), extension, extension.Length >= 2 && extension[0] == '.');

                var path = PathBrowsingHelpers.UpdateExtension(this, extension);

                //Debug.Assert(pathString.IsValidRelativeFilePath());

                return(new RelativeFilePath(path));
            }
            public IEnvVarFilePath UpdateExtension(string newExtension)
            {
                // All these 3 assertions have been checked by contract!
                Debug.Assert(newExtension != null);
                Debug.Assert(newExtension.Length >= 2);
                Debug.Assert(newExtension[0] == '.');
                string pathString = PathBrowsingHelpers.UpdateExtension(this, newExtension);

                Debug.Assert(pathString.IsValidEnvVarFilePath());
                return(new EnvVarFilePath(pathString));
            }
Beispiel #3
0
            public IVariableFilePath UpdateExtension(string extension)
            {
                // All these 3 assertions have been checked by contract!
                Debug.Assert(extension != null);
                Debug.Assert(extension.Length >= 2);
                Debug.Assert(extension[0] == '.');
                var pathString = PathBrowsingHelpers.UpdateExtension(this, extension);

                Debug.Assert(pathString.IsValidVariableFilePath());
                return(new VariableFilePath(pathString));
            }
            public IEnvironmentVariableFilePath UpdateExtension(string extension)
            {
                Argument.IsNotNull(nameof(extension), extension);
                Argument.IsValid(nameof(extension), extension, extension.Length >= 2 && extension[0] == '.');

                var pathString = PathBrowsingHelpers.UpdateExtension(this, extension);

                //Debug.Assert(pathString.IsValidEnvVarFilePath());

                return(new EnvironmentVariableFilePath(pathString));
            }