de.uka.ilkd.key.util

Class TipOfTheDay

java.lang.Object

de.uka.ilkd.key.util.TipOfTheDay

public final class TipOfTheDay
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
private static Random	r
private static String[]	TIPS
private static boolean	USE_INTERNET

Constructor Summary

Constructors

Constructor and Description
TipOfTheDay()

Method Summary

Modifier and Type	Method and Description
static String	get() Randomly select a string
private static String[]	getTips(boolean online) Read strings from file and the internet.
private static String[]	getTipsFromFile()
private static String[]	getTipsOnline()

Methods inherited from class java.lang.Object

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

Field Detail

USE_INTERNET

private static final boolean USE_INTERNET

See Also:

Constant Field Values

r

private static final Random r

TIPS

private static final String[] TIPS

Constructor Detail

TipOfTheDay

public TipOfTheDay()

Method Detail

get

public static String get()

Randomly select a string

getTips

private static String[] getTips(boolean online)

Read strings from file and the internet.

Parameters:

online - whether to read from the internet

getTipsFromFile

private static String[] getTipsFromFile()
                                 throws IOException

Throws:

IOException

getTipsOnline

private static String[] getTipsOnline()
                               throws IOException

Throws:

IOException