syntheticFnHeader += ')';
StringReader sr = new StringReader(syntheticFnHeader + '\n' + jsniCode);
try {
// start at -1 to avoid counting our synthetic header
JsStatements result = jsParser.parse(jsProgram.getScope(), sr, -1);
new JsVisitor() {
public void endVisit(JsNameRef x, JsContext ctx) {
String ident = x.getIdent();
if (ident.charAt(0) == '@') {
String className = ident.substring(1, ident.indexOf(':'));
jsniClasses.add(className);