/* * The following Javascript code was taken from Mozilla (http://www.mozilla.org) * and is licensed according to the LGPLv2.1+. Below is the original copyright * header as contained in the source file (nsProxyAutoConfig.js) */ /* ***** BEGIN LICENSE BLOCK ***** * Version: NPL 1.1/GPL 2.0/LGPL 2.1 * * The contents of this file are subject to the Netscape Public License * Version 1.1 (the "License"); you may not use this file except in * compliance with the License. You may obtain a copy of the License at * http://www.mozilla.org/NPL/ * * Software distributed under the License is distributed on an "AS IS" basis, * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License * for the specific language governing rights and limitations under the * License. * * The Original Code is mozilla.org code. * * The Initial Developer of the Original Code is * Netscape Communications Corporation. * Portions created by the Initial Developer are Copyright (C) 1998 * the Initial Developer. All Rights Reserved. * * Contributor(s): * Akhil Arora * Tomi Leppikangas * * Alternatively, the contents of this file may be used under the terms of * either the GNU General Public License Version 2 or later (the "GPL"), or * the GNU Lesser General Public License Version 2.1 or later (the "LGPL"), * in which case the provisions of the GPL or the LGPL are applicable instead * of those above. If you wish to allow use of your version of this file only * under the terms of either the GPL or the LGPL, and not to allow others to * use your version of this file under the terms of the NPL, indicate your * decision by deleting the provisions above and replace them with the notice * and other provisions required by the GPL or the LGPL. If you do not delete * the provisions above, a recipient may use your version of this file under * the terms of any one of the NPL, the GPL or the LGPL. * * ***** END LICENSE BLOCK ***** */ #define JAVASCRIPT_ROUTINES \ "function dnsDomainIs(host, domain) {\n" \ " return (host.length >= domain.length &&\n" \ " host.substring(host.length - domain.length) == domain);\n" \ "}\n" \ "function dnsDomainLevels(host) {\n" \ " return host.split('.').length-1;\n" \ "}\n" \ "function convert_addr(ipchars) {\n" \ " var bytes = ipchars.split('.');\n" \ " var result = ((bytes[0] & 0xff) << 24) |\n" \ " ((bytes[1] & 0xff) << 16) |\n" \ " ((bytes[2] & 0xff) << 8) |\n" \ " (bytes[3] & 0xff);\n" \ " return result;\n" \ "}\n" \ "function isInNet(ipaddr, pattern, maskstr) {\n" \ " var test = /^(\\d{1,4})\\.(\\d{1,4})\\.(\\d{1,4})\\.(\\d{1,4})$/(ipaddr);\n" \ " if (test == null) {\n" \ " ipaddr = dnsResolve(ipaddr);\n" \ " if (ipaddr == null)\n" \ " return false;\n" \ " } else if (test[1] > 255 || test[2] > 255 ||\n" \ " test[3] > 255 || test[4] > 255) {\n" \ " return false;\n" \ " }\n" \ " var host = convert_addr(ipaddr);\n" \ " var pat = convert_addr(pattern);\n" \ " var mask = convert_addr(maskstr);\n" \ " return ((host & mask) == (pat & mask));\n" \ "}\n" \ "function isPlainHostName(host) {\n" \ " return (host.search('\\\\.') == -1);\n" \ "}\n" \ "function isResolvable(host) {\n" \ " var ip = dnsResolve(host);\n" \ " return (ip != null);\n" \ "}\n" \ "function localHostOrDomainIs(host, hostdom) {\n" \ " if (isPlainHostName(host)) {\n" \ " return (hostdom.search('/^' + host + '/') != -1);\n" \ " }\n" \ " else {\n" \ " return (host == hostdom);\n" \ " }\n" \ "}\n" \ "function shExpMatch(url, pattern) {\n" \ " pattern = pattern.replace(/\\./g, '\\\\.');\n" \ " pattern = pattern.replace(/\\*/g, '.*');\n" \ " pattern = pattern.replace(/\\?/g, '.');\n" \ " var newRe = new RegExp('^'+pattern+'$');\n" \ " return newRe.test(url);\n" \ "}\n" \ "var wdays = new Array('SUN', 'MON', 'TUE', 'WED', 'THU', 'FRI', 'SAT');\n" \ "var monthes = new Array('JAN', 'FEB', 'MAR', 'APR', 'MAY', 'JUN', 'JUL', 'AUG', 'SEP', 'OCT', 'NOV', 'DEC');\n" \ "function weekdayRange() {\n" \ " function getDay(weekday) {\n" \ " for (var i = 0; i < 6; i++) {\n" \ " if (weekday == wdays[i])\n" \ " return i;\n" \ " }\n" \ " return -1;\n" \ " }\n" \ " var date = new Date();\n" \ " var argc = arguments.length;\n" \ " var wday;\n" \ " if (argc < 1)\n" \ " return false;\n" \ " if (arguments[argc - 1] == 'GMT') {\n" \ " argc--;\n" \ " wday = date.getUTCDay();\n" \ " } else {\n" \ " wday = date.getDay();\n" \ " }\n" \ " var wd1 = getDay(arguments[0]);\n" \ " var wd2 = (argc == 2) ? getDay(arguments[1]) : wd1;\n" \ " return (wd1 == -1 || wd2 == -1) ? false\n" \ " : (wd1 <= wday && wday <= wd2);\n" \ "}\n" \ "function dateRange() {\n" \ " function getMonth(name) {\n" \ " for (var i = 0; i < 6; i++) {\n" \ " if (name == monthes[i])\n" \ " return i;\n" \ " }\n" \ " return -1;\n" \ " }\n" \ " var date = new Date();\n" \ " var argc = arguments.length;\n" \ " if (argc < 1) {\n" \ " return false;\n" \ " }\n" \ " var isGMT = (arguments[argc - 1] == 'GMT');\n" \ " if (isGMT) {\n" \ " argc--;\n" \ " }\n" \ " if (argc == 1) {\n" \ " var tmp = parseInt(arguments[0]);\n" \ " if (isNaN(tmp)) {\n" \ " return ((isGMT ? date.getUTCMonth() : date.getMonth()) == getMonth(arguments[0]));\n" \ " } else if (tmp < 32) {\n" \ " return ((isGMT ? date.getUTCDate() : date.getDate()) == tmp);\n" \ " } else {\n" \ " return ((isGMT ? date.getUTCFullYear() : date.getFullYear()) == tmp);\n" \ " }\n" \ " }\n" \ " var year = date.getFullYear();\n" \ " var date1, date2;\n" \ " date1 = new Date(year, 0, 1, 0, 0, 0);\n" \ " date2 = new Date(year, 11, 31, 23, 59, 59);\n" \ " var adjustMonth = false;\n" \ " for (var i = 0; i < (argc >> 1); i++) {\n" \ " var tmp = parseInt(arguments[i]);\n" \ " if (isNaN(tmp)) {\n" \ " var mon = getMonth(arguments[i]);\n" \ " date1.setMonth(mon);\n" \ " } else if (tmp < 32) {\n" \ " adjustMonth = (argc <= 2);\n" \ " date1.setDate(tmp);\n" \ " } else {\n" \ " date1.setFullYear(tmp);\n" \ " }\n" \ " }\n" \ " for (var i = (argc >> 1); i < argc; i++) {\n" \ " var tmp = parseInt(arguments[i]);\n" \ " if (isNaN(tmp)) {\n" \ " var mon = getMonth(arguments[i]);\n" \ " date2.setMonth(mon);\n" \ " } else if (tmp < 32) {\n" \ " date2.setDate(tmp);\n" \ " } else {\n" \ " date2.setFullYear(tmp);\n" \ " }\n" \ " }\n" \ " if (adjustMonth) {\n" \ " date1.setMonth(date.getMonth());\n" \ " date2.setMonth(date.getMonth());\n" \ " }\n" \ " if (isGMT) {\n" \ " var tmp = date;\n" \ " tmp.setFullYear(date.getUTCFullYear());\n" \ " tmp.setMonth(date.getUTCMonth());\n" \ " tmp.setDate(date.getUTCDate());\n" \ " tmp.setHours(date.getUTCHours());\n" \ " tmp.setMinutes(date.getUTCMinutes());\n" \ " tmp.setSeconds(date.getUTCSeconds());\n" \ " date = tmp;\n" \ " }\n" \ " return ((date1 <= date) && (date <= date2));\n" \ "}\n" \ "function timeRange() {\n" \ " var argc = arguments.length;\n" \ " var date = new Date();\n" \ " var isGMT= false;\n" \ " if (argc < 1) {\n" \ " return false;\n" \ " }\n" \ " if (arguments[argc - 1] == 'GMT') {\n" \ " isGMT = true;\n" \ " argc--;\n" \ " }\n" \ " var hour = isGMT ? date.getUTCHours() : date.getHours();\n" \ " var date1, date2;\n" \ " date1 = new Date();\n" \ " date2 = new Date();\n" \ " if (argc == 1) {\n" \ " return (hour == arguments[0]);\n" \ " } else if (argc == 2) {\n" \ " return ((arguments[0] <= hour) && (hour <= arguments[1]));\n" \ " } else {\n" \ " switch (argc) {\n" \ " case 6:\n" \ " date1.setSeconds(arguments[2]);\n" \ " date2.setSeconds(arguments[5]);\n" \ " case 4:\n" \ " var middle = argc >> 1;\n" \ " date1.setHours(arguments[0]);\n" \ " date1.setMinutes(arguments[1]);\n" \ " date2.setHours(arguments[middle]);\n" \ " date2.setMinutes(arguments[middle + 1]);\n" \ " if (middle == 2) {\n" \ " date2.setSeconds(59);\n" \ " }\n" \ " break;\n" \ " default:\n" \ " throw 'timeRange: bad number of arguments'\n" \ " }\n" \ " }\n" \ " if (isGMT) {\n" \ " date.setFullYear(date.getUTCFullYear());\n" \ " date.setMonth(date.getUTCMonth());\n" \ " date.setDate(date.getUTCDate());\n" \ " date.setHours(date.getUTCHours());\n" \ " date.setMinutes(date.getUTCMinutes());\n" \ " date.setSeconds(date.getUTCSeconds());\n" \ " }\n" \ " return ((date1 <= date) && (date <= date2));\n" \ "}\n" \ ""