1 | <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN" "http://www.w3.org/TR/html4/frameset.dtd">
|
---|
2 | <!-- NewPage -->
|
---|
3 | <html lang="en">
|
---|
4 | <head>
|
---|
5 | <!-- Generated by javadoc (1.8.0_171) on Sun Jun 24 16:59:42 PDT 2018 -->
|
---|
6 | <title>JOSM-MicrosoftStreetside</title>
|
---|
7 | <script type="text/javascript">
|
---|
8 | tmpTargetPage = "" + window.location.search;
|
---|
9 | if (tmpTargetPage != "" && tmpTargetPage != "undefined")
|
---|
10 | tmpTargetPage = tmpTargetPage.substring(1);
|
---|
11 | if (tmpTargetPage.indexOf(":") != -1 || (tmpTargetPage != "" && !validURL(tmpTargetPage)))
|
---|
12 | tmpTargetPage = "undefined";
|
---|
13 | targetPage = tmpTargetPage;
|
---|
14 | function validURL(url) {
|
---|
15 | try {
|
---|
16 | url = decodeURIComponent(url);
|
---|
17 | }
|
---|
18 | catch (error) {
|
---|
19 | return false;
|
---|
20 | }
|
---|
21 | var pos = url.indexOf(".html");
|
---|
22 | if (pos == -1 || pos != url.length - 5)
|
---|
23 | return false;
|
---|
24 | var allowNumber = false;
|
---|
25 | var allowSep = false;
|
---|
26 | var seenDot = false;
|
---|
27 | for (var i = 0; i < url.length - 5; i++) {
|
---|
28 | var ch = url.charAt(i);
|
---|
29 | if ('a' <= ch && ch <= 'z' ||
|
---|
30 | 'A' <= ch && ch <= 'Z' ||
|
---|
31 | ch == '$' ||
|
---|
32 | ch == '_' ||
|
---|
33 | ch.charCodeAt(0) > 127) {
|
---|
34 | allowNumber = true;
|
---|
35 | allowSep = true;
|
---|
36 | } else if ('0' <= ch && ch <= '9'
|
---|
37 | || ch == '-') {
|
---|
38 | if (!allowNumber)
|
---|
39 | return false;
|
---|
40 | } else if (ch == '/' || ch == '.') {
|
---|
41 | if (!allowSep)
|
---|
42 | return false;
|
---|
43 | allowNumber = false;
|
---|
44 | allowSep = false;
|
---|
45 | if (ch == '.')
|
---|
46 | seenDot = true;
|
---|
47 | if (ch == '/' && seenDot)
|
---|
48 | return false;
|
---|
49 | } else {
|
---|
50 | return false;
|
---|
51 | }
|
---|
52 | }
|
---|
53 | return true;
|
---|
54 | }
|
---|
55 | function loadFrames() {
|
---|
56 | if (targetPage != "" && targetPage != "undefined")
|
---|
57 | top.classFrame.location = top.targetPage;
|
---|
58 | }
|
---|
59 | </script>
|
---|
60 | </head>
|
---|
61 | <frameset cols="20%,80%" title="Documentation frame" onload="top.loadFrames()">
|
---|
62 | <frameset rows="30%,70%" title="Left frames" onload="top.loadFrames()">
|
---|
63 | <frame src="overview-frame.html" name="packageListFrame" title="All Packages">
|
---|
64 | <frame src="allclasses-frame.html" name="packageFrame" title="All classes and interfaces (except non-static nested types)">
|
---|
65 | </frameset>
|
---|
66 | <frame src="overview-summary.html" name="classFrame" title="Package, class and interface descriptions" scrolling="yes">
|
---|
67 | <noframes>
|
---|
68 | <noscript>
|
---|
69 | <div>JavaScript is disabled on your browser.</div>
|
---|
70 | </noscript>
|
---|
71 | <h2>Frame Alert</h2>
|
---|
72 | <p>This document is designed to be viewed using the frames feature. If you see this message, you are using a non-frame-capable web client. Link to <a href="overview-summary.html">Non-frame version</a>.</p>
|
---|
73 | </noframes>
|
---|
74 | </frameset>
|
---|
75 | </html>
|
---|