[GNUnet-SVN] r20936 - in monkey: branches/MonkeyBacktracking/monkey/src/monkey/seaspider/org/gnunet/seaspider src/monkey/seaspider/org/gnunet/seaspider

[gnunet]

Author: grothoff
Date: 2012-04-11 09:32:06 +0200 (Wed, 11 Apr 2012)
New Revision: 20936

Modified:
   
monkey/branches/MonkeyBacktracking/monkey/src/monkey/seaspider/org/gnunet/seaspider/ExpressionExtractorVisitor.java
   
monkey/src/monkey/seaspider/org/gnunet/seaspider/ExpressionExtractorVisitor.java
Log:
fixing int x=4 case

Modified: 
monkey/branches/MonkeyBacktracking/monkey/src/monkey/seaspider/org/gnunet/seaspider/ExpressionExtractorVisitor.java
===================================================================
--- 
monkey/branches/MonkeyBacktracking/monkey/src/monkey/seaspider/org/gnunet/seaspider/ExpressionExtractorVisitor.java
 2012-04-11 07:27:04 UTC (rev 20935)
+++ 
monkey/branches/MonkeyBacktracking/monkey/src/monkey/seaspider/org/gnunet/seaspider/ExpressionExtractorVisitor.java
 2012-04-11 07:32:06 UTC (rev 20936)
@@ -193,9 +193,14 @@
                assert current_expression == null;
                current_expression = new ExpressionBuilder();
                n.f0.accept(this);
+               LineNumberInfo lin = LineNumberInfo.get(var);
+               current_expression.commit(n.f0.lineEnd);
+               current_expression = new ExpressionBuilder();
+               n.f2.accept(this);
+               lin = LineNumberInfo.get(n.f2);
+               current_expression.commit(lin.lineEnd);
                current_expression = null;
                skip_mode = true;
-               n.f2.accept(this);
        }
 
        public void visit(ExpressionStatement n) {

Modified: 
monkey/src/monkey/seaspider/org/gnunet/seaspider/ExpressionExtractorVisitor.java
===================================================================
--- 
monkey/src/monkey/seaspider/org/gnunet/seaspider/ExpressionExtractorVisitor.java
    2012-04-11 07:27:04 UTC (rev 20935)
+++ 
monkey/src/monkey/seaspider/org/gnunet/seaspider/ExpressionExtractorVisitor.java
    2012-04-11 07:32:06 UTC (rev 20936)
@@ -183,6 +183,7 @@
                lin = LineNumberInfo.get(n.f2);
                current_expression.commit(lin.lineEnd);
                current_expression = null;
+               skip_mode = true;
        }
 
        public void visit(ExpressionStatement n) {