Bug: AnonymousClass with noclasspath flag

[danglotb]

Snippet code example:

private final ConflictTimer lbdTimer = new ConflictTimerAdapter(1000) {
        private static final long serialVersionUID = 1L;
        private int nbconflict = 0;
        private static final int MAX_CLAUSE = 5000;
        private static final int INC_CLAUSE = 1000;
        private int nextbound = MAX_CLAUSE;

        @Override
        public void run() {
            this.nbconflict += bound();
            if (this.nbconflict >= this.nextbound) {
                this.nextbound += INC_CLAUSE;
                // if (nextbound > wall) {
                // nextbound = wall;
                // }
                this.nbconflict = 0;
                Solver.this.needToReduceDB = true;
            }
        }

        @Override
        public void reset() {
            super.reset();
            this.nextbound = MAX_CLAUSE;
            if (this.nbconflict >= this.nextbound) {
                this.nbconflict = 0;
                Solver.this.needToReduceDB = true;
            }
        }
    };

When we use spoon on it with -x flag:

private final org.sat4j.minisat.core.ConflictTimer lbdTimer = new ConflictTimerAdapter(1000) {
        private static final long serialVersionUID = 1L;

        private int nbconflict = 0;

        private static final int MAX_CLAUSE = 5000;

        private static final int INC_CLAUSE = 1000;

        private int nextbound = MAX_CLAUSE;

        @java.lang.Override
        public void run() {
            this.nbconflict += org.sat4j.minisat.core.Solver.6.bound();
            if ((this.nbconflict) >= (this.nextbound)) {
                this.nextbound += INC_CLAUSE;
                this.nbconflict = 0;
                org.sat4j.minisat.core.Solver.this.needToReduceDB = true;
            } 
        }

        @java.lang.Override
        public void reset() {
            super.reset();
            this.nextbound = MAX_CLAUSE;
            if ((this.nbconflict) >= (this.nextbound)) {
                this.nbconflict = 0;
                org.sat4j.minisat.core.Solver.this.needToReduceDB = true;
            } 
        }
    };

The line org.sat4j.minisat.core.Solver.6.bound() is wrong. It contains the index of the Anonymous in Solver.java (the top class).

[GerardPaligot]

I can't reproduce your bug. Maybe you can give us the entire content of your snippet?

[danglotb]

Hi, you can find the class here (2,6k lines) named Solver.