de.uka.ilkd.key.core

Class WebstartMain

java.lang.Object

de.uka.ilkd.key.core.WebstartMain

public class WebstartMain
extends java.lang.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 java.io.File	createTempDirectory()
static void	main(java.lang.String[] args)
static java.io.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 java.io.File setupExamples()

createTempDirectory

private static java.io.File createTempDirectory()
                                         throws java.io.IOException

Throws:

java.io.IOException

main

public static void main(java.lang.String[] args)