Comments (4)
I'm sorry, I didn't read your command line carefully enough. You don't run any of the Daikon tools on '.java' files; you run them on the compiled '.class' files.
I ran the test in my $DAIKONDIR. First, I edited Test.java to include a main method. Then I ran the follow commands:
javac -g Test.java
java -cp .:$DAIKONDIR/daikon.jar daikon.Chicory --dtrace-file=an.dtrace.gz Test
java -cp $DAIKONDIR/daikon.jar daikon.Daikon an.dtrace.gz --no_text_output --config java/daikon/annotate_nullable.config
java -cp $DAIKONDIR/daikon.jar daikon.AnnotateNullable an.inv.gz > nullable-annotations.jaif
Here is my modified version of Test.java:
//package TestP;
public class Test {
public static void main(String[] args) {
foo();
}
private static class foo {
private int i;
private int getI() {
return i;
}
private void setI(int i) {
this.i = i;
}
}
static void foo() {
foo obj = new foo();
System.out.println(obj.i);
}
}
from daikon.
Thank you for the detailed problem report. However, I don't see source for /home/vyom/IdeaProjects/ConfigCheckstyle/src/TestP/Test.java so I can try to reproduce your results.
from daikon.
Hi @markro49
Thanks for the response. I was getting the exception even when it was an empty class, or a simple POJO or anything, it was source independent. But still, I will share the what Test.java
looks like-
package TestP;
public class Test {
private static class foo {
private int i;
private int getI() {
return i;
}
private void setI(int i) {
this.i = i;
}
}
void foo() {
foo obj = new foo();
System.out.println(obj.i);
}
}
Let me know if anything else is required :)
from daikon.
Thanks a lot for clarifying @markro49, appreciate it.
from daikon.
Related Issues (20)
- Junit with Daikon HOT 4
- DynComp: a fatal error has been detected by the Java Runtime Environment HOT 2
- DynComp: a fatal error has been detected by the Java Runtime Environment (ClassNotFoundException) HOT 6
- -DO_DIFFS should be true HOT 1
- Trouble terminating when running 'runcluster.pl' and help with inputs for daikon HOT 1
- Extend front ends to output more variable values HOT 3
- Minor user manual (documentation) issues HOT 1
- DynComp does not work for command line inputs HOT 3
- `daikon.bashrc` Should Not Add JAVA_HOME to $PATH HOT 1
- Inferring invariants with hierarchical dataflow
- Daikon compilation failure (missing dependency requirements, pdf failure during compilation, etc.) HOT 1
- Chicory regression regarding unmodifiable derived variables HOT 1
- NoClassDefFoundError when executing Java program with DynComp HOT 2
- Daikon DynComp IllegalArgumentException on a Defects4J Project HOT 10
- Daikon Failed to Execute when Using runcluster.pl with kmeans Option
- Inconsistent documentation for compiling Daikon locally
- Daikon crash on some benchmarks in NJR dataset HOT 2
- java.lang.RuntimeException: Can't find parent variable HOT 1
- Evosuite tests - IllegalArgumentException Duplicate method name "equals" HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from daikon.