|
From: SourceForge.net <no...@so...> - 2010-03-22 23:27:32
|
Bugs item #2974931, was opened at 2010-03-22 18:27 Message generated for change (Tracker Item Submitted) made by mgricken You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=438935&aid=2974931&group_id=44253 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: DynamicJava Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Mathias Ricken (mgricken) Assigned to: Nobody/Anonymous (nobody) Summary: Boolean Short-Circuiting Doesn't Work Initial Comment: Enter one of the following into the Interactions Pane: false && (3 == 1/0) or true || (1/0 != 43) edu.rice.cs.util.UnexpectedException: edu.rice.cs.plt.lambda.WrappedException: edu.rice.cs.dynamicjava.interpreter.EvaluatorException: java.lang.ArithmeticException: / by zero at edu.rice.cs.drjava.model.repl.newjvm.MainJVM$ResultHandler.forUnexpectedException(MainJVM.java:1044) at edu.rice.cs.drjava.model.repl.newjvm.MainJVM$ResultHandler.forUnexpectedException(MainJVM.java:991) at edu.rice.cs.drjava.model.repl.newjvm.InterpretResult$UnexpectedExceptionResult.apply(InterpretResult.java:111) at edu.rice.cs.drjava.model.repl.newjvm.MainJVM.interpret(MainJVM.java:352) at edu.rice.cs.drjava.model.repl.RMIInteractionsModel._interpret(RMIInteractionsModel.java:75) at edu.rice.cs.drjava.model.repl.InteractionsModel.interpret(InteractionsModel.java:287) at edu.rice.cs.drjava.model.repl.InteractionsModel$2$1.run(InteractionsModel.java:237) at java.lang.Thread.run(Thread.java:613) Caused by: edu.rice.cs.plt.lambda.WrappedException: edu.rice.cs.dynamicjava.interpreter.EvaluatorException: java.lang.ArithmeticException: / by zero at edu.rice.cs.dynamicjava.interpreter.ExpressionEvaluator.visit(ExpressionEvaluator.java:207) at koala.dynamicjava.tree.DivideExpression.acceptVisitor(DivideExpression.java:67) at edu.rice.cs.dynamicjava.interpreter.ExpressionEvaluator.value(ExpressionEvaluator.java:38) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker$ExpressionVisitor.evaluateConstantExpression(ExpressionChecker.java:1588) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker$ExpressionVisitor.handleNumericExpression(ExpressionChecker.java:1283) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker$ExpressionVisitor.visit(ExpressionChecker.java:1265) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker$ExpressionVisitor.visit(ExpressionChecker.java:326) at koala.dynamicjava.tree.DivideExpression.acceptVisitor(DivideExpression.java:67) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker.check(ExpressionChecker.java:140) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker$ExpressionVisitor.handleEqualityExpression(ExpressionChecker.java:1340) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker$ExpressionVisitor.visit(ExpressionChecker.java:1324) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker$ExpressionVisitor.visit(ExpressionChecker.java:326) at koala.dynamicjava.tree.EqualExpression.acceptVisitor(EqualExpression.java:67) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker.check(ExpressionChecker.java:144) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker$ExpressionVisitor.handleBooleanExpression(ExpressionChecker.java:1568) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker$ExpressionVisitor.visit(ExpressionChecker.java:1558) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker$ExpressionVisitor.visit(ExpressionChecker.java:326) at koala.dynamicjava.tree.AndExpression.acceptVisitor(AndExpression.java:66) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker.check(ExpressionChecker.java:140) at edu.rice.cs.dynamicjava.interpreter.StatementChecker.checkType(StatementChecker.java:142) at edu.rice.cs.dynamicjava.interpreter.StatementChecker.visit(StatementChecker.java:766) at edu.rice.cs.dynamicjava.interpreter.StatementChecker.visit(StatementChecker.java:114) at koala.dynamicjava.tree.ExpressionStatement.acceptVisitor(ExpressionStatement.java:101) at edu.rice.cs.dynamicjava.interpreter.StatementChecker.checkList(StatementChecker.java:132) at edu.rice.cs.dynamicjava.interpreter.Interpreter.typeCheck(Interpreter.java:71) at edu.rice.cs.dynamicjava.interpreter.Interpreter.interpret(Interpreter.java:45) at edu.rice.cs.drjava.model.repl.newjvm.InterpreterJVM.interpret(InterpreterJVM.java:205) at edu.rice.cs.drjava.model.repl.newjvm.InterpreterJVM.interpret(InterpreterJVM.java:182) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) at java.lang.reflect.Method.invoke(Method.java:585) at sun.rmi.server.UnicastServerRef.dispatch(UnicastServerRef.java:294) at sun.rmi.transport.Transport$1.run(Transport.java:153) at java.security.AccessController.doPrivileged(Native Method) at sun.rmi.transport.Transport.serviceCall(Transport.java:149) at sun.rmi.transport.tcp.TCPTransport.handleMessages(TCPTransport.java:466) at sun.rmi.transport.tcp.TCPTransport$ConnectionHandler.run(TCPTransport.java:707) ... 1 more Caused by: edu.rice.cs.dynamicjava.interpreter.EvaluatorException: java.lang.ArithmeticException: / by zero ... 39 more Caused by: java.lang.ArithmeticException: / by zero Caused by: edu.rice.cs.plt.lambda.WrappedException: edu.rice.cs.dynamicjava.interpreter.EvaluatorException: java.lang.ArithmeticException: / by zero at edu.rice.cs.dynamicjava.interpreter.ExpressionEvaluator.visit(ExpressionEvaluator.java:207) at koala.dynamicjava.tree.DivideExpression.acceptVisitor(DivideExpression.java:67) at edu.rice.cs.dynamicjava.interpreter.ExpressionEvaluator.value(ExpressionEvaluator.java:38) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker$ExpressionVisitor.evaluateConstantExpression(ExpressionChecker.java:1588) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker$ExpressionVisitor.handleNumericExpression(ExpressionChecker.java:1283) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker$ExpressionVisitor.visit(ExpressionChecker.java:1265) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker$ExpressionVisitor.visit(ExpressionChecker.java:326) at koala.dynamicjava.tree.DivideExpression.acceptVisitor(DivideExpression.java:67) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker.check(ExpressionChecker.java:140) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker$ExpressionVisitor.handleEqualityExpression(ExpressionChecker.java:1340) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker$ExpressionVisitor.visit(ExpressionChecker.java:1324) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker$ExpressionVisitor.visit(ExpressionChecker.java:326) at koala.dynamicjava.tree.EqualExpression.acceptVisitor(EqualExpression.java:67) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker.check(ExpressionChecker.java:144) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker$ExpressionVisitor.handleBooleanExpression(ExpressionChecker.java:1568) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker$ExpressionVisitor.visit(ExpressionChecker.java:1558) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker$ExpressionVisitor.visit(ExpressionChecker.java:326) at koala.dynamicjava.tree.AndExpression.acceptVisitor(AndExpression.java:66) at edu.rice.cs.dynamicjava.interpreter.ExpressionChecker.check(ExpressionChecker.java:140) at edu.rice.cs.dynamicjava.interpreter.StatementChecker.checkType(StatementChecker.java:142) at edu.rice.cs.dynamicjava.interpreter.StatementChecker.visit(StatementChecker.java:766) at edu.rice.cs.dynamicjava.interpreter.StatementChecker.visit(StatementChecker.java:114) at koala.dynamicjava.tree.ExpressionStatement.acceptVisitor(ExpressionStatement.java:101) at edu.rice.cs.dynamicjava.interpreter.StatementChecker.checkList(StatementChecker.java:132) at edu.rice.cs.dynamicjava.interpreter.Interpreter.typeCheck(Interpreter.java:71) at edu.rice.cs.dynamicjava.interpreter.Interpreter.interpret(Interpreter.java:45) at edu.rice.cs.drjava.model.repl.newjvm.InterpreterJVM.interpret(InterpreterJVM.java:205) at edu.rice.cs.drjava.model.repl.newjvm.InterpreterJVM.interpret(InterpreterJVM.java:182) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) at java.lang.reflect.Method.invoke(Method.java:585) at sun.rmi.server.UnicastServerRef.dispatch(UnicastServerRef.java:294) at sun.rmi.transport.Transport$1.run(Transport.java:153) at java.security.AccessController.doPrivileged(Native Method) at sun.rmi.transport.Transport.serviceCall(Transport.java:149) at sun.rmi.transport.tcp.TCPTransport.handleMessages(TCPTransport.java:466) at sun.rmi.transport.tcp.TCPTransport$ConnectionHandler.run(TCPTransport.java:707) at java.lang.Thread.run(Thread.java:613) Caused by: edu.rice.cs.dynamicjava.interpreter.EvaluatorException: java.lang.ArithmeticException: / by zero ... 39 more Caused by: java.lang.ArithmeticException: / by zero System Properties: DrJava Version drjava-20100322-r5197 DrJava Build Time 20100322-1741 drjava.debug.port = 57994 java.runtime.name = Java(TM) 2 Runtime Environment, Standard Edition sun.boot.library.path = /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Libraries java.vm.version = 1.5.0_19-138 awt.nativeDoubleBuffering = true gopherProxySet = false java.vm.vendor = "Apple Computer, Inc." java.vendor.url = http://apple.com/ path.separator = : java.vm.name = Java HotSpot(TM) Client VM file.encoding.pkg = sun.io sun.java.launcher = SUN_STANDARD user.country = US sun.os.patch.level = unknown java.vm.specification.name = Java Virtual Machine Specification user.dir = <anonymized user.dir> java.runtime.version = 1.5.0_19-b02-306 java.awt.graphicsenv = apple.awt.CGraphicsEnvironment java.endorsed.dirs = /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Home/lib/endorsed os.arch = i386 java.io.tmpdir = /tmp line.separator = "\u000a" java.vm.specification.vendor = Sun Microsystems Inc. os.name = Mac OS X apple.laf.useScreenMenuBar = true sun.jnu.encoding = MacRoman java.library.path = <anonymized user.dir>/DrJava.app/Contents/Resources/Java:/System/Library/PrivateFrameworks/JavaApplicationLauncher.framework/Resources:.:/Library/Java/Extensions:/System/Library/Java/Extensions:/usr/lib/java java.specification.name = Java Platform API Specification java.class.version = 49.0 sun.management.compiler = HotSpot Client Compiler os.version = 10.4.11 user.home = <anonymized user.home> user.timezone = America/Chicago java.awt.printerjob = apple.awt.CPrinterJob file.encoding = MacRoman java.specification.version = 1.5 java.class.path = <anonymized user.dir>/DrJava.app/Contents/Resources/Java/drjava.jar:/System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/.compatibility/14compatibility.jar:/System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/.compatibility/14compatibility.jar user.name = <anonymized user.name> apple.awt.graphics.UseQuartz = true java.vm.specification.version = 1.0 java.home = /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Home sun.arch.data.model = 32 user.language = en java.specification.vendor = Sun Microsystems Inc. awt.toolkit = apple.awt.CToolkit java.vm.info = mixed mode java.version = 1.5.0_19 java.ext.dirs = /Library/Java/Extensions:/System/Library/Java/Extensions:/System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Home/lib/ext sun.boot.class.path = /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/jsfd.jar:/System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/classes.jar:/System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/ui.jar:/System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/laf.jar:/System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/sunrsasign.jar:/System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/jsse.jar:/System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/jce.jar:/System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/charsets.jar java.vendor = Apple Computer, Inc. file.separator = / java.vendor.url.bug = http://developer.apple.com/java/ sun.io.unicode.encoding = UnicodeLittle sun.cpu.endian = little java.rmi.server.hostname = 127.0.0.1 mrj.version = 1040.1.5.0_19-306 sun.awt.exception.handler = apple.awt.CToolkit$EventQueueExceptionHandler sun.cpu.isalist = #DrJava configuration file #Mon Mar 22 18:25:46 CDT 2010 all.compiler.versions = true definitions.line.number.background.color = #e6e6e6 font.line.numbers = Monaco-10 lineenum.enabled = true key.delete.next = [shift DELETE] key.delete.previous = [shift BACK_SPACE] find.replace.match.case = false find.replace.all.documents = true javadoc.1.4.link = file://<anonymized user.home>/Sites/docs/Java/j2sdk-1_4_2-doc/api/ javadoc.1.5.link = file://<anonymized user.home>/Sites/docs/Java/jdk-1_5_0-doc/api javadoc.additional.links = [http://drjava.org/javadoc/dynamicjava,http://drjava.org/javadoc/drjava,http://drjava.org/javadoc/plt,http://www.sable.mcgill.ca/soot/doc] interactions.exit.prompt = false open.folder.recursive = true recent.files = [<anonymized user.home>/Desktop/UnaryFun.java,<anonymized user.home>/Documents/Research/Mint/java-mint/trunk/langtools/mintTest/unroll_part2.java,<anonymized user.home>/Documents/Research/Mint/java-mint/trunk/langtools/mintTest/unroll2.java,<anonymized user.home>/Documents/Research/Mint/java-mint/trunk/langtools/mintTest/LintFib.java,<anonymized user.home>/Documents/Research/Mint/java-mint/trunk/langtools/mintTest/LintFact.java] recent.projects = [<anonymized user.home>/drjava/drjava.all/almost.all.drjava,<anonymized user.home>/Documents/Research/Mint/java-mint/java-mint.drjava,<anonymized user.home>/Documents/Research/Concutest/surveys/acmJava/acmJava.drjava,/Users/Shared/drjava/drjava.xml,<anonymized user.home>/Documents/Research/Concutest/SIGCSE2010/listings.drjava] window.height = 776 window.width = 1276 window.x = 0 window.y = 22 window.state = 6 doc.list.width = 179 last.dir = <anonymized user.home>/Desktop last.interactions.dir = <anonymized user.home>/Desktop master.jvm.args = -ea master.jvm.xmx = 1536 dialog.clipboard.history.state = 425 400 425 210 dialog.completeword.javaapi = true tabbedpanes.state = 270 368 1007 401 tabbedpanes.detach = true debugger.state = 389 212 700 400 debugger.detach = true dialog.jaroptions.state = 417 273 find.replace.focus.in.defpane = true dialog.drjava.survey.enabled = false external.saved.count = 1 external.saved.names = [NextGen Compile All] external.saved.cmdlines = [${if;cond="${and;op1="${project.mode}";op2="${not;op="${eq;op1="${project.build.dir}";op2=""}"}"}";then="${ignore;cmd="${file.mkdir;file="${project.build.dir}"}"}${java.file} -jar ${enclosing.djapp.file} @${tmpfile;content="-sourcepath ${project.root} -cp ${project.build.dir}${path.separator}${project.extra.class.path}${path.separator}${config.extra.classpath}${path.separator}${drjava.file} -d ${project.build.dir} ${drjava.all.files;sep=" ";rel="${project.root}"}"}";else="${echo;text="DrJava must be in project mode and have well-defined project root and build directory."}"}] external.saved.workdirs = [${project.root}] external.saved.enclosingdjappfiles = [<anonymized user.home>/Desktop/nextgen2-20080823-r4647.djapp] new.version.notification = weekly experimental builds new.version.notification.last = 1269276090645 drjava.survey.notification.last = 1251494812537 drjava.survey.result.last = http://www.drjava.org/submit-usage.php?rev=5004&os.name=Mac%20OS%20X&os.version=10.4.11&java.version=1.5.0_19&java.vendor=Apple%20Computer,%20Inc. rt.concjunit.location = /Users/Shared/drjava/rt.concjunit.jar concjunit.checks.enabled = all-threads, no-join, lucky Used memory: about 12.34 megabytes Free memory: about 8.80 megabytes Total memory: about 21.14 megabytes Total memory can expand to: about 1.49 gigabytes Number of processors/cores: 2 Compiler Discovery Log: >From config: not set >From runtime: JDK library 5.0_19 Dir added: /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Home Dir added: /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0 Dir added: /System/Library/Frameworks/JavaVM.framework/Versions Dir not added: /C:/Program Files/Java Dir not added: /C:/Program Files Dir not added: /C:/Java Dir not added: /C: Dir added: /System/Library/Frameworks/JavaVM.framework/Versions Dir not added: /usr/java Dir not added: /usr/j2se Dir added: /usr Dir not added: /usr/local/java Dir not added: /usr/local/j2se Dir added: /usr/local Dir not added: /usr/lib/jvm Dir not added: /usr/lib/jvm/java-6-sun Dir not added: /usr/lib/jvm/java-1.5.0-sun Dir not added: /usr/lib/jvm/java-6-openjdk Dir not added: /home/javaplt/java/Linux-i686 File not added: /System/Library/Frameworks/JavaVM.framework/Versions/1.3.1/lib/tools.jar File added: /System/Library/Frameworks/JavaVM.framework/Versions/1.3.1/Classes/classes.jar File not added: /System/Library/Frameworks/JavaVM.framework/Versions/1.4.2/lib/tools.jar File added: /System/Library/Frameworks/JavaVM.framework/Versions/1.4.2/Classes/classes.jar File not added: /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/lib/tools.jar File added: /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/classes.jar File not added: /System/Library/Frameworks/JavaVM.framework/Versions/1.6.0/lib/tools.jar File added: /System/Library/Frameworks/JavaVM.framework/Versions/1.6.0/Classes/classes.jar File not added: /C:/Program Files/JavaMint/langtools/dist/lib/classes.jar File not added: /C:/Program Files/JavaMint/langtools/dist/lib/tools.jar File not added: /packages/soylatte16-i386-1.0.3/lib/classes.jar File added: /packages/soylatte16-i386-1.0.3/lib/tools.jar File added: /usr/local/JavaMint/langtools/dist/lib/classes.jar File not added: /usr/local/JavaMint/langtools/dist/lib/tools.jar MINT_HOME not set File added: <anonymized user.dir>/DrJava.app/Contents/Resources/Java/drjava.jar Result: Found library: JDK library 5.0 at /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/classes.jar, boot classpath: [/System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/charsets.jar, /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/classes.jar, /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/dt.jar, /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/jce.jar, /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/jconsole.jar, /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/jsse.jar, /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/laf.jar, /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/ui.jar] Found library: JDK library 1.4.2 at /System/Library/Frameworks/JavaVM.framework/Versions/1.4.2/Classes/classes.jar, boot classpath: null Found library: JDK library 1.3.1 at /System/Library/Frameworks/JavaVM.framework/Versions/1.3.1/Classes/classes.jar, boot classpath: null >From search: JDK library 5.0 at /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/classes.jar, boot classpath: [/System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/charsets.jar, /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/classes.jar, /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/dt.jar, /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/jce.jar, /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/jconsole.jar, /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/jsse.jar, /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/laf.jar, /System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/ui.jar] >From search: JDK library 1.4.2 at /System/Library/Frameworks/JavaVM.framework/Versions/1.4.2/Classes/classes.jar, boot classpath: null >From search: JDK library 1.3.1 at /System/Library/Frameworks/JavaVM.framework/Versions/1.3.1/Classes/classes.jar, boot classpath: null ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=438935&aid=2974931&group_id=44253 |