Commits
User selector
Commit History
Commits on Nov 23, 2010
Fixing bug 3116238: (int) (true) command pops error
Show description for 1caae7fcommitted
mgricken
Commits on Apr 11, 2010
DynamicJava:
Show description for ead4346committeddlsmith
Commits on Mar 23, 2010
Bugfix for 2674112: Error loading class in Interpreter
Show description for 482d47ccommittedmgricken
Commits on Jan 14, 2010
Commits on Dec 23, 2009
Missing file from last commit.
Show description for add3962committeddlsmithDynamicJava: Implemented special array clone() method. This allows: 1) better typing: String[] s = new String[3].clone(); 2) use when accessibility checks are turned on; 3) use in a method body th…
Show description for 99741e8committeddlsmithDynamicJava: Adjusted constant field hack so that it doesn't allow non-primitive, non-String fields to be treated as constants. SourceInfos support ordering. SourceCheckerImprovements. Checking …
Show description for 35470e8committeddlsmith
Commits on Dec 3, 2009
Commits on Oct 9, 2009
DynamicJava: Refactoring of AST nodes, integrating type arguments with the appropriate nodes rather than having separate "Polymorphic..." subtypes.
Show description for a191320committeddlsmith
Commits on Oct 2, 2009
Commits on Sep 25, 2009
Commits on Sep 24, 2009
DynamicJava: Don't prohibit assignment to uninitialized final variables (we can't check this correctly without a framework for control-flow analysis)
Show description for 70e840bcommitteddlsmithDynamicJava: Bug fix for incorrect handling of names shadowed by a different kind of name in the same namespace (variables shadowed by fields, for example). Added an InitializerContext so that fin…
Show description for 7c0f2c9committeddlsmith
Commits on Sep 19, 2009
Commits on Sep 18, 2009
Commits on Sep 4, 2009
DynamicJava: Refactored variable-name printing in error messages so that capture variables are named consistently throughout the error message.
Show description for 06c0978committeddlsmithDynamicJava: Fixed Java5Class handling of parameterized static nested classes: Map.Entry<K,V> was being treated incorrectly as a raw type (because "Map" is raw). Improved error printing of anonymo…
Show description for 7348665committeddlsmithDynamicJava: Added a TypeSystem.isDisjoint function. Redefined casting and valid ==, !=, instanceof in terms of it.
Show description for ede26cecommitteddlsmithDynamicJava: Bug fix in cast check (ClassType.getClass() and ClassType.ofClass() are very different things).
Show description for 4b21424committeddlsmithDynamicJava: Moved accessibility checks into member lookup, etc., rather than afterwards in order to prevent incorrect shadowing by inaccessible members.
Show description for c992bd1committeddlsmith
Commits on Sep 3, 2009
DynamicJava: Class/interface members of interfaces are always static. Improved error messages for allocations (missing enclosing object, bad anonymous supertype, etc.)
Show description for 69317eecommitteddlsmithDynamicJava: Improved cast checking and added an option to allow unchecked casts. Added an Options parameter to TypeSystems, which required adjusting the Options interface. Fixed incorrect types …
Show description for 6ac6b30committeddlsmith
Commits on Aug 28, 2009
DynamicJava: Raw types are subtypes of their wildcard-parameterized equivalents. Bug fixes for RecursionStack uses (should be defined using equals() rather than ==) and userRepresentation (now cor…
Show description for f85f20bcommitteddlsmithDynamicJava: Minor improvements to method lookup error messages.
Show description for da8b202committeddlsmith
Commits on Aug 27, 2009
DynamicJava: Major improvement to error messages involving method and constructor invocations. Refactored MethodFinder, etc., to work with lists of DJMethods rather than wrapping those in unnecess…
Show description for d7bd3eacommitteddlsmithDynamicJava: Refactored DJMethod/DJConstructor to keep track of the declaring instance (different than the object itself when class type parameters have been instantiated). This allows the lookup …
Show description for e2abbf0committeddlsmith
Commits on Aug 26, 2009
DynamicJava: Enums are always treated as static. Capture variable bounds are always normalized. Error messages with lists of types group the capture-variable bound output together in a single sid…
Show description for 608d05ecommitteddlsmithDynamicJava:
Show description for d00e0fecommitteddlsmith
Commits on Aug 13, 2009
Commits on Aug 12, 2009
Commits on Jul 31, 2009
DynamicJava: Removed wildcard bound check that was happening before types were resolved (the check is handled later by ensureWellFormed()); prevented infinite looping when checking well-formedness …
Show description for df01c8bcommitteddlsmithDynamicJava: Fixed process of assigning type arguments to static inner classes.
Show description for 6a0664acommitteddlsmithDynamicJava: Bug fixes for inner class implementation. Dynamically-loaded inner classes now work.
Show description for 1c81695committeddlsmith
Commits on Jul 30, 2009
DynamicJava:
Show description for 41fd33dcommitteddlsmith
Commits on Apr 27, 2009
DynamicJava: Implemented JLSTypeSystem, which attempts to faithfully match the algorithms specified in JLS and implemented by javac.
Show description for a6ad77fcommitteddlsmith