class Bar {
// Both foo and bar are undefined, but dryad type-anno finds they are strings
// order matters among fielddecls
public static String[] foobar = {foo,bar};
public static String foo = “foo”;
public static String bar = “bar”;
}

• dryad-type-checker annotates the first foo/bar in the array definition as:
  ExprName(Id(“foo”)){ClassOrInterfaceType(TypeName(Id(“String”)), None)}
• sun sdk says troubles with foo/bar in the array.

Submitted on 1 June 2005 at 16:21