Description Timothy Halloran 2002-08-28 13:20:26 EDT

I'm getting type binding problems for super method invocations within the
initializer expression of a VariableDeclarationFragment, I am unsure if this
occurs in general expressions.  Below are some examples:

[PVAVariableDeclarationAndUse] null rhs type in Initializer
"ds=super.getDirectoryScanner(srcDir)" in file
/home/thallora/src/jakarta-ant-1.5/src/main/org/apache/tools/ant/taskdefs/Copydir.java
[PVAVariableDeclarationAndUse] null rhs type in Initializer
"ds=super.getDirectoryScanner(dir)" in file
/home/thallora/src/jakarta-ant-1.5/src/main/org/apache/tools/ant/taskdefs/Delete.java
[PVAVariableDeclarationAndUse] null rhs type in Initializer
"ds=super.getDirectoryScanner(srcDir)" in file
/home/thallora/src/jakarta-ant-1.5/src/main/org/apache/tools/ant/taskdefs/FixCRLF.java

Here's the code snippit:

  void saveVariable(VariableDeclarationFragment node) {
    if (isNull(node,
      "null VariableDeclarationFragment passed to saveVariable()")) {
      return;
    }
    IVariableBinding variable = node.resolveBinding();
    if (isNull(variable,
      "null variable in VariableDeclarationFragment \"" + node + "\"")) {
      return;
    }
    ITypeBinding type = variable.getType();
    if (isNull(type,
      "null type in VariableDeclarationFragment \"" + node + "\"")) {
      return;
    }
    // declare the variable (it may already have been encountered)
    f_db.declareVariable(variable, type, toJEM(node));

*   // since we are interested in this variable check the initializer
*   Expression initializer = node.getInitializer();
*   if (initializer == null) {
*     return; // no initializer
*   }
*   ITypeBinding rhsType = initializer.resolveTypeBinding();
*   if (isNull(rhsType, "null rhs type in Initializer \"" + node + "\"")) {
*     return;
*   }
    IVariableBinding rhsVar = expressionToVariable(initializer);
    if (rhsVar == null) {
      // some kind of expression we are not interested in
      return;
    }
    f_db.addToAssignmentSignature(type, rhsVar, rhsType, toJEM(node));
  }

I'm expected the expression type to be returned, hence it looks like a but in
the type binder code.

Thoughts?

Take Care,
Tim Halloran
Carnegie Mellon University