Java Doc for KeYInstallerGUI.java in » Testing » KeY » de » uka » ilkd » key » util » install » Java Source Code / Java DocumentationJava Source Code and Java Documentation
Java Source Code / Java Documentation
1.
6.0 JDK Core
2.
6.0 JDK Modules
3.
6.0 JDK Modules com.sun
4.
6.0 JDK Modules com.sun.java
5.
6.0 JDK Modules sun
6.
6.0 JDK Platform
7.
Ajax
8.
Apache Harmony Java SE
9.
Aspect oriented
10.
Authentication Authorization
11.
Blogger System
12.
Build
13.
Byte Code
14.
Cache
15.
Chart
16.
Chat
17.
Code Analyzer
18.
Collaboration
19.
Content Management System
20.
Database Client
21.
Database DBMS
22.
Database JDBC Connection Pool
23.
Database ORM
24.
Development
25.
EJB Server geronimo
26.
EJB Server GlassFish
27.
EJB Server JBoss 4.2.1
28.
EJB Server resin 3.1.5
29.
ERP CRM Financial
30.
ESB
31.
Forum
32.
GIS
33.
Graphic Library
34.
Groupware
35.
HTML Parser
36.
IDE
37.
IDE Eclipse
38.
IDE Netbeans
39.
Installer
40.
Internationalization Localization
41.
Inversion of Control
42.
Issue Tracking
43.
J2EE
44.
JBoss
45.
JMS
46.
JMX
47.
Library
48.
Mail Clients
49.
Net
50.
Parser
51.
PDF
52.
Portal
53.
Profiler
54.
Project Management
55.
Report
56.
RSS RDF
57.
Rule Engine
58.
Science
59.
Scripting
60.
Search Engine
61.
Security
62.
Sevlet Container
63.
Source Control
64.
Swing Library
65.
Template Engine
66.
Test Coverage
67.
Testing
68.
UML
69.
Web Crawler
70.
Web Framework
71.
Web Mail
72.
Web Server
73.
Web Services
74.
Web Services apache cxf 2.0.1
75.
Web Services AXIS2
76.
Wiki Engine
77.
Workflow Engines
78.
XML
79.
XML UI
Java
Java Tutorial
Java Open Source
Jar File Download
Java Articles
Java Products
Java by API
Photoshop Tutorials
Maya Tutorials
Flash Tutorials
3ds-Max Tutorials
Illustrator Tutorials
GIMP Tutorials
C# / C Sharp
C# / CSharp Tutorial
C# / CSharp Open Source
ASP.Net
ASP.NET Tutorial
JavaScript DHTML
JavaScript Tutorial
JavaScript Reference
HTML / CSS
HTML CSS Reference
C / ANSI-C
C Tutorial
C++
C++ Tutorial
Ruby
PHP
Python
Python Tutorial
Python Open Source
SQL Server / T-SQL
SQL Server / T-SQL Tutorial
Oracle PL / SQL
Oracle PL/SQL Tutorial
PostgreSQL
SQL / MySQL
MySQL Tutorial
VB.Net
VB.Net Tutorial
Flash / Flex / ActionScript
VBA / Excel / Access / Word
XML
XML Tutorial
Microsoft Office PowerPoint 2007 Tutorial
Microsoft Office Excel 2007 Tutorial
Microsoft Office Word 2007 Tutorial
Java Source Code / Java Documentation
»
Testing
»
KeY
»
de.uka.ilkd.key.util.install
Source Cross Reference
Class Diagram
Java Document (Java Doc)
java.lang
.Object
de.uka.ilkd.key.util.install
.KeYInstaller
de.uka.ilkd.key.util.install
.KeYInstallerUI
de.uka.ilkd.key.util.install
.KeYInstallerGUI
KeYInstallerGUI
public
class KeYInstallerGUI extends
KeYInstallerUI
(Code)
Inner Class :
abstract
static class ChangeListenerWithButton implements
ChangeListener
,
ContainerListener
Constructor Summary
public
KeYInstallerGUI
(
String
keyHome,
String
keyLib,
String
javaHome,
String
keyJarPath,
String
os)
Method Summary
public
void
addInstallationPane
(
InstallationPane
pane)
public
void
dispose
()
public
void
pack
()
public
InstallationPane
pane
(int index)
public
int
paneCount
()
public
void
requestFocus
()
protected
Container
setDefaultButtonPanel
()
public
void
setHeader
(
JLabel
header)
public
void
setVisible
(boolean b)
public
void
start
()
Constructor Detail
KeYInstallerGUI
public
KeYInstallerGUI(
String
keyHome,
String
keyLib,
String
javaHome,
String
keyJarPath,
String
os)
(Code)
Method Detail
addInstallationPane
public
void addInstallationPane(
InstallationPane
pane)
(Code)
dispose
public
void dispose()
(Code)
pack
public
void pack()
(Code)
pane
public
InstallationPane
pane(int index)
(Code)
paneCount
public
int paneCount()
(Code)
requestFocus
public
void requestFocus()
(Code)
setDefaultButtonPanel
protected
Container
setDefaultButtonPanel()
(Code)
setHeader
public
void setHeader(
JLabel
header)
(Code)
setVisible
public
void setVisible(boolean b)
(Code)
start
public
void start()
(Code)
Methods inherited from
de.uka.ilkd.key.util.install.KeYInstallerUI
public
boolean containsChar(char c, char[] chars)
(Code)
(Java Doc)
public
String
trim(
String
s, int nr)
(Code)
(Java Doc)
Methods inherited from
de.uka.ilkd.key.util.install.KeYInstaller
public
String
binaryPath()
(Code)
(Java Doc)
public
String
[] checkLibraries()
(Code)
(Java Doc)
protected
String
comment(
String
comment)
(Code)
(Java Doc)
protected
String
configFileName()
(Code)
(Java Doc)
protected
String
configFilePath()
(Code)
(Java Doc)
public
String
configPath()
(Code)
(Java Doc)
protected
String
configPatternName()
(Code)
(Java Doc)
protected
String
configPatternPath()
(Code)
(Java Doc)
public
void copy(
File
file,
String
to) throws
KeYInstallerException
(Code)
(Java Doc)
protected
String
environment()
(Code)
(Java Doc)
protected
void extractExamples(
JarFile
jarFile) throws
KeYInstallerException
(Code)
(Java Doc)
public
void extractFromJar(
String
entrypath,
String
writetopath,
String
filename,
JarFile
jarFile) throws
KeYInstallerException
(Code)
(Java Doc)
protected
void extractTgScripts(
JarFile
jarFile) throws
KeYInstallerException
(Code)
(Java Doc)
public
void generateScripts(
JarFile
jarFile) throws
KeYInstallerException
(Code)
(Java Doc)
public
String
javaHome()
(Code)
(Java Doc)
public
void javaHome(
String
dir)
(Code)
(Java Doc)
public
String
keyHome()
(Code)
(Java Doc)
public
void keyHome(
String
dir)
(Code)
(Java Doc)
public
String
keyJarFile()
(Code)
(Java Doc)
public
String
keyJarPath()
(Code)
(Java Doc)
public
void keyJarPath(
String
dir)
(Code)
(Java Doc)
public
String
keyLib()
(Code)
(Java Doc)
public
void keyLib(
String
dir)
(Code)
(Java Doc)
public
String
keyextjarsPath()
(Code)
(Java Doc)
public
String
keypatternsPath()
(Code)
(Java Doc)
public
String
keyscriptsPath()
(Code)
(Java Doc)
public
String
[] libs()
(Code)
(Java Doc)
public
void mkdirs()
(Code)
(Java Doc)
public
String
os()
(Code)
(Java Doc)
public
void os(
String
os)
(Code)
(Java Doc)
abstract
public
void start()
(Code)
(Java Doc)
protected
String
startProverScriptFileName()
(Code)
(Java Doc)
protected
String
startProverScriptFilePath()
(Code)
(Java Doc)
protected
String
startProverScriptPatternName()
(Code)
(Java Doc)
protected
String
startProverScriptPatternPath()
(Code)
(Java Doc)
protected
String
startScriptFileName()
(Code)
(Java Doc)
protected
String
startScriptFilePath()
(Code)
(Java Doc)
protected
String
startScriptPatternName()
(Code)
(Java Doc)
protected
String
startScriptPatternPath()
(Code)
(Java Doc)
public
String
[] supportedOS()
(Code)
(Java Doc)
public
String
[] supportedTgVersion()
(Code)
(Java Doc)
public
String
systemPath()
(Code)
(Java Doc)
public
String
togetherHome()
(Code)
(Java Doc)
public
void togetherHome(
String
dir)
(Code)
(Java Doc)
public
String
togetherVersion()
(Code)
(Java Doc)
public
void togetherVersion(
String
vers)
(Code)
(Java Doc)
protected
String
variable(
String
variable,
String
value)
(Code)
(Java Doc)
Methods inherited from
java.lang.Object
native
protected
Object
clone() throws
CloneNotSupportedException
(Code)
(Java Doc)
public
boolean equals(
Object
obj)
(Code)
(Java Doc)
protected
void finalize() throws
Throwable
(Code)
(Java Doc)
final native
public
Class
> getClass()
(Code)
(Java Doc)
native
public
int hashCode()
(Code)
(Java Doc)
final native
public
void notify()
(Code)
(Java Doc)
final native
public
void notifyAll()
(Code)
(Java Doc)
public
String
toString()
(Code)
(Java Doc)
final native
public
void wait(long timeout) throws
InterruptedException
(Code)
(Java Doc)
final
public
void wait(long timeout, int nanos) throws
InterruptedException
(Code)
(Java Doc)
final
public
void wait() throws
InterruptedException
(Code)
(Java Doc)
www.java2java.com
|
Contact Us
Copyright 2009 - 12 Demo Source and Support. All rights reserved.
All other trademarks are property of their respective owners.