suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

url parameter utilities

Browse Source 
svn: r17026
This commit is contained in:
Eli Barzilay 2009-11-24 06:45:26 +00:00
parent 37a1ada7a2
commit cdf940fedd
1 changed files with 36 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
collects/scribble/scribble-common.js
View File

@ -1,5 +1,7 @@
// Common functionality for PLT documentation pages // Common functionality for PLT documentation pages
// Cookies --------------------------------------------------------------------
function GetCookie(key, def) { function GetCookie(key, def) {
if (document.cookie.length <= 0) return def; if (document.cookie.length <= 0) return def;
var i, cookiestrs = document.cookie.split(/; */); var i, cookiestrs = document.cookie.split(/; */);
@ -36,6 +38,38 @@ function GotoPLTRoot(ver, relative) {
return false; return false;
} }
// URL Parameters -------------------------------------------------------------
// In the following functions, the `name' argument is assumed to be simple in
// that it doesn't contain anything that isn't plain text in a regexp. (This
// is because I don't know if there's a JS `regexp-quote' thing). Also, the
// output value from the Get functions and the input value to the Set functions
// is not decoded/encoded. Note that `SetArgInURL' mutates the string.
function GetArgFromString(str, name) {
var rx = new RegExp("(?:^|[;&])"+name+"=([^&;]*)(?:[;&]|$)");
return rx.test(str) && RegExp.$1;
}
function SetArgInString(str, name, val) {
if (str.length == 0) return name + "=" + val;
var rx = new RegExp("^((?:|.*[;&])"+name+"=)(?:[^&;]*)([;&].*|)$");
if (rx.test(str)) return RegExp.$1 + val + RegExp.$2;
else return name + "=" + val + "&" + str;
}
function GetArgFromURL(url, name) {
if (!url.href.search(/\?([^#]*)(?:#|$)/)) return false;
return GetArgFromString(RegExp.$1, name);
}
function SetArgInURL(url, name, val) { // note: mutates the string
url.href.search(/^([^?#]*)(?:\?([^#]*))?(#.*)?$/);
url.href = RegExp.$1 + "?" + SetArgInString(RegExp.$2,name,val) + RegExp.$3;
}
// Utilities ------------------------------------------------------------------
normalize_rxs = [/\/\/+/g, /\/\.(\/|$)/, /\/[^\/]*\/\.\.(\/|$)/]; normalize_rxs = [/\/\/+/g, /\/\.(\/|$)/, /\/[^\/]*\/\.\.(\/|$)/];
function NormalizePath(path) { function NormalizePath(path) {
var tmp, i; var tmp, i;
@ -44,6 +78,8 @@ function NormalizePath(path) {
return path; return path;
} }
// Interactions ---------------------------------------------------------------
function DoSearchKey(event, field, ver, top_path) { function DoSearchKey(event, field, ver, top_path) {
var val = field.value; var val = field.value;
if (event && event.keyCode == 13) { if (event && event.keyCode == 13) {