diff options
Diffstat (limited to 'framework/src/ant/apache-ant-1.9.6/src/resources/org/apache/tools/ant/taskdefs/javadoc-frame-injections-fix.txt')
-rw-r--r-- | framework/src/ant/apache-ant-1.9.6/src/resources/org/apache/tools/ant/taskdefs/javadoc-frame-injections-fix.txt | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/framework/src/ant/apache-ant-1.9.6/src/resources/org/apache/tools/ant/taskdefs/javadoc-frame-injections-fix.txt b/framework/src/ant/apache-ant-1.9.6/src/resources/org/apache/tools/ant/taskdefs/javadoc-frame-injections-fix.txt new file mode 100644 index 00000000..1f8c97a6 --- /dev/null +++ b/framework/src/ant/apache-ant-1.9.6/src/resources/org/apache/tools/ant/taskdefs/javadoc-frame-injections-fix.txt @@ -0,0 +1,37 @@ + if (targetPage != "" && !validURL(targetPage)) + targetPage = "undefined"; + function validURL(url) { + var pos = url.indexOf(".html"); + if (pos == -1 || pos != url.length - 5) + return false; + var allowNumber = false; + var allowSep = false; + var seenDot = false; + for (var i = 0; i < url.length - 5; i++) { + var ch = url.charAt(i); + if ('a' <= ch && ch <= 'z' || + 'A' <= ch && ch <= 'Z' || + ch == '$' || + ch == '_') { + allowNumber = true; + allowSep = true; + } else if ('0' <= ch && ch <= '9' + || ch == '-') { + if (!allowNumber) + return false; + } else if (ch == '/' || ch == '.') { + if (!allowSep) + return false; + allowNumber = false; + allowSep = false; + if (ch == '.') + seenDot = true; + if (ch == '/' && seenDot) + return false; + } else { + return false; + } + } + return true; + } + function loadFrames() { |