DynamicJava: Explicit type arguments can now be used for unqualified method invocations ("x = <String>foo(23)").

dlsmith · dlsmith · commit e17ce492a90f · 2009-10-09T19:55:29.000Z
git-svn-id: file:///tmp/test-svn/trunk@5111 fe72c1cf-3628-48e9-8b72-1c46755d3cff
diff --git a/dynamicjava/src/edu/rice/cs/dynamicjava/interpreter/ExpressionChecker.java b/dynamicjava/src/edu/rice/cs/dynamicjava/interpreter/ExpressionChecker.java
@@ -179,9 +179,9 @@ public void checkConstructorCall(ConstructorCall node) {
     
     Iterable<? extends Expression> args = node.getArguments();
     checkList(args);
-    
-    // TODO: implement explicit type arguments in constructor calls
     Iterable<Type> targs = IterUtil.empty();
+    // TODO: parse explicit type arguments in constructor calls
+    //Iterable<Type> targs = checkTypeNameList(node.getTypeArgs().unwrap(Collections.<TypeName>emptyList())); 
     
     Type type;
     if (node.isSuper()) { type = context.getThis().immediateSuperclass(); }
@@ -634,8 +634,7 @@ private DJClass resolveThis(Option<String> outerName, Node node) {
     @Override public Type visit(SimpleMethodCall node) {
       Iterable<? extends Expression> args = node.getArguments();
       checkList(args);
-      
-      Iterable<Type> targs = IterUtil.empty();
+      Iterable<Type> targs = checkTypeNameList(node.getTypeArgs().unwrap(Collections.<TypeName>emptyList())); 
       
       Type t;
       if (context.localFunctionExists(node.getMethodName(), ts)) {
