public final class NetworkUtils
extends java.lang.Object
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.
|
public static boolean homePageAvailable()
public static java.net.URL getURL(java.lang.String urlString)
MalformedURLException
,
but AssertionError
instead. Use with care.Copyright © 2003-2019 The KeY-Project.