issues
search
pashapm
/
cofoja
Automatically exported from code.google.com/p/cofoja
GNU Lesser General Public License v3.0
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Unable to compile cofoja with IntelliJ 13
#41
GoogleCodeExporter
closed
9 years ago
2
Use external properties file to provide settings
#40
GoogleCodeExporter
closed
9 years ago
3
Cofoja not working in java 1.8
#39
GoogleCodeExporter
closed
9 years ago
9
regression with cofoja-1.1-r146 annotation processor (pre-condition violation of cofoja itself)
#38
GoogleCodeExporter
closed
9 years ago
4
Illegal start of expression in class without any contracts
#37
GoogleCodeExporter
opened
9 years ago
1
Change license to Apache 2, or MIT
#36
GoogleCodeExporter
closed
9 years ago
4
=> operator in @Invariant clause gives an "illegal start of expression in contract
#35
GoogleCodeExporter
closed
9 years ago
1
No PreconditionError if Constructor must use a super(..)
#34
GoogleCodeExporter
closed
9 years ago
2
When using contracts in java.lang classes, you get NPE when debugging the contracts
#33
GoogleCodeExporter
opened
9 years ago
0
How to write assertion of type A implies B?
#32
GoogleCodeExporter
closed
9 years ago
2
How to write assertion of type A implies B?
#31
GoogleCodeExporter
closed
9 years ago
1
Why not direct code in java
#30
GoogleCodeExporter
closed
9 years ago
3
Support anonymous classes inside contracts
#29
GoogleCodeExporter
opened
9 years ago
1
Macs don't have tools.jar
#28
GoogleCodeExporter
closed
9 years ago
1
Contract not showing error.... for undefined symbol....
#27
GoogleCodeExporter
closed
9 years ago
5
Build path error
#26
GoogleCodeExporter
closed
9 years ago
1
No chance of releasing under Apache/Eclipse/MIT/BSD license?
#25
GoogleCodeExporter
opened
9 years ago
2
incompatible types when compiling annotation with a default annotation
#24
GoogleCodeExporter
closed
9 years ago
2
Where is the Contracted annotation?
#23
GoogleCodeExporter
closed
9 years ago
3
Invariants with multiple threads
#22
GoogleCodeExporter
opened
9 years ago
12
Invariants do not work with private inner class
#21
GoogleCodeExporter
closed
9 years ago
3
Example ant configuration
#20
GoogleCodeExporter
closed
9 years ago
17
Invariant contract with final field
#19
GoogleCodeExporter
closed
9 years ago
2
Annotating a method returning void disables contract processing
#18
GoogleCodeExporter
closed
9 years ago
7
@Contracted absence not detected
#17
GoogleCodeExporter
closed
9 years ago
1
When JavaCompiler not available NPE is thrown
#16
GoogleCodeExporter
closed
9 years ago
2
Types.erasure() in Eclipse JDT gives a ClassCastException on NoType return type
#15
GoogleCodeExporter
closed
9 years ago
2
Compiled packages devoid of .contracts files
#14
GoogleCodeExporter
closed
9 years ago
2
Builds rely on ${java.class.path}
#13
GoogleCodeExporter
closed
9 years ago
6
Add Eclipse compiler support for debug info and import statements
#12
GoogleCodeExporter
opened
9 years ago
0
Provide a Maven Artifact
#11
GoogleCodeExporter
opened
9 years ago
28
NPE in LineNumberingMethodAdapter#onMethodEnter when using the Eclipse compiler
#10
GoogleCodeExporter
closed
9 years ago
2
Escape mechanism for special keywords (Was: Prefix special keywords by @)
#9
GoogleCodeExporter
closed
9 years ago
7
old keyword syntax should accept a space (Was: "old" keyword syntax: Should not be like a function but an instance)
#8
GoogleCodeExporter
closed
9 years ago
20
Implies => operator should be replaced by the conditional operator "?"
#7
GoogleCodeExporter
closed
9 years ago
6
Make the dependence on code in org.objectweb.asm package explicit
#6
GoogleCodeExporter
closed
9 years ago
4
Annotation declarations break compilation
#5
GoogleCodeExporter
closed
9 years ago
3
Constructors with arguments narrower than int prevent contracting of child classes
#4
GoogleCodeExporter
closed
9 years ago
4
Contract compiler does not support source path
#3
GoogleCodeExporter
closed
9 years ago
1
Contracts cannot be added to an enum that implements an interface through its constants
#2
GoogleCodeExporter
opened
9 years ago
1
Contracts cannot be added to a method that throws a type parameter
#1
GoogleCodeExporter
closed
9 years ago
4