public final class NetworkUtils
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private static java.net.URL |
KEY_URL |
private static java.net.URL |
LATEST_VERSION_URL |
Constructor and Description |
---|
NetworkUtils() |
Modifier and Type | Method and Description |
---|---|
static java.net.URL |
getURL(java.lang.String urlString)
Create an URL without raising
MalformedURLException ,
but AssertionError instead. |
static boolean |
homePageAvailable()
Tests whether the KeY Project home page is
accessible over the internet.
|
private static final java.net.URL KEY_URL
private static final java.net.URL LATEST_VERSION_URL
public static boolean homePageAvailable()
public static java.net.URL getURL(java.lang.String urlString)
MalformedURLException
,
but AssertionError
instead. Use with care.