Menu
▾
▴
javapathfinder-devel — development related topics (your place if you work with the sources)
You can subscribe to this list here.
| 2005 |
Jan
|
Feb
|
Mar
|
Apr
(9) |
May
(38) |
Jun
(13) |
Jul
(3) |
Aug
(14) |
Sep
(25) |
Oct
(44) |
Nov
(6) |
Dec
(2) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2006 |
Jan
(4) |
Feb
(14) |
Mar
(16) |
Apr
(2) |
May
(1) |
Jun
(2) |
Jul
(2) |
Aug
(1) |
Sep
(1) |
Oct
|
Nov
(3) |
Dec
(1) |
| 2007 |
Jan
(3) |
Feb
(39) |
Mar
(30) |
Apr
(31) |
May
(20) |
Jun
(72) |
Jul
(41) |
Aug
(78) |
Sep
(48) |
Oct
(59) |
Nov
(31) |
Dec
(47) |
| 2008 |
Jan
(18) |
Feb
(37) |
Mar
(45) |
Apr
(78) |
May
(16) |
Jun
|
Jul
(8) |
Aug
(10) |
Sep
(23) |
Oct
(10) |
Nov
(12) |
Dec
(1) |
| 2009 |
Jan
(4) |
Feb
|
Mar
(3) |
Apr
(1) |
May
(1) |
Jun
(1) |
Jul
|
Aug
|
Sep
(1) |
Oct
(3) |
Nov
(2) |
Dec
|
| 2010 |
Jan
(1) |
Feb
|
Mar
|
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2013 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(2) |
Oct
|
Nov
|
Dec
|
|
From: Taehoon L. <no...@gm...> - 2008-09-18 03:08:06
|
It is already solved. http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1003&view=rev 2008년 9월 18일 (목) 오후 7:01, John Penix <jp...@go...>님의 말: > Hi Taehoon, > > Did you look to see if there is an obvious problem in the code? > > Peter - should we track issues on SourceForge? (do we already to this?) > > John > > 2008/9/3 Taehoon Lee <no...@gm...>: > > example is atteched. > > > > The result of example on JPF is as follows. > > ------------------------------------- > > class void > > null > > class java.lang.Class > > class int > > class boolean > > class java.lang.String > > class void > > class void > > class void > > class void > > class void > > ------------------------------------ > > > > The result of example on JVM is as follows. > > ------------------------------------- > > void > > class java.io.File > > int > > class java.lang.Class > > void > > void > > void > > boolean > > class java.lang.String > > void > > void > > ----------------------------------- > > > > -- > > -- > > Taehoon Lee(이태훈) > > Ph.D candidate > > Kyonggi University , Korea > > > > > > ------------------------------------------------------------------------- > > This SF.Net email is sponsored by the Moblin Your Move Developer's > challenge > > Build the coolest Linux based applications with Moblin SDK & win great > > prizes > > Grand prize is a trip for two to an Open Source event anywhere in the > world > > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > > _______________________________________________ > > Javapathfinder-devel mailing list > > Jav...@li... > > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > > > > > -- -- Taehoon Lee(이태훈) Ph.D candidate Kyonggi University , Korea |
|
From: John P. <jp...@go...> - 2008-09-18 03:01:16
|
Hi Taehoon, Did you look to see if there is an obvious problem in the code? Peter - should we track issues on SourceForge? (do we already to this?) John 2008/9/3 Taehoon Lee <no...@gm...>: > example is atteched. > > The result of example on JPF is as follows. > ------------------------------------- > class void > null > class java.lang.Class > class int > class boolean > class java.lang.String > class void > class void > class void > class void > class void > ------------------------------------ > > The result of example on JVM is as follows. > ------------------------------------- > void > class java.io.File > int > class java.lang.Class > void > void > void > boolean > class java.lang.String > void > void > ----------------------------------- > > -- > -- > Taehoon Lee(이태훈) > Ph.D candidate > Kyonggi University , Korea > > > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's challenge > Build the coolest Linux based applications with Moblin SDK & win great > prizes > Grand prize is a trip for two to an Open Source event anywhere in the world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > > |
|
From: Michal K. <mic...@gm...> - 2008-09-17 09:14:25
|
Hi,
any news?
Michal
Michal Kebrt wrote:
> Hi,
>
> I have this piece of code (part of JUnit internals) run under JPF:
>
> public String getTrace() {
> StringWriter stringWriter= new StringWriter();
> PrintWriter writer= new PrintWriter(stringWriter);
> getException().printStackTrace(writer);
> StringBuffer buffer= stringWriter.getBuffer();
> return buffer.toString();
> }
>
> It always returns empty string which a surprise for me because I can't
> find StringWriter and PrintWriter classes implemented in JPF. Why JPF
> doesn't throw java.lang.UnsatisfiedLinkError? And is there a chance
> these classes will be implemented soon?
>
> Michal
|
|
From: Michal K. <mic...@gm...> - 2008-09-12 16:33:00
|
Hi,
I have this piece of code (part of JUnit internals) run under JPF:
public String getTrace() {
StringWriter stringWriter= new StringWriter();
PrintWriter writer= new PrintWriter(stringWriter);
getException().printStackTrace(writer);
StringBuffer buffer= stringWriter.getBuffer();
return buffer.toString();
}
It always returns empty string which a surprise for me because I can't find
StringWriter and PrintWriter classes implemented in JPF. Why JPF doesn't throw
java.lang.UnsatisfiedLinkError? And is there a chance these classes will be
implemented soon?
Michal
|
|
From: Michal K. <mic...@gm...> - 2008-09-12 14:35:55
|
I only want to read from such objects calling their getter methods. Strings,
numbers or other objects (like Throwable) are usually returned. I don't need no
modifications.
Michal
Darko Marinov wrote:
> What exactly do you want to do with that Description object? You're right
> that you can't directly map an object from JPF into JVM, but there are ways
> to work around that.
>
> Darko
>
>
> On Fri, 12 Sep 2008, Michal Kebrt wrote:
>
>> Hi,
>>
>> am I right that objects managed by JPF cannot be easily accessed in
>> native peer
>> methods? I mean, is there a possibility to access Description object
>> in the
>> following example or do I have to access it field by field?
>>
>> public static void testRunStartedNative(MJIEnv env, int robj, int
>> rDescription) {
>> // is this possible?
>> Description desc = (Description) env.someMethod(rDescription);
>> }
>>
|
|
From: Michal K. <mic...@gm...> - 2008-09-12 12:41:54
|
Hi,
am I right that objects managed by JPF cannot be easily accessed in native peer
methods? I mean, is there a possibility to access Description object in the
following example or do I have to access it field by field?
public static void testRunStartedNative(MJIEnv env, int robj, int rDescription) {
// is this possible?
Description desc = (Description) env.someMethod(rDescription);
}
Michal
|
|
From: Michal K. <mic...@gm...> - 2008-09-11 18:35:49
|
Peter C. Mehlitz wrote: > it doesn't have to be a static field. Your listeners are created > outside of JPF, so you can pass whatever shared object you want into > their constructors: > > .. > Config conf = JPF.createConfig(..) > SharedData shared = ... > Listener1 l1 = new Listener1(conf,..shared..); > Listener2 l2 = new Listener2(conf,..shared..); > JPF jpf = new JPF(conf); > jpf.addListener(l1); > jpf.addListener(l2); > jpf.run(); > .. > > A generic per-run object in the JPF instance wouldn't work because > Listeners shouldn't be forced to know about each other, and could > therefore easily compete for this field. That's clear. JPF listener (I won't need more than one) is ok, it is constructed in my code so I can pass whatever I want in its constructor. What is problem is JUnit listener called through native peers. Config object seems to be a good idea, thanks. > > So even if you need to share data between a native peer (static > methods) and a listener, this requires a per-run registry, and we > already have one - Config. You can stick whatever object you want in > there, it's just a Hashtable. Just make sure it doesn't contain a > conflicting key before you do so. > > -- Peter |
|
From: Peter C. M. <Pet...@na...> - 2008-09-11 16:56:20
|
it doesn't have to be a static field. Your listeners are created
outside of JPF, so you can pass whatever shared object you want into
their constructors:
..
Config conf = JPF.createConfig(..)
SharedData shared = ...
Listener1 l1 = new Listener1(conf,..shared..);
Listener2 l2 = new Listener2(conf,..shared..);
JPF jpf = new JPF(conf);
jpf.addListener(l1);
jpf.addListener(l2);
jpf.run();
..
A generic per-run object in the JPF instance wouldn't work because
Listeners shouldn't be forced to know about each other, and could
therefore easily compete for this field.
So even if you need to share data between a native peer (static
methods) and a listener, this requires a per-run registry, and we
already have one - Config. You can stick whatever object you want in
there, it's just a Hashtable. Just make sure it doesn't contain a
conflicting key before you do so.
-- Peter
On Sep 11, 2008, at 6:02 AM, Michal Kebrt wrote:
> I don't like the idea of a static field very much and will explain
> why. Suppose I have a JPFJUnit class which is a wrapper above JPF
> +JUnit and runs JUnit under pathfinder through the JPF class.
> JPFJUnit will be used from different kinds of applications to embed
> the test framework - e.g. from Eclipse plugin or Ant task.
>
> What happens when a JPFJUnit's static field is used for
> communication with JUnit's listener peer and is launched twice (e.g.
> on different test cases in Eclipse plugin) at the _same moment_.
> Then both peer instances will forward information to the same static
> field. I don't like this.
>
> I would like to have so called JPFJUnitListener that will receive
> information from both JPF and JUnit listeners. It could be used from
> a plugin in the following way:
>
> JPFJUnit jpfjunit = new JPFJUnit();
> // do some config on jpfjunit
> jpfjunit.addListener(new MyJPFJUnitListener());
> jpfjunit.run() {
> jpf = new JPF();
> // do some config on jpf
> jpf.setTag(listeners);
> jpf.run();
> }
>
> Michal
>
> Peter C. Mehlitz wrote:
>> Since this object would only be processed by your own listeners/
>> native peers, why don't you pass it directly between them (e.g. by
>> using a static field)?
>> -- Peter
|
|
From: Michal K. <mic...@gm...> - 2008-09-11 13:02:25
|
I don't like the idea of a static field very much and will explain why. Suppose
I have a JPFJUnit class which is a wrapper above JPF+JUnit and runs JUnit under
pathfinder through the JPF class. JPFJUnit will be used from different kinds of
applications to embed the test framework - e.g. from Eclipse plugin or Ant task.
What happens when a JPFJUnit's static field is used for communication with
JUnit's listener peer and is launched twice (e.g. on different test cases in
Eclipse plugin) at the _same moment_. Then both peer instances will forward
information to the same static field. I don't like this.
I would like to have so called JPFJUnitListener that will receive information
from both JPF and JUnit listeners. It could be used from a plugin in the
following way:
JPFJUnit jpfjunit = new JPFJUnit();
// do some config on jpfjunit
jpfjunit.addListener(new MyJPFJUnitListener());
jpfjunit.run() {
jpf = new JPF();
// do some config on jpf
jpf.setTag(listeners);
jpf.run();
}
Michal
Peter C. Mehlitz wrote:
> Since this object would only be processed by your own listeners/native
> peers, why don't you pass it directly between them (e.g. by using a
> static field)?
>
> -- Peter
>
|
|
From: Peter C. M. <Pet...@na...> - 2008-09-10 20:42:40
|
Since this object would only be processed by your own listeners/native peers, why don't you pass it directly between them (e.g. by using a static field)? -- Peter On Sep 10, 2008, at 4:53 AM, Michal Kebrt wrote: > Hi, > > will it be possible to extend JPF class so that it allows to pass a > custom > Object in it? I mean one getter and setter, for example Object > getTag() and void > setTag(Object o). > > I would like to access this object from my peer like: > MyObject o = (MyObject) env.getJPF().getTag(); > > You may have already read something about running JUnit under JPF > and collecting > output from JUnit listener in javapathfinder-user list. If I could > pass a custom > object to JPF object it would very easy to forward information from > listener's > peer outside into that object. > > Michal |
|
From: Michal K. <mic...@gm...> - 2008-09-10 11:53:22
|
Hi, will it be possible to extend JPF class so that it allows to pass a custom Object in it? I mean one getter and setter, for example Object getTag() and void setTag(Object o). I would like to access this object from my peer like: MyObject o = (MyObject) env.getJPF().getTag(); You may have already read something about running JUnit under JPF and collecting output from JUnit listener in javapathfinder-user list. If I could pass a custom object to JPF object it would very easy to forward information from listener's peer outside into that object. Michal |
|
From: Peter C. M. <Pet...@na...> - 2008-09-09 18:48:39
|
just look at Object.wait(). Blocking MJI methods have an upper and lower half - the upper one being responsible for registering the CG and rescheduling the insn/call, the lower one for doing whatever is required to complete the insn/call when it gets re-executed. The return value in the upper half doesn't matter, since it gets re- executed anyways -- Peter On Sep 9, 2008, at 4:08 AM, Taehoon Lee wrote: > Hi, > > When I implement MJI of java.net, it is hard that implementing a MJI > of method which can be blocked. > Such as ServerSocket.accept(), > > "The method blocks until a connection is made." > > Because MJI should return some object , I don't have any idea that > implement such status. > I've tryed "env.repeatInvocation();". However, infinite loop is > occured by it. > If you have any idea, Please let me know. > > -- > -- > Taehoon Lee(이태훈) > Ph.D candidate > Kyonggi University , Korea |
|
From: Taehoon L. <no...@gm...> - 2008-09-09 11:08:48
|
Hi, When I implement MJI of java.net, it is hard that implementing a MJI of method which can be blocked. Such as ServerSocket.accept(), "The method blocks until a connection is made." Because MJI should return some object , I don't have any idea that implement such status. I've tryed "env.repeatInvocation();". However, infinite loop is occured by it. If you have any idea, Please let me know. -- -- Taehoon Lee(이태훈) Ph.D candidate Kyonggi University , Korea |
|
From: Peter C. M. <Pet...@na...> - 2008-09-08 17:26:09
|
Thanks to Google's Summer of Code, and to Sandro Badame who took on
this challenge, we now have
Visual Java Pathfinder (VJP)
which is an EPL'ed Eclipse plugin that has it's own Sourceforge
project (incl. update site and website). Yes, that's standalone, no
more separate JPF project required, it's all in the jars. No more
hidden and out-of-sync Eclipse launch configurations. One clean, non-
flattened *.jpf mode property file per JPF application, which you can
keep in your system-under-test project, and you even get the property
editor for it (which also shows you the default values).
If you feel inclined to do so, please visit
http://visualjpf.sourceforge.net/
for the details, pester Sandro with questions & suggestions, or even
better - start to contribute. This is supposed to be a beginning, and
a community effort. We all know that Java Pathfinder can use some
sophisticated user interfaces.
-- Sandro & Peter
|
|
From: Taehoon L. <no...@gm...> - 2008-09-03 06:51:52
|
import java.io.File;
import java.lang.reflect.Method;
import org.apache.catalina.connector.Request;
import org.apache.catalina.connector.Response;
public class example {
public static void main(String[] args) {
try{
Class c=Class.forName("example");
Method[] m=c.getMethods();
for(Method method:m){
System.err.println(method.getReturnType());
}
}catch(Exception e ){e.printStackTrace();}
}
public File invoke(Request a , Response b){
return null;
}
}
|
|
From: Taehoon L. <no...@gm...> - 2008-09-01 13:33:41
|
Hi JPF members. When I work with Method class. In some cases, Infinite loop occur. I think it is caused by "env.handleClinitRequest(x.getRequiredClassInfo());" (JPF_java_lang_reflect_Method:86) If the statement does not exist, infinite loop does not occur. I have question. What's the meaning of the statement? |
|
From: Peter C. M. <Pet...@na...> - 2008-08-27 17:22:40
|
right - whenever there are non-conflicting changes or fixes outside your extension, please submit a patch to me. We should avoid copied code or branches wherever possible. With library abstractions, it's sometimes not possible (see java.lang.Math in symbc), and for that we have +vm.peer_packages to allow different packages for native peers, but I expect this to be an exception -- Peter On Aug 27, 2008, at 9:54 AM, John Penix wrote: > Hi Taehoon, > > I think that the problem is that NASA is using JFP, and if we start > putting things into env, it could impact their work. > > I can run your proposal past Peter. Do I understand correctly that > the problem is that if you need to modify a class that is already in > env, then you basically have to copy the code into env and make mods > to it? I agree, this is not a good idea since we will end up with > near duplicate code but no real version control. > > I think the answer might be to develop on a branch rather than in the > extensions directory. I'll start a discussion with Peter and cc you. > > John > > 2008/8/27 Taehoon Lee <no...@gm...>: >> Hi. >> >> When I working my project, There are two directories which contains >> basic >> classes(java.io , java.lang) -- the env directory and extension/ >> servlet >> directory >> The basic repository policy is simple. They are in extension/ >> servlet that >> all classes and methods which was modified or created by me >> However, I think this approach is not good. so I should suggest >> another >> repository policy >> >> When I need to implement a method(A) in class(B). >> >> 1) B is in env. but A is not in B : I would like to implement >> A in B >> which is in env. >> 2) B is not in env : I would like to >> implement A in >> B which is in extension/servlet. >> 3) B is in env. and A is in B : small changes -> >> env , large >> changes -> extension/servlet >> >> >> If you have any comment, please let me know. >> -- >> -- >> Taehoon Lee(이태훈) >> Ph.D candidate >> Kyonggi University , Korea >> >> >> ------------------------------------------------------------------------- >> This SF.Net email is sponsored by the Moblin Your Move Developer's >> challenge >> Build the coolest Linux based applications with Moblin SDK & win >> great >> prizes >> Grand prize is a trip for two to an Open Source event anywhere in >> the world >> http://moblin-contest.org/redirect.php?banner_id=100&url=/ >> _______________________________________________ >> Javapathfinder-devel mailing list >> Jav...@li... >> https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel >> >> > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's > challenge > Build the coolest Linux based applications with Moblin SDK & win > great prizes > Grand prize is a trip for two to an Open Source event anywhere in > the world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel |
|
From: John P. <jp...@go...> - 2008-08-27 16:55:09
|
doh! I see that I just ran the proposal past Peter! 2008/8/27 John Penix <jp...@go...>: > Hi Taehoon, > > I think that the problem is that NASA is using JFP, and if we start > putting things into env, it could impact their work. > > I can run your proposal past Peter. Do I understand correctly that > the problem is that if you need to modify a class that is already in > env, then you basically have to copy the code into env and make mods > to it? I agree, this is not a good idea since we will end up with > near duplicate code but no real version control. > > I think the answer might be to develop on a branch rather than in the > extensions directory. I'll start a discussion with Peter and cc you. > > John > > 2008/8/27 Taehoon Lee <no...@gm...>: >> Hi. >> >> When I working my project, There are two directories which contains basic >> classes(java.io , java.lang) -- the env directory and extension/servlet >> directory >> The basic repository policy is simple. They are in extension/servlet that >> all classes and methods which was modified or created by me >> However, I think this approach is not good. so I should suggest another >> repository policy >> >> When I need to implement a method(A) in class(B). >> >> 1) B is in env. but A is not in B : I would like to implement A in B >> which is in env. >> 2) B is not in env : I would like to implement A in >> B which is in extension/servlet. >> 3) B is in env. and A is in B : small changes -> env , large >> changes -> extension/servlet >> >> >> If you have any comment, please let me know. >> -- >> -- >> Taehoon Lee(이태훈) >> Ph.D candidate >> Kyonggi University , Korea >> >> >> ------------------------------------------------------------------------- >> This SF.Net email is sponsored by the Moblin Your Move Developer's challenge >> Build the coolest Linux based applications with Moblin SDK & win great >> prizes >> Grand prize is a trip for two to an Open Source event anywhere in the world >> http://moblin-contest.org/redirect.php?banner_id=100&url=/ >> _______________________________________________ >> Javapathfinder-devel mailing list >> Jav...@li... >> https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel >> >> > |
|
From: John P. <jp...@go...> - 2008-08-27 16:54:25
|
Hi Taehoon, I think that the problem is that NASA is using JFP, and if we start putting things into env, it could impact their work. I can run your proposal past Peter. Do I understand correctly that the problem is that if you need to modify a class that is already in env, then you basically have to copy the code into env and make mods to it? I agree, this is not a good idea since we will end up with near duplicate code but no real version control. I think the answer might be to develop on a branch rather than in the extensions directory. I'll start a discussion with Peter and cc you. John 2008/8/27 Taehoon Lee <no...@gm...>: > Hi. > > When I working my project, There are two directories which contains basic > classes(java.io , java.lang) -- the env directory and extension/servlet > directory > The basic repository policy is simple. They are in extension/servlet that > all classes and methods which was modified or created by me > However, I think this approach is not good. so I should suggest another > repository policy > > When I need to implement a method(A) in class(B). > > 1) B is in env. but A is not in B : I would like to implement A in B > which is in env. > 2) B is not in env : I would like to implement A in > B which is in extension/servlet. > 3) B is in env. and A is in B : small changes -> env , large > changes -> extension/servlet > > > If you have any comment, please let me know. > -- > -- > Taehoon Lee(이태훈) > Ph.D candidate > Kyonggi University , Korea > > > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's challenge > Build the coolest Linux based applications with Moblin SDK & win great > prizes > Grand prize is a trip for two to an Open Source event anywhere in the world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > > |
|
From: Taehoon L. <no...@gm...> - 2008-08-27 13:59:41
|
Hi. When I working my project, There are two directories which contains basic classes(java.io , java.lang) -- the env directory and extension/servlet directory The basic repository policy is simple. They are in extension/servlet that all classes and methods which was modified or created by me However, I think this approach is not good. so I should suggest another repository policy When I need to implement a method(A) in class(B). 1) B is in env. but A is not in B : I would like to implement A in B which is in env. 2) B is not in env : I would like to implement A in B which is in extension/servlet. 3) B is in env. and A is in B : small changes -> env , large changes -> extension/servlet If you have any comment, please let me know. -- -- Taehoon Lee(이태훈) Ph.D candidate Kyonggi University , Korea |
|
From: Taehoon L. <no...@gm...> - 2008-08-24 17:48:46
|
How do you think about Korea? If you select Korea, I can do something for Workshop. Taehoon Lee 2008/5/9 Corina Pasareanu <Cor...@na...> > Maybe Japan? > > Corina > > Peter C. Mehlitz wrote: > > Before it's old news - thanks everybody for attending the JPF > > workshop and for making it such a great event! Special thanks to our > > hosts from Fujitsu, without whom this would not have been possible. > > > > I have started to put the slides up on the events schedule page > > > > http://javapathfinder.sourceforge.net/events/JPF-workshop-050108/ > > workshop-0508-schedule.html > > > > which has a "Downloadable presentation material" section at the end > > of each talk. There are still a few presentations missing, which I > > will upload as soon as I get them. > > > > Time to start working on next years workshop? You bet. Maybe we > > should start looking for exotic locations. > > > > -- Peter > > > > > > --------------------------------------------------------------------- > > Peter C. Mehlitz Robust Software Engineering Group > > PSGS/NASA Ames Research Center Pet...@na... > > M/S 269-3 http://ti.arc.nasa.gov/people/mehlitz > > Moffett Field, CA 94035 (650) 604-1682 > > > > > > > > > > > > ------------------------------------------------------------------------- > > This SF.net email is sponsored by the 2008 JavaOne(SM) Conference > > Don't miss this year's exciting event. There's still time to save $100. > > Use priority code J8TL2D2. > > > http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone > > _______________________________________________ > > Javapathfinder-devel mailing list > > Jav...@li... > > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > > > > > ------------------------------------------------------------------------- > This SF.net email is sponsored by the 2008 JavaOne(SM) Conference > Don't miss this year's exciting event. There's still time to save $100. > Use priority code J8TL2D2. > > http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > |
|
From: Peter C. M. <Pet...@na...> - 2008-08-13 20:11:19
|
Hi Sree, thanks for your interest - you are welcome to work on JPF. The best place to start would be the JPF website, which has some HTML documentation about how to obtain, build and use JPF. It also describes the key extension mechanisms like VM/SearchListeners, MJI (for native libraries) and ChoiceGenerators. Please have a look to see at which level you want to contribute. JPF has a number of 'extension' projects (each in their own directory structure/sandboxes), which are convenient to start playing with it without having to deal with core modifications. Get an idea what you want to work on (model checking functionality, new property listeners, profiling/optimizations, library abstractions etc.) and we go from there -- Peter On Aug 9, 2008, at 5:17 PM, sree aurovindh viswanathan wrote: > Sir/Madam, > i am a student pursuing under graduation ,a sun certified programmer > java programmer who would like to participate in JPF projects.I am > totally new to the Open source development and to the JPF .I would > like to contribute to this project.May i know from where i could get > to know much details regarding the project.If possible please do > suggest me the area i can take to do some work.since i am a novice > in this please do guide me so that i can contribute to the JPF > Project. > > Regards > > Sree Aurovindh > India |
|
From: sree a. v. <sre...@ya...> - 2008-08-10 00:17:42
|
Sir/Madam,
i am a student pursuing under graduation ,a sun certified programmer java programmer who would like to participate in JPF projects.I am totally new to the Open source development and to the JPF .I would like to contribute to this project.May i know from where i could get to know much details regarding the project.If possible please do suggest me the area i can take to do some work.since i am a novice in this please do guide me so that i can contribute to the JPF Project.
Regards
Sree Aurovindh
India
Unlimited freedom, unlimited storage. Get it now, on http://help.yahoo.com/l/in/yahoo/mail/yahoomail/tools/tools-08.html/ |
|
From: Peter C. M. <Pet...@na...> - 2008-08-03 19:40:49
|
you are right. The UNBLOCKED thread still has to re-acquire the monitor before it can run again -- Peter > Hi, > > I've a problem with understanding what is the difference between > UNBLOCKED and RUNNING thread state. From my investigation it seems > that > thread is in UNBLOCKED state when it has been notified but waits to > acquire a monitor in where wait() has been called, after that it moves > to RUNNING state. Am I right ? > > Yours sincerely > > Mateusz Ujma |
|
From: Cato P. <ca...@if...> - 2008-08-03 18:09:45
|
Hey, a couple oddities for the System class. First of all, arrayCopy is not usable for me I'm afraid. JPF crashes ungracefully every time I try to use it when doing manipulations on the collections I'm implementing for the MJI level. As of now I have ad-hoc code to copy over the elements from one collection to another, I will mark out every place where this occur so it can be replaced with a proper arrayCopy call in the future. Secondly, when calling System.out.println() on a HashMap collection, the print reveals key and value of every item, basically like this 'name of key' = 'content of value'. This is probably intentional, however my 2 cents is that it should just reveal the value. Back to work for me :-) Best regards, Cato |
