de.uka.ilkd.key.util.net

Class NetworkUtils

java.lang.Object

de.uka.ilkd.key.util.net.NetworkUtils

public final class NetworkUtils
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private static java.net.URL	KEY_URL
private static java.net.URL	LATEST_VERSION_URL

Constructor Summary

Constructors

Constructor and Description
NetworkUtils()

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

KEY_URL

private static final java.net.URL KEY_URL

LATEST_VERSION_URL

private static final java.net.URL LATEST_VERSION_URL

Constructor Detail

NetworkUtils

public NetworkUtils()

Method Detail

homePageAvailable

public static boolean homePageAvailable()

Tests whether the KeY Project home page is accessible over the internet.

getURL

public static java.net.URL getURL(java.lang.String urlString)

Create an URL without raising MalformedURLException, but AssertionError instead. Use with care.