public class Foo {
void foo() {
int y = java.io.StringWriter.super.lock;
}
}

martin@logistico:~/wc/dryad/build/tests> dryad-front -i Foo.java | pp-aterm
CompilationUnit(
None
, []
, [ ClassDec(
ClassDecHead([Public], Id(“Foo”), None, None, None)
, ClassBody(
[ MethodDec(
MethodDecHead([], None, Void, Id(“foo”), [], None)
, Block(
[ LocalVarDecStm(
LocalVarDec(
[]
, Int
, [ VarDec(
Id(“y”)
, QSuperField(
ClassName([Id(“java”), Id(“io”), Id(“StringWriter”)])
, Id(“lock”)
)
)
]
)
)
]
)
)
]
)
)
]
)

There should be a PackageName there …

Submitted on 20 June 2005 at 17:39

DRY-86, martin:

I’ve dropped ClassNames completely and replaced them with TypeNames.