|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use URI | |
java.io | JML Specifications for the corresponding types in the Java Developement Kit (JDK). |
java.net | JML Specifications for the corresponding types in the Java Developement Kit (JDK). |
Uses of URI in java.io |
Methods in java.io that return URI | |
URI |
File.toURI()
|
Constructors in java.io with parameters of type URI | |
File(URI uri)
|
Uses of URI in java.net |
Methods in java.net that return URI | |
static URI |
URI.create(String str)
|
URI |
URI.parseServerAuthority()
|
URI |
URI.normalize()
|
URI |
URI.resolve(URI uri)
|
URI |
URI.resolve(String str)
|
URI |
URI.relativize(URI uri)
|
Methods in java.net with parameters of type URI | |
URI |
URI.resolve(URI uri)
|
URI |
URI.relativize(URI uri)
|
|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |