aboutsummaryrefslogtreecommitdiff
path: root/api/dotty/tools/io/ClassPath$.html
diff options
context:
space:
mode:
authordotty-bot <felix.mulder@epfl.ch>2017-02-03 18:05:53 +0000
committerdotty-bot <felix.mulder@epfl.ch>2017-02-03 18:05:53 +0000
commit881c3b182fda1036d5a507d08ff85f7709d70703 (patch)
treec0248d0a1664dcbf9f483b65f65e4d4710c3d0bb /api/dotty/tools/io/ClassPath$.html
parentb45ed2e609603cdaa94f9b7f5099da01e5e45314 (diff)
downloaddotty-881c3b182fda1036d5a507d08ff85f7709d70703.tar.gz
dotty-881c3b182fda1036d5a507d08ff85f7709d70703.tar.bz2
dotty-881c3b182fda1036d5a507d08ff85f7709d70703.zip
Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359
Diffstat (limited to 'api/dotty/tools/io/ClassPath$.html')
-rw-r--r--api/dotty/tools/io/ClassPath$.html511
1 files changed, 479 insertions, 32 deletions
diff --git a/api/dotty/tools/io/ClassPath$.html b/api/dotty/tools/io/ClassPath$.html
index 0241f59e7..fc5ec4d6c 100644
--- a/api/dotty/tools/io/ClassPath$.html
+++ b/api/dotty/tools/io/ClassPath$.html
@@ -5321,6 +5321,9 @@
<div id="entity-container">
<div id="entity-title">
+ <span id="entity-annotations">
+
+ </span>
<span id="entity-modifiers">
final
</span>
@@ -5330,6 +5333,8 @@
<span id="entity-name">
ClassPath
</span>
+
+
</div>
@@ -5340,12 +5345,23 @@ java, see [http://java.sun.com/javase/6/docs/technotes/tools/windows/classpath.h
</div>
- <h1 class="section ">Members</h1>
+ <h1 class="section empty">
+ Constructors
+ </h1>
+
+ <div id="entity-constructors" class="entity-section empty">
+
+ </div>
+
+ <h1 class="section ">
+ Members
+ </h1>
<div id="entity-members" class="entity-section ">
<div id="ClassPathContext" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'ClassPathContext');">[+]</span>
<span class="member-annotations">
</span>
@@ -5369,14 +5385,33 @@ java, see [http://java.sun.com/javase/6/docs/technotes/tools/windows/classpath.h
</div><!-- end member-title -->
<div class="member-body">
- <p>A class modeling aspects of a ClassPath which should be
+ <div class="member-body-short" id="short-body-ClassPathContext">
+ <p>A class modeling aspects of a ClassPath which should be
+propagated to any classpaths it creates.</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-ClassPathContext">
+ <p>A class modeling aspects of a ClassPath which should be
propagated to any classpaths it creates.</p>
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="DefaultJavaContext$" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'DefaultJavaContext$');">[+]</span>
<span class="member-annotations">
</span>
@@ -5400,12 +5435,29 @@ propagated to any classpaths it creates.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-DefaultJavaContext$">
+
+ </div>
+ <div class="member-body-long" id ="long-body-DefaultJavaContext$">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="JavaContext" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'JavaContext');">[+]</span>
<span class="member-annotations">
</span>
@@ -5429,12 +5481,29 @@ propagated to any classpaths it creates.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-JavaContext">
+
+ </div>
+ <div class="member-body-long" id ="long-body-JavaContext">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="endsClass(s)" class="member private">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'endsClass(s)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5473,12 +5542,29 @@ propagated to any classpaths it creates.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-endsClass(s)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-endsClass(s)">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="endsJava(s)" class="member private">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'endsJava(s)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5517,12 +5603,29 @@ propagated to any classpaths it creates.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-endsJava(s)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-endsJava(s)">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="endsScala(s)" class="member private">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'endsScala(s)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5561,12 +5664,29 @@ propagated to any classpaths it creates.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-endsScala(s)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-endsScala(s)">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="expandDir(extdir)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'expandDir(extdir)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5600,18 +5720,39 @@ propagated to any classpaths it creates.</p>
- <span class="no-left">: List</span>
+ <span class="no-left">: List
+<span class="no-left no-right">[</span>
+String
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
- <p>Expand dir out to contents, a la extdir</p>
+ <div class="member-body-short" id="short-body-expandDir(extdir)">
+ <p>Expand dir out to contents, a la extdir</p>
+ </div>
+ <div class="member-body-long" id ="long-body-expandDir(extdir)">
+ <p>Expand dir out to contents, a la extdir</p>
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="expandManifestPath(jarPath)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'expandManifestPath(jarPath)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5645,19 +5786,41 @@ propagated to any classpaths it creates.</p>
- <span class="no-left">: List</span>
+ <span class="no-left">: List
+<span class="no-left no-right">[</span>
+URL
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
- <p>Expand manifest jar classpath entries: these are either urls, or paths
+ <div class="member-body-short" id="short-body-expandManifestPath(jarPath)">
+ <p>Expand manifest jar classpath entries: these are either urls, or paths
+relative to the location of the jar.</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-expandManifestPath(jarPath)">
+ <p>Expand manifest jar classpath entries: these are either urls, or paths
relative to the location of the jar.</p>
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="expandPath(path,expandStar)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'expandPath(path,expandStar)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5699,18 +5862,39 @@ relative to the location of the jar.</p>
- <span class="no-left">: List</span>
+ <span class="no-left">: List
+<span class="no-left no-right">[</span>
+String
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
- <p>Expand path and possibly expanding stars</p>
+ <div class="member-body-short" id="short-body-expandPath(path,expandStar)">
+ <p>Expand path and possibly expanding stars</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-expandPath(path,expandStar)">
+ <p>Expand path and possibly expanding stars</p>
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="expandPath$default$2" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'expandPath$default$2');">[+]</span>
<span class="member-annotations">
</span>
@@ -5736,13 +5920,31 @@ relative to the location of the jar.</p>
</div><!-- end member-title -->
<div class="member-body">
- <p>Expand path and possibly expanding stars</p>
+ <div class="member-body-short" id="short-body-expandPath$default$2">
+ <p>Expand path and possibly expanding stars</p>
+ </div>
+ <div class="member-body-long" id ="long-body-expandPath$default$2">
+ <p>Expand path and possibly expanding stars</p>
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="expandS(pattern)" class="member private">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'expandS(pattern)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5776,18 +5978,39 @@ relative to the location of the jar.</p>
- <span class="no-left">: List</span>
+ <span class="no-left">: List
+<span class="no-left no-right">[</span>
+String
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
- <p>Expand single path entry</p>
+ <div class="member-body-short" id="short-body-expandS(pattern)">
+ <p>Expand single path entry</p>
+ </div>
+ <div class="member-body-long" id ="long-body-expandS(pattern)">
+ <p>Expand single path entry</p>
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="filter(cp,p)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'filter(cp,p)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5834,13 +6057,31 @@ relative to the location of the jar.</p>
</div><!-- end member-title -->
<div class="member-body">
- <p>Split the classpath, filter according to predicate, and reassemble.</p>
+ <div class="member-body-short" id="short-body-filter(cp,p)">
+ <p>Split the classpath, filter according to predicate, and reassemble.</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-filter(cp,p)">
+ <p>Split the classpath, filter according to predicate, and reassemble.</p>
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="fromPaths(paths)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'fromPaths(paths)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5882,13 +6123,31 @@ Path
</div><!-- end member-title -->
<div class="member-body">
- <p>Join the paths as a classpath</p>
+ <div class="member-body-short" id="short-body-fromPaths(paths)">
+ <p>Join the paths as a classpath</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-fromPaths(paths)">
+ <p>Join the paths as a classpath</p>
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="fromURLs(urls)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'fromURLs(urls)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5930,12 +6189,29 @@ URL
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-fromURLs(urls)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-fromURLs(urls)">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="isTraitImplementation(name)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'isTraitImplementation(name)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5974,12 +6250,29 @@ URL
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-isTraitImplementation(name)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-isTraitImplementation(name)">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="join(paths)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'join(paths)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6021,13 +6314,31 @@ String
</div><!-- end member-title -->
<div class="member-body">
- <p>Join classpath using platform-dependent path separator</p>
+ <div class="member-body-short" id="short-body-join(paths)">
+ <p>Join classpath using platform-dependent path separator</p>
+ </div>
+ <div class="member-body-long" id ="long-body-join(paths)">
+ <p>Join classpath using platform-dependent path separator</p>
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="makeAbsolute(cp)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'makeAbsolute(cp)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6066,13 +6377,31 @@ String
</div><!-- end member-title -->
<div class="member-body">
- <p>Make all classpath components absolute.</p>
+ <div class="member-body-short" id="short-body-makeAbsolute(cp)">
+ <p>Make all classpath components absolute.</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-makeAbsolute(cp)">
+ <p>Make all classpath components absolute.</p>
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="map(cp,f)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'map(cp,f)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6119,13 +6448,31 @@ String
</div><!-- end member-title -->
<div class="member-body">
- <p>Split the classpath, apply a transformation function, and reassemble it.</p>
+ <div class="member-body-short" id="short-body-map(cp,f)">
+ <p>Split the classpath, apply a transformation function, and reassemble it.</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-map(cp,f)">
+ <p>Split the classpath, apply a transformation function, and reassemble it.</p>
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="specToURL(spec)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'specToURL(spec)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6159,17 +6506,37 @@ String
- <span class="no-left">: Option</span>
+ <span class="no-left">: Option
+<span class="no-left no-right">[</span>
+URL
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-specToURL(spec)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-specToURL(spec)">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="split(path)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'split(path)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6203,18 +6570,39 @@ String
- <span class="no-left">: List</span>
+ <span class="no-left">: List
+<span class="no-left no-right">[</span>
+String
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
- <p>Split classpath using platform-dependent path separator</p>
+ <div class="member-body-short" id="short-body-split(path)">
+ <p>Split classpath using platform-dependent path separator</p>
+ </div>
+ <div class="member-body-long" id ="long-body-split(path)">
+ <p>Split classpath using platform-dependent path separator</p>
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="toPaths(cp)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'toPaths(cp)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6248,18 +6636,39 @@ String
- <span class="no-left">: List</span>
+ <span class="no-left">: List
+<span class="no-left no-right">[</span>
+Path
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
- <p>Split the classpath and map them into Paths</p>
+ <div class="member-body-short" id="short-body-toPaths(cp)">
+ <p>Split the classpath and map them into Paths</p>
+ </div>
+ <div class="member-body-long" id ="long-body-toPaths(cp)">
+ <p>Split the classpath and map them into Paths</p>
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="toSourceName(f)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'toSourceName(f)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6298,13 +6707,31 @@ String
</div><!-- end member-title -->
<div class="member-body">
- <p>From the source file to its identifier.</p>
+ <div class="member-body-short" id="short-body-toSourceName(f)">
+ <p>From the source file to its identifier.</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-toSourceName(f)">
+ <p>From the source file to its identifier.</p>
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="toURLs(cp)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'toURLs(cp)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6338,14 +6765,34 @@ String
- <span class="no-left">: List</span>
+ <span class="no-left">: List
+<span class="no-left no-right">[</span>
+URL
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
- <p>Split the classpath and map them into URLs</p>
+ <div class="member-body-short" id="short-body-toURLs(cp)">
+ <p>Split the classpath and map them into URLs</p>
+ </div>
+ <div class="member-body-long" id ="long-body-toURLs(cp)">
+ <p>Split the classpath and map them into URLs</p>
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
</div>