Skip to main content

alphaWorks  >  Forums  >  FoCuS  >  developerWorks

[FoCUS] How can I invoke FoCUS?    Point your RSS reader here for a feed of the latest messages in this thread


     

 
 

My developerWorks
 Welcome, Guest
Sign in or register
This question is not answered.

Permlink Replies: 1 - Pages: 1 - Last Post: Jul 23, 2008 3:18 AM Last Post By: Yarden Threads: [ Previous | Next ]
MoonJoongHee

Posts: 1
Registered: Jul 11, 2008 01:05:28 AM
[FoCUS] How can I invoke FoCUS?
Posted: Jul 11, 2008 01:13:19 AM
 
Click to report abuse...   Click to reply to this thread Reply
Hello,

I tried to invoke 'FoCUS' but I saw a message below. My pc environment is like this.
Windows xp(x86), jdk 1.6

In a below message, I can't understand what 'javac.bat' is, which is not in jdk 1.5 or jdk 1.6.

I ask for you advice. Thank you....

<hr />
FoCuS, version: 1.4.3.2
build: Tue Sep 25 11:43:23 KST 2007
(c) Copyright IBM Corporation (1999, 2007), ALL RIGHTS RESERVED.
Exception in thread "main" com.ibm.contest.shared.JavaCompilerException: java.io
.FileNotFoundException: C:\Program Files\Java\jre1.6.0_07\bin\javac.bat does not
exist (not a JDK?)
at com.ibm.contest.shared.InProcessJavaCompiler.<init>(InProcessJavaComp
iler.java:40)
at com.ibm.focus.Restrictions.createJavaCompiler(Restrictions.java:105)
at com.ibm.focus.Focus.main(Focus.java:22)
Caused by: java.io.FileNotFoundException: C:\Program Files\Java\jre1.6.0_07\bin\
javac.bat does not exist (not a JDK?)
at com.ibm.contest.shared.JavaProgramsHandler.<init>(JavaProgramsHandler
.java:50)
at com.ibm.contest.shared.JavaProgramsHandler.<init>(JavaProgramsHandler
.java:24)
at com.ibm.contest.shared.InProcessJavaCompiler.<init>(InProcessJavaComp
iler.java:38)
... 2 more

D:\FoCuS>pause

Yarden

Posts: 38
Registered: Sep 20, 2005 06:05:47 AM
Re: [FoCUS] How can I invoke FoCUS?
Posted: Jul 23, 2008 03:18:08 AM   in response to: MoonJoongHee in response to: MoonJoongHee's post
 
Click to report abuse...   Click to reply to this thread Reply
Are you sure that the Java you use is a JDK and not merely JRE? Usually JDK contains javac. Focus requires a full JDK (although we may soon support JRE, with version 1.6 or higher).

Yarden Nir-Buchbinder
Software Testing, Verification and Review Methodologies
FoCuS development
IBM Haifa Research Lab
Tel. 972-4-8296010

Point your RSS reader here for a feed of the latest messages in all forums