Eric E. Allen

Show:

What's happening?

  • AbstractPredicateSet.isEmpty is backwards

    The check in AbstractPredicateSet.isEmpty is backwards. Here is the source code for that test, in file plt/src/edu/rice/cs/plt/collect/AbstractPredicateSet.java: /** Returns {@code size(1) != 0}. */ @Override public boolean isEmpty() { return size(1) != 0; } This function will return true precisely when the receiver set is not empty. The correct code should be: /** Returns {@code...

    2009-06-01 15:30:11 UTC in DrJava

  • static imports in interactions pane not working properly

    In version 2008-0124, if one statically imports a class, and then references (unqualified) a static field in that class, the interactions JVM hangs. However, unqualified references to static methods work as expected. For example, suppose x is a static field in class Test: > import static Test.*; > x Evaluation of x hangs. This is a reversal of a bug in 2008-0106, where unqualified...

    2008-02-27 22:29:57 UTC in DrJava

  • Leopard: Problem with spaces and dock

    I've set up multiple spaces on Mac OS X Leopard and I've assigned DrJava to a specific space. When clicking on a running (unminimized) application in the dock, I am supposed to be brought to the space the application is assigned to; this works with the other applications I've tested. However, clicking on a running instance of the DrJava icon in the dock has no effect. Apparently Apple is relying...

    2007-11-27 21:44:09 UTC in DrJava

  • DrJava will not die

    I tried out the new drjava 20050509 beta on Mac OS X 10.4. I wrote some simple code using the Java3D API (which I do not believe to be related to my problem) and let the application run idle overnight. In the morning, I ran into the anomalous "StackOverflowException" that still seems to occur with DrJava on OS X after it runs idle long enough (there's a bug report on that problem...

    2005-05-23 14:14:25 UTC in DrJava

  • Comment: language level functionality not evident

    Logged In: YES user_id=429660 Oh no! I see what happened. When I saved the file, I accidentally saved it as "C.java" rather than just "C". Apparently this is enough to prompt DrJava to compile using full Java. Okay, so I'm a dope. But you might consider generating a warning (or an error) when a programmer tries to save a file with a suffix that doesn't correspond to the current...

    2004-06-22 01:43:37 UTC in DrJava

  • Comment: language level functionality not evident

    Logged In: YES user_id=429660 Okay, I can get language level functionality to work when working within a project, so I guess the problem is only with standalone files. BTW, on project files, the Elementary level error messages rock! Nice job. One other thing: Providing the expanded ".java" files is quite useful for more advanced users (I may use this feature myself to generate...

    2004-06-20 02:55:11 UTC in DrJava

  • language level functionality not evident

    The documentation for 20040618-2105 says that language levels are supported, but I'm unable to find any behavioral distinction between the "Elementary" language level and "Full Java" (I didn't experiment with the other levels)... Perhaps this is due to a simple oversight such as failing to connect language level view events to the model? Here are the specific actions I took to check...

    2004-06-20 02:23:02 UTC in DrJava

  • Eclipse plug-in: set font?

    How do I set the font for the interactions pane of the Eclipse plug-in? Supposedly the 0.9.3 release allows the user to set the font, but there's no option for it in the DrJava preferences page. -- Eric.

    2004-04-02 17:08:10 UTC in DrJava

  • Comment: Mac OS 10.2.7 (G5)

    Logged In: YES user_id=429660 Are you by any chance using an network proxy or firewall? DrJava uses RMI to communicate between two independent JVMs, and proxies seem to interfere with its ability to do this reliably. As an experiment, try turning off your internet connection and see if that fixes the problem. Of course, that's no real solution. I've already filed a bug report about a...

    2003-09-24 14:38:18 UTC in DrJava

  • Comment: Interactions reset failure

    Logged In: YES user_id=429660 This is definitely related to my proxy settings. If I turn off my airport connection, the problem goes away. (P.S. I also ran into a strange, nested, cascading, error in the Eclipse plug-in where it couldn't connect some port; I think it was 10.27.0.0. Eclipse copy/paste was grayed out, so I couldn't copy it. I had to quit Eclipse and restart, but I now...

    2003-09-18 22:19:20 UTC in DrJava

About Me

  • 2002-01-16 (8 years ago)
  • 429660
  • eallen (My Site)
  • Eric E. Allen

Send me a message