Groups
Sign in
Groups
cofoja
Conversations
About
Send feedback
Help
cofoja
Contact owners and managers
1–30 of 60
Mark all as read
Report group
0 selected
robert cooke
, …
Gachoud Philippe
7
8/23/21
java.lang.NoClassDefFoundError: com/sun/tools/javac/main/OptionName
Would like to be able to include that with mvn repo. Any possiblity do do that without having to do
unread,
java.lang.NoClassDefFoundError: com/sun/tools/javac/main/OptionName
Would like to be able to include that with mvn repo. Any possiblity do do that without having to do
8/23/21
Bilal Waqar
3/28/21
Null object or null reference in list
Hi Group, I am working on project to use cofoja to write contracts and I am stuck at place where I
unread,
Null object or null reference in list
Hi Group, I am working on project to use cofoja to write contracts and I am stuck at place where I
3/28/21
Bill Foote
2/20/19
Cofoja and Kotlin
Hi. General question here -- has anyone looked into integrating Cofoja and Kotlin? From a quick scan
unread,
Cofoja and Kotlin
Hi. General question here -- has anyone looked into integrating Cofoja and Kotlin? From a quick scan
2/20/19
petark...@gmail.com
,
Bharat Jayaraman
3
1/23/19
error in contract: package javax.persistence does not exist - invalid classpath?
Hi Peter, Sorry for the delayed reply, but glad you figured it out. Attached are notes that I made on
unread,
error in contract: package javax.persistence does not exist - invalid classpath?
Hi Peter, Sorry for the delayed reply, but glad you figured it out. Attached are notes that I made on
1/23/19
Bharat Jayaraman
3
11/5/18
Contracts are not being checked
I should have added that the IOException is not reported on the Console but was occurring somewhere
unread,
Contracts are not being checked
I should have added that the IOException is not reported on the Console but was occurring somewhere
11/5/18
David Squire
,
Nhat Minh Lê
4
4/18/18
Cofoja and Java 9 - known issues?
You can use the unbundled JAR file for Cofoja which doesn't include ASM and then put a more
unread,
Cofoja and Java 9 - known issues?
You can use the unbundled JAR file for Cofoja which doesn't include ASM and then put a more
4/18/18
David Squire
,
Nhat Minh Lê
3
5/13/17
.jar built for Java 1.8?
Many thanks for that. It didn't solve my problem - but that in itself was useful. It told me the
unread,
.jar built for Java 1.8?
Many thanks for that. It didn't solve my problem - but that in itself was useful. It told me the
5/13/17
Dipak Jadhav
3/17/16
PreCondtions are never execusted
Hi All, Class: @Invariant(value = { "null!=content", "!content.trim().isEmpty()"
unread,
PreCondtions are never execusted
Hi All, Class: @Invariant(value = { "null!=content", "!content.trim().isEmpty()"
3/17/16
Max Pei
,
Nhat Minh Lê
2
2/3/16
Problem in using cofoja with Eclipse Mars
Looking at the code, it seems it's simply missing a null check on line 173 in getJavacOptions. It
unread,
Problem in using cofoja with Eclipse Mars
Looking at the code, it seems it's simply missing a null check on line 173 in getJavacOptions. It
2/3/16
Nhat Minh Lê
,
Jorge Sanz Pérez
8
12/21/15
Re: Eclipse Error: cannot find or load main class –javaagent:lib.cofoja-1.2-20140817.jar
How can I compile it? El sábado, 19 de diciembre de 2015, 17:06:43 (UTC+1), Nhat Minh Lê escribió:
unread,
Re: Eclipse Error: cannot find or load main class –javaagent:lib.cofoja-1.2-20140817.jar
How can I compile it? El sábado, 19 de diciembre de 2015, 17:06:43 (UTC+1), Nhat Minh Lê escribió:
12/21/15
shweta
11/10/15
Compile time checking with cofoja
I read that compile time checking is possible with cofoja. Can someone provide an example?
unread,
Compile time checking with cofoja
I read that compile time checking is possible with cofoja. Can someone provide an example?
11/10/15
Bryan
9/2/15
Error in Contract - Cannot find Symbol : ...$com$google$java$contract$H
Hi, I'm new to cofoja and I am trying to get my Intellij IDEA project to compile with contracts
unread,
Error in Contract - Cannot find Symbol : ...$com$google$java$contract$H
Hi, I'm new to cofoja and I am trying to get my Intellij IDEA project to compile with contracts
9/2/15
José María
,
Nhat Minh Lê
4
7/4/15
Cofoja 1.2 not working
Sorry about the late reply; the only thing I can think of at the moment would be if you were relying
unread,
Cofoja 1.2 not working
Sorry about the late reply; the only thing I can think of at the moment would be if you were relying
7/4/15
yu wen ng
,
Jean-Simon LaRochelle
2
5/14/15
Views on Design By Contract
Design by Contract does not have any disadvantages if it is well supported by the language or
unread,
Views on Design By Contract
Design by Contract does not have any disadvantages if it is well supported by the language or
5/14/15
Larry Fitzgerald
,
Nhat Minh Lê
2
5/1/15
Error: Could not find or load main class –javaagent
Hi, The command-line that you quoted contains an en-dash instead of an hyphen in –javaagent; should
unread,
Error: Could not find or load main class –javaagent
Hi, The command-line that you quoted contains an en-dash instead of an hyphen in –javaagent; should
5/1/15
Sasha Naidoo
,
Nhat Minh Lê
5
4/10/15
Can't get CofoJa to work
Oh and another question, do you have any sample code for JUnit? Something that checks that the
unread,
Can't get CofoJa to work
Oh and another question, do you have any sample code for JUnit? Something that checks that the
4/10/15
Nhat Minh Lê
,
David "Morgan" Morgan
2
8/18/14
Cofoja 1.2 released with Java 8 support
Exciting stuff. Thanks Nhat! On 17 August 2014 12:11, Nhat Minh Lê <nhat.m...@gmail.com>
unread,
Cofoja 1.2 released with Java 8 support
Exciting stuff. Thanks Nhat! On 17 August 2014 12:11, Nhat Minh Lê <nhat.m...@gmail.com>
8/18/14
Agustin BERROCAL MENA
,
Nhat Minh Lê
2
6/11/14
Java 8 & CoFoJa
Hi, I am well aware that users have been asking for Java 8 support, and someone even sent me a patch
unread,
Java 8 & CoFoJa
Hi, I am well aware that users have been asking for Java 8 support, and someone even sent me a patch
6/11/14
José María
2
4/22/14
Solution for cofoja/lombok conflict with maven
Sorry, I thought it worked but it doesn't :-( El domingo, 20 de abril de 2014 13:21:15 UTC+2,
unread,
Solution for cofoja/lombok conflict with maven
Sorry, I thought it worked but it doesn't :-( El domingo, 20 de abril de 2014 13:21:15 UTC+2,
4/22/14
Roy Truelove
,
José María
3
3/15/14
Release 2.0
Warning! I don't recommended it. It's not bundled with ASM 4.1. El jueves, 6 de marzo de 2014
unread,
Release 2.0
Warning! I don't recommended it. It's not bundled with ASM 4.1. El jueves, 6 de marzo de 2014
3/15/14
José María
,
Nhat Minh Lê
4
3/6/14
monitoring only preconditions
Oh, great! Thank you very much, Nhat! :-) El jueves, 6 de marzo de 2014 21:05:56 UTC+1, Nhat Minh Lê
unread,
monitoring only preconditions
Oh, great! Thank you very much, Nhat! :-) El jueves, 6 de marzo de 2014 21:05:56 UTC+1, Nhat Minh Lê
3/6/14
José María
,
David "Morgan" Morgan
3
3/4/14
Question about keyword 'old'
Ok, I get it! Thank you very much, David! Regards, Jose El lunes, 3 de marzo de 2014 17:07:28 UTC+1,
unread,
Question about keyword 'old'
Ok, I get it! Thank you very much, David! Regards, Jose El lunes, 3 de marzo de 2014 17:07:28 UTC+1,
3/4/14
josemari
, …
José María
14
3/3/14
Problems with Netbeans 6.9.1
NetBeans deletes the class named 'Stack$com$google$java$contract$H.class' when executing the
unread,
Problems with Netbeans 6.9.1
NetBeans deletes the class named 'Stack$com$google$java$contract$H.class' when executing the
3/3/14
yu wen ng
,
Nhat Minh Lê
5
8/12/13
Invariants Cant access Constructor arguments?
Hi, Thank for your reply. As i am currently working on a school project and trying write a new
unread,
Invariants Cant access Constructor arguments?
Hi, Thank for your reply. As i am currently working on a school project and trying write a new
8/12/13
Michael Schnell
,
Nhat Minh Lê
2
6/26/13
Re: AspectJ was judged an impractical dependency
On Sat, Jun 22, 2013 at 8:11 AM, Michael Schnell <reg.goo...@future-invent.de> wrote: >
unread,
Re: AspectJ was judged an impractical dependency
On Sat, Jun 22, 2013 at 8:11 AM, Michael Schnell <reg.goo...@future-invent.de> wrote: >
6/26/13
Igor
,
Nhat Minh Lê
3
5/28/13
What is the best way to make jmockit & cofoja a happy couple?
Hello, Thanks for your attention and detailed response. I see that JMockit is more tricky and he does
unread,
What is the best way to make jmockit & cofoja a happy couple?
Hello, Thanks for your attention and detailed response. I see that JMockit is more tricky and he does
5/28/13
Paul-Georges Crismer
5/27/13
Any issue mixing JaxB project with Cofoja?
Hello, I'm using eclipse with Cofoja. I've succesfully configured a sample application with
unread,
Any issue mixing JaxB project with Cofoja?
Hello, I'm using eclipse with Cofoja. I've succesfully configured a sample application with
5/27/13
Ewout Van Gossum
,
Nhat Minh Lê
9
4/5/13
java.lang.VerifyError
You Sir, are my new personal hero! It works nicely. Thank you for your time and effort. Kind Regards,
unread,
java.lang.VerifyError
You Sir, are my new personal hero! It works nicely. Thank you for your time and effort. Kind Regards,
4/5/13
olivier sallou
,
Nhat Minh Lê
2
3/22/13
please tag releases or provide sources
Hi, There aren't exactly any "releases" of Cofoja to speak of. The downloads are tagged
unread,
please tag releases or provide sources
Hi, There aren't exactly any "releases" of Cofoja to speak of. The downloads are tagged
3/22/13
David Barri
,
Nhat Minh Lê
5
11/8/12
CoFoJa failing when used with other APT processors (such as Lombok)
Nhat, mate, thanks a lot for taking the time to explain all of that to me! Your proc:only suggestion
unread,
CoFoJa failing when used with other APT processors (such as Lombok)
Nhat, mate, thanks a lot for taking the time to explain all of that to me! Your proc:only suggestion
11/8/12