public final class NetworkUtils extends Object
Modifier and Type | Field and Description |
---|---|
private static URL |
KEY_URL |
private static URL |
LATEST_VERSION_URL |
Constructor and Description |
---|
NetworkUtils() |
Modifier and Type | Method and Description |
---|---|
static URL |
getURL(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 URL KEY_URL
private static final URL LATEST_VERSION_URL
public static boolean homePageAvailable()
public static URL getURL(String urlString)
MalformedURLException
,
but AssertionError
instead. Use with care.