de.uka.ilkd.key.core

Class WebstartMain

java.lang.Object

de.uka.ilkd.key.core.WebstartMain

public class WebstartMain
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
private static int	BUFFER_SIZE

Constructor Summary

Constructors

Constructor and Description
WebstartMain()

Method Summary

Modifier and Type	Method and Description
private static File	createTempDirectory()
static void	main(String[] args)
static File	setupExamples()

Methods inherited from class java.lang.Object

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

Field Detail

BUFFER_SIZE

private static final int BUFFER_SIZE

See Also:

Constant Field Values

Constructor Detail

WebstartMain

public WebstartMain()

Method Detail

setupExamples

public static File setupExamples()

createTempDirectory

private static File createTempDirectory()
                                 throws IOException

Throws:

IOException

main

public static void main(String[] args)