de.uka.ilkd.key.util

Class TipOfTheDay

java.lang.Object

de.uka.ilkd.key.util.TipOfTheDay

public final class TipOfTheDay
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private static java.util.Random	r
private static java.lang.String[]	TIPS
private static boolean	USE_INTERNET

Constructor Summary

Constructors

Constructor and Description
TipOfTheDay()

Method Summary

Modifier and Type	Method and Description
static java.lang.String	get() Randomly select a string
private static java.lang.String[]	getTips(boolean online) Read strings from file and the internet.
private static java.lang.String[]	getTipsFromFile()
private static java.lang.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 java.util.Random r

TIPS

private static final java.lang.String[] TIPS

Constructor Detail

TipOfTheDay

public TipOfTheDay()

Method Detail

get

public static java.lang.String get()

Randomly select a string

getTips

private static java.lang.String[] getTips(boolean online)

Read strings from file and the internet.

Parameters:

online - whether to read from the internet

getTipsFromFile

private static java.lang.String[] getTipsFromFile()
                                           throws java.io.IOException

Throws:

java.io.IOException

getTipsOnline

private static java.lang.String[] getTipsOnline()
                                         throws java.io.IOException

Throws:

java.io.IOException